Efficient evaluation of expressions specified in the GO runtime
reddit.com·22h·
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·18h·
Discuss: Lobsters, Hacker News, r/programming
🔗Lexical Scoping
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·12h·
Discuss: Hacker News
💬Interactive REPLs
Moving off of TypeScript, 2.5M lines of code
engineering.usemotion.com·1d·
Discuss: Hacker News
🎮Language Ergonomics
Unlocking Optimization: An Exact Approach to Counting Solutions by Arvind Sundararajan
dev.to·21h·
Discuss: DEV
🧩Constraint Solvers
Analysis of the New Wave of Python Type Checkers
pydevtools.com·1d
🗂️Type Indexing
Semantic Dictionary Encoding
falvotech.com·3d·
Discuss: Hacker News
🗂️Type Indexing
Clean Code Tips I Learned from Senior Engineers
blog.algomaster.io·2d·
Discuss: r/programming
🚚Code Migration
Proebsting's Law
proebsting.cs.arizona.edu·9h·
Discuss: Hacker News
🚀Code Motion
.NET Feature Spotlight: User-Defined Implicit Type Conversion
spin.atomicobject.com·16h
🌉Cross-Platform FFI
The huge AI security hole
aardvark.co.nz·11h
📏Linear Memory
Use mutation testing to find the bugs your tests don't catch
blog.trailofbits.com·17h
🧪Compiler Testing
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·3d
🔧Scheme Macros
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·10h·
Discuss: Hacker News
🦀MIR Optimization
Type safe GADT in Kotlin - who needs Haskell?
hacklewayne.com·6h
🔍Refinement Types
💥 Recursion in Java: Unlock the Power
dev.to·14h·
Discuss: DEV
🪢Rope Data Structures
SWE-Bench Failures: When Coding Agents Spiral into 693 Lines of Hallucinations
surgehq.ai·7h·
Discuss: Hacker News
🔧Error Recovery
Trade-offs in designing DSLs (in Rust)
forgestream.idverse.com·1d·
Discuss: r/rust
🪆Embedded DSLs