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

112 points by jandeboevrie 3 years ago | 87 comments

Noexcept affects libstdc++’s unordered_set(quuxplusone.github.io)

88 points by signa11 2 years ago | 64 comments

map::operator[] should be nodiscard(quuxplusone.github.io)

59 points by jandeboevrie 10 months ago | 53 comments

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

41 points by jandeboevrie 6 months ago | 19 comments

Nash equilibria in Ballmer's binary-search interview game(quuxplusone.github.io)

118 points by xlinux 1 year ago | 33 comments

Möbius-Strip Crosswords(quuxplusone.github.io)

74 points by ibobev 2 months ago | 10 comments

Prevent cognitive debt by manually retyping LLM-generated code(ankursethi.com)

502 points by mpweiher 2 months ago | 413 comments

A personal blog post arguing that developers should manually retype code generated by LLM coding assistants to keep understanding it and avoid cognitive debt.

Xee: A Modern XPath and XSLT Engine in Rust(blog.startifact.com)

361 points by robin_reala 1 year ago | 211 comments

Blog post by Martijn Faassen introducing Xee, an XML Execution Engine written in Rust that implements modern versions of XPath and XSLT.

Relicensing with AI-Assisted Rewrite(tuananh.net)

361 points by tuananh 7 months ago | 355 comments

A blog post by Tuan-Anh Tran on using AI-assisted rewrites of code to relicense software away from GPL-family licenses.

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.

AI coding has made CI a bottleneck, so we reworked ours to keep up(linear.app)

300 points by julian_digital 1 month ago | 367 comments

A Linear engineering blog post explaining how AI-assisted coding increased CI load and how the team reworked its CI pipeline to keep up.

How Our Rust-to-Zig Rewrite Is Going(rtfeldman.com)

488 points by jorangreef 3 months ago | 257 comments

Richard Feldman's blog post reporting on the Roc compiler team's rewrite of 300,000 lines of Rust into Zig, which recently reached feature parity.