How to Debug Chez Scheme Programs (2002)
scheme.com·21h·
Discuss: Hacker News
💬Error Message Design
Algebraic Types are not Scary
blog.aiono.dev·1d·
Type Checking
PSA: `views::single` doesn’t really view
quuxplusone.github.io·19h
🔗Lexical Scoping
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·5d·
Discuss: Hacker News
🔮Type Inference Visualization
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·7h·
Discuss: r/rust
🦀Rust Macros
The many, many, many JavaScript runtimes of the last decade
shapeof.com·1d
🚀V8 Internals
The Symbiosis Of Rust And Arm: A Conversation With David Wood
filtra.io·19m·
Discuss: r/rust
📦Monorepos
How to build a Laravel Blade–like template engine in TypeScript?
reddit.com·23h·
Discuss: r/typescript
📋Template Compilers
Scaling AI Evaluation Through Expertise
harvey.ai·1h·
Discuss: Hacker News
🏷️Attribute Grammars
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
functional programming
Fluid language model benchmarking
allenai.org·3h
🏁Language Benchmarks
I think Really Simple Licensing misses the mark
rubenerd.com·8h
🛡️Security Type Systems
Balance between refactoring and inheritance in your code
github.com·1d·
Discuss: Hacker News
🧪Compiler Testing
The Modern Trap
idiallo.com·17h
🥾Bootstrapping Strategies
Adaptive Programming Systems for Humans and AI
gfrison.com·11h·
Discuss: Hacker News
🎮Language Ergonomics
The pirate-based logic of Rust shared references
ais523.me.uk·2d·
🔒Rust Borrowing
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·1d·
🌱Minimal ML
Secure Semantic Communication over Wiretap Channels: Rate-Distortion-Equivocation Tradeoff
arxiv.org·15h
♾️Codata Types
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·15h
🔢Algebraic Datatypes
15 Best Practices for Building MCP Servers in Production
thenewstack.io·1d
📡Network Serialization