▲ 2 ▼ Infer#: Interprocedural Memory Safety Analysis For C# (devblogs.microsoft.com) submitted 1 month ago by lysdexic@programming.dev to c/software_testing@programming.dev comment fedilink
▲ 13 ▼ Rearchitecting: Redis to SQLite (2024) (wafris.org) submitted 2 months ago by lysdexic@programming.dev to c/programming@programming.dev 1 comment fedilink
▲ 4 ▼ The PImpl idiom and the C++26 std::indirect type (mariusbancila.ro) submitted 2 months ago by lysdexic@programming.dev to c/cpp@programming.dev comment fedilink
▲ 12 ▼ C++23 mdspan (2025) (alexsyniakov.com) submitted 2 months ago by lysdexic@programming.dev to c/cpp@programming.dev comment fedilink
▲ 9 ▼ Building a Fast Lock-Free Queue in Modern C++ From Scratch (blog.jaysmito.dev) submitted 2 months ago by lysdexic@programming.dev to c/cpp@programming.dev comment +1 crosspost fedilink
▲ 2 ▼ How to do distributed locking (martin.kleppmann.com) submitted 2 months ago by lysdexic@programming.dev to c/data_structures@programming.dev comment fedilink
▲ 8 ▼ C++26: std::inplace_vector (www.sandordargo.com) submitted 2 months ago by lysdexic@programming.dev to c/cpp@programming.dev 1 comment fedilink
▲ 8 ▼ Reducing C++ template bloat by factoring out the type-dependent portions of the function, practical exam (devblogs.microsoft.com) submitted 2 months ago by lysdexic@programming.dev to c/cpp@programming.dev comment fedilink
▲ 4 ▼ The changing role of finite-state model checking (ahelwer.ca) submitted 2 months ago by lysdexic@programming.dev to c/formal_methods@programming.dev comment fedilink
▲ -1 ▼ A C++ toolchain from 357 bytes, in Bazel (fzakaria.com) submitted 2 months ago by lysdexic@programming.dev to c/cpp@programming.dev comment fedilink
▲ 2 ▼ My favorite Computer Science books, and why (2020) (backtracking.github.io) submitted 2 months ago by lysdexic@programming.dev to c/books@programming.dev comment fedilink
▲ 2 ▼ The August 2026 C++ mailing, and the fight over contracts (wrocpp.github.io) submitted 2 months ago by lysdexic@programming.dev to c/cpp@programming.dev comment fedilink
▲ 5 ▼ CS 3110 - Fall 2014 - Lecture Notes (www.cs.cornell.edu) submitted 2 months ago by lysdexic@programming.dev to c/data_structures@programming.dev comment fedilink
▲ 11 ▼ Introduction of std::hive to the standard library (2021) (www.open-std.org) submitted 2 months ago by lysdexic@programming.dev to c/cpp@programming.dev 3 comments fedilink
▲ 5 ▼ Reducing C++ template bloat by factoring out the type-dependent portions of the function (devblogs.microsoft.com) submitted 2 months ago by lysdexic@programming.dev to c/cpp@programming.dev comment fedilink
▲ 5 ▼ Open Data Structures (in C++) (opendatastructures.org) submitted 2 months ago by lysdexic@programming.dev to c/data_structures@programming.dev comment fedilink
▲ 12 ▼ How fast is C++26’s std::hive? (lemire.me) submitted 2 months ago by lysdexic@programming.dev to c/cpp@programming.dev 1 comment fedilink
▲ 3 ▼ Deriving Type Erasure (david.alvarezrosa.com) submitted 2 months ago by lysdexic@programming.dev to c/cpp@programming.dev comment fedilink
▲ 11 ▼ C++26: std::polymorphic (www.sandordargo.com) submitted 2 months ago by lysdexic@programming.dev to c/cpp@programming.dev comment fedilink
▲ 5 ▼ Composable Tests (newsletter.kentbeck.com) submitted 2 months ago by lysdexic@programming.dev to c/software_testing@programming.dev comment +1 crosspost fedilink