Bitcoin Core now has an interface for its consensus code - TheCharlatan
github.com·5h
🔧programming language design
Flag this post
GSoC 2025: Introducing an ABI Lowering Library
blog.llvm.org·2d
🔧programming language design
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
🔧programming language design
Flag this post
Readable Code Is Unreadable
🔧programming language design
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
🔧programming language design
Flag this post
FreeBSD Officially Supported in OCI Runtime Specification v1.3
🔧programming language design
Flag this post
Autark: Rethinking build systems – Integrate, Don't Outsource
🔧programming language design
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
🦀Borrow Checker
Flag this post
Low-Level Hacks
🔧programming language design
Flag this post
Taming the Billion Dollar Mistake: Maarten Balliauw’s Guide to C# Nullable Reference Types
blog.jetbrains.com·10h
🔄Functional Programming
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·19h
🔧programming language design
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·2h
🔄Functional Programming
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·4h
🔧programming language design
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
🔧programming language design
Flag this post
Dive into Systems
🔧programming language design
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·2h
🧮Algebraic Effects
Flag this post
Loading...Loading more...