A Mental Model for C++ Coroutine(uvdn7.github.io)

23 points by uvdn7 1 year ago | 10 comments

Monads in C# (Part 2): Result(alexyorke.github.io)

47 points by polygot 9 months ago | 48 comments

ChatGPT: A Mental Model(xorvoid.com)

60 points by thepbone 3 years ago | 58 comments

The back cover of C++: The Language raises questions not answered by front cover(devblogs.microsoft.com)

133 points by paulmooreparks 4 months ago | 43 comments

C++ says “We have try... finally at home”(devblogs.microsoft.com)

126 points by ibobev 10 months ago | 134 comments

Deciphering C++ compiler errors: Nonsensical errors from a function declaration(devblogs.microsoft.com)

28 points by signa11 1 year ago | 15 comments

The future of software development is software developers(codemanship.wordpress.com)

376 points by cdrnsf 10 months ago | 471 comments

A Codemanship blog post arguing that the future of software development still depends on human software developers.

The Linux Kernel Module Programming Guide(sysprog21.github.io)

340 points by asicsp 3 years ago | 26 comments

Online edition of The Linux Kernel Module Programming Guide by Salzman, Burian, Pomerantz, Mottram and Huang, with GitHub source and PDF download.

Modern C++ Programming Course(github.com)

418 points by asicsp 2 years ago | 168 comments

GitHub repository hosting a free Modern C++ programming course (C++11/14/17/20) as a series of PDF lecture slides.

The two factions of C++(herecomesthemoon.net)

512 points by cyclopeanutopia 1 year ago | 581 comments

An essay arguing that the C++ community has split into two factions with diverging needs, ending hopes for a single dialect-free C++.

C++26 Contracts: Introduction to Preconditions and Postconditions(cppstories.com)

128 points by ibobev 11 days ago | 118 comments

A C++ Stories blog post introducing C++26 contracts, covering preconditions and postconditions.

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.