Rendered at 10:05:38 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
egl2020 5 hours ago [-]
Article title should be "Efficient C++ Programming for Modern 64-bit CPUs...".
Nevermark 1 hours ago [-]
A CPU implementing C++ as a microarchitecture…? Finally, uncontrovertible proof of the prophesy. We really are living in a Cthulhu nightmare.
Simulation theory is dead.
sukuva 38 minutes ago [-]
do we have "modern" 32-bit CPUs?
reactordev 3 minutes ago [-]
[delayed]
avadodin 1 hours ago [-]
That title got me:
Modern C++ CPUs as in LISP CPUs or as in Verilog CPUs?
zombot 5 hours ago [-]
Came here to say exactly that.
reinitctxoffset 3 hours ago [-]
If people are interested in this stuff, this is the house style guide that I've ended up with in mid 2026, its great-great-great grandparents were at Google, which informed Greg Badros and Mark Rabkin and Andrei Alexandrescu when they did the one at FB, which informed a bunch of trading work, which informed a bunch of GPU work.
Slightly struck by the concept of hand-writing the config parsing but not, apparently, the documentation...
rramadass 2 hours ago [-]
This is Excellent! Thanks for sharing.
First off, i highly suggest that you expand this into a full-blown book. This could become a successor to a combination of {Adrian & Piotr's "Software Architecture with C++" + Fedor Pikus' "The Art of Writing Efficient Programs"} for the Agentic era.
I really like that you are using Lean4 for parts of code generation, tips for Agentic coding etc. which are all needed today. I myself have been thinking on these lines i.e. using formal methods for specification and verification so that agent-generated code can be "correct-by-construction" and efficient. Your write-up is the first i have seen which tries to provide the overall picture.
Tony_Delco 42 minutes ago [-]
[dead]
zombot 5 hours ago [-]
This looks like something that every serious C++ programmer should be reading.
Simulation theory is dead.
Modern C++ CPUs as in LISP CPUs or as in Verilog CPUs?
It's opinionated but it has served me well.
https://gist.github.com/b7r6/5dde648f5dc1dea1e9039f2211f5d40...
First off, i highly suggest that you expand this into a full-blown book. This could become a successor to a combination of {Adrian & Piotr's "Software Architecture with C++" + Fedor Pikus' "The Art of Writing Efficient Programs"} for the Agentic era.
I really like that you are using Lean4 for parts of code generation, tips for Agentic coding etc. which are all needed today. I myself have been thinking on these lines i.e. using formal methods for specification and verification so that agent-generated code can be "correct-by-construction" and efficient. Your write-up is the first i have seen which tries to provide the overall picture.