Efficient evaluation of expressions specified in the GO runtime
reddit.com·18h·
Discuss: r/golang
🐹Go Internals
Portable C++ Guideline
github.com·1d·
Discuss: Hacker News
📚Stack Data Structures
Controlling program flow with capabilities in Scala
nrinaudo.github.io·14h·
Discuss: Lobsters, Hacker News, r/programming
🔗Lexical Scoping
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·8h·
Discuss: Hacker News
💬Interactive REPLs
Moving off of TypeScript, 2.5M lines of code
engineering.usemotion.com·1d·
Discuss: Hacker News
🎮Language Ergonomics
Semantic Dictionary Encoding
falvotech.com·3d·
Discuss: Hacker News
🗂️Type Indexing
Use mutation testing to find the bugs your tests don't catch
blog.trailofbits.com·14h
🧪Compiler Testing
Proebsting's Law
proebsting.cs.arizona.edu·5h·
Discuss: Hacker News
🚀Code Motion
Analysis of the New Wave of Python Type Checkers
pydevtools.com·21h
🗂️Type Indexing
The huge AI security hole
aardvark.co.nz·7h
📏Linear Memory
Clean Code Tips I Learned from Senior Engineers
blog.algomaster.io·1d·
Discuss: r/programming
🚚Code Migration
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
📜Proof Languages
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·2d
🔧Scheme Macros
.NET Feature Spotlight: User-Defined Implicit Type Conversion
spin.atomicobject.com·13h
🌉Cross-Platform FFI
Claude Code Degradation: A postmortem of three recent issues
anthropic.com·1d·
Discuss: Hacker News, r/ClaudeAI
🩺Compiler Diagnostics
Combating headcrabs in the Source SDK codebase
gamedev.net·6h·
Discuss: Hacker News
🦀MIR Optimization
Trade-offs in designing DSLs (in Rust)
forgestream.idverse.com·1d·
Discuss: r/rust
🪆Embedded DSLs
Type safe GADT in Kotlin - who needs Haskell?
hacklewayne.com·2h
🔍Refinement Types
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·2d·
Discuss: r/rust
🦀Rust Macros
We have outgrown the Process model
sidhion.com·20h·
Discuss: Lobsters, Hacker News, r/programming
🎯Ring Buffers