Type safe GADT in Kotlin - who needs Haskell?
hacklewayne.com·8h
🔍Refinement Types
Analysis of the New Wave of Python Type Checkers
pydevtools.com·1d
🗂️Type Indexing
Lambda Explained: A Visual Journey from Init to Invoke
dev.to·2d·
Discuss: DEV
📦Closure Conversion
How to stop writing Rust like it's C or C++.
youtu.be·2h·
Discuss: r/rust
⚙️TOML Parsers
Can a Data Race Happen on a Single-Core Machine?
aoli.al·14h·
Discuss: Hacker News
🔗Concurrency Primitives
How to Debug Chez Scheme Programs (2002)
scheme.com·3d·
Discuss: Hacker News
💬Error Message Design
Advent of Code: Libraries
elly.town·2d
📚Stack Data Structures
Ask HN: LLM Prompt Engineering
news.ycombinator.com·16h·
Discuss: Hacker News
⚡Incremental Parsing
Repo Dump CLI tool
github.com·10h·
Discuss: DEV
💬REPL Design
Introducing RecoverCheck: A Golang Linter to catch goroutines that don't have recover attached to it.
reddit.com·15h·
Discuss: r/golang
🔧Error Recovery
[Python tool] Anti bot text obfuscator
discuss.privacyguides.net·6h
📝Rope Editors
A Steering Vector for SQL Injection Vulnerabilities in Phi-1.5
lesswrong.com·1d
🛡️Parser Security
General Component Controls
nasa.gov·12h
🧱WASM Components
Connecting to LLMs: Building a Simple HTTP Client for AI Integration
dev.to·6h·
Discuss: DEV
🔧API Design
Yesterday’s talk video posted: Reflection — C++’s decade-defining rocket engine
herbsutter.com·12h·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔬Nanopasses
Unusual Memory Bit Patterns | Software Verify
softwareverify.com·23h
🔗Weak References
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·3d·
Discuss: www.blogger.com
🔮Lisp Interpreters
Swift 6.2 advances the language meaningfully
victorwynne.com·2d·
Discuss: Hacker News, r/programming
🦉Swift Interpreters
What I learned building a programming language with LLM agents
eddmann.com·13h·
Discuss: Hacker News
🔮Metacircular Evaluators
💥 Recursion in Java: Unlock the Power
dev.to·15h·
Discuss: DEV
🪢Rope Data Structures