The PImpl idiom and the C++26 std:indirect type(mariusbancila.ro)

58 points by signa11 3 months ago | 53 comments

Improvements to Std:Format in C++26(mariusbancila.ro)

32 points by jandeboevrie 4 months ago | 17 comments

What's new in C++26 (part 1)(mariusbancila.ro)

123 points by jandeboevrie 2 years ago | 119 comments

Just how constexpr is C++20’s std:string?(quuxplusone.github.io)

112 points by jandeboevrie 3 years ago | 87 comments

Things C++26 define_static_array can't do(quuxplusone.github.io)

41 points by jandeboevrie 6 months ago | 19 comments

Mirror_bridge – C++ reflection for generating Python/JS/Lua bindings(chico.dev)

26 points by fthiesen 10 months ago | 9 comments

Type Punning in C and C++(blog.pwkf.org)

34 points by ingve 1 month ago | 16 comments

A blog post explaining type punning in C and C++, covering which techniques are defined behavior versus undefined behavior and why casts can break under optimization.

C++26: The New Debugging Header(sandordargo.com)

98 points by jandeboevrie 9 days ago | 23 comments

Blog post by Sandor Dargo introducing the C++26 <debugging> header for programmatic breakpoints, replacing compiler-specific code like __debugbreak.

Type Safe Generic Data Structures in C (2025)(danielchasehooper.com)

130 points by AlexeyBrin 23 days ago | 100 comments

Daniel Hooper's blog post explaining a union-based technique for writing type-safe generic data structures in C, illustrated with a linked list.

Writing a C compiler in 500 lines of Python(vgel.me)

454 points by vgel 3 years ago | 142 comments

Blog post by vgel describing the design and architecture of a small C compiler written in about 500 lines of Python.

The complement of true is true, except when it's false(dryperspective.github.io)

66 points by aw1621107 22 days ago | 26 comments

Blog post examining C++ proposal P4313R1, which adds bitmask operations for enums via a C++26 annotation, and edge cases around complementing values.

Formal methods and the future of programming(blog.janestreet.com)

322 points by eatonphil 4 months ago | 99 comments

Jane Street Blog post on formal methods and their role in the future of programming, illustrated with OCaml-style specification code.