How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·17h·
Discuss: DEV
🌊Gradual Typing
Issue 490
haskellweekly.news·14h
⚡functional programming
Type safe GADT in Kotlin - who needs Haskell?
hacklewayne.com·4h
🪆Embedded DSLs
Controlling program flow with capabilities in Scala
nrinaudo.github.io·16h·
Discuss: Lobsters, Hacker News, r/programming
🔗Lexical Scoping
haskell/mtl
github.com·1d
🚂Error Monads
Mastering Go Interfaces: Memory Overhead and Optimization Tips
dev.to·1h·
Discuss: DEV
⚡Interpreter Optimization
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·8h·
Discuss: Hacker News
😴Lazy Evaluation
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
📜Proof Languages
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·14h·
Discuss: Hacker News
⚙️Zig Comptime
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·3d·
Discuss: Lobsters, Hacker News
🐪OCaml
What I learned building a programming language with LLM agents
eddmann.com·10h·
Discuss: Hacker News
🔮Metacircular Evaluators
Cactus Language • Mechanics 1
inquiryintoinquiry.com·8h
🌲Tree Rewriting
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·2d
🔧Scheme Macros
Show HN: Chibi Izumi, staged dependency injection for Python
github.com·1d·
Discuss: Hacker News
🪆Embedded DSLs
Analysis of the New Wave of Python Type Checkers
pydevtools.com·23h
🗂️Type Indexing
Efficient evaluation of expressions specified in the GO runtime
reddit.com·20h·
Discuss: r/golang
🐹Go Internals
Reasoning Efficiently Through Adaptive Chain-of-Thought Compression: A Self-Optimizing Framework
arxiv.org·22h
⚡Interpreter Optimization
Connecting to LLMs: Building a Simple HTTP Client for AI Integration
dev.to·2h·
Discuss: DEV
🔧API Design
Yesterday’s talk video posted: Reflection — C++’s decade-defining rocket engine
herbsutter.com·8h·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔬Nanopasses
Embarrassingly parallel evaluations (nixcon2025)
cdn.media.ccc.de·10h
⚡Interpreter Optimization