Teaching programming languages
kmjn.org·1d
💻Programming languages
Thoughts on systems thinking and production excellence from Release It
stevenoxley.com·6h·
Discuss: Hacker News
🛡️Error Boundaries
Claude Code's 19 cent Parser
blogger.com·1d
🔧Binary Parsers
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·8h·
Discuss: Hacker News
⚔️Lean Tactics
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·1d·
Discuss: Hacker News
⚡Proof Automation
Securing Kubernetes Layer by Layer: An OSI Approach
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
Gunnar Wolf: The comedy of computation, or, how I learned to stop worrying and love obsolescence
gwolf.org·1d
🧲Magnetic Philosophy
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·1d·
Discuss: Hacker News
✅Format Verification
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·5h
⬆️Lambda Lifting
Some recent project milestones
markjgsmith.com·2d
🔌Interface Evolution
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·17h
🎯Performance Proofs
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·6h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
Anonymous structavaganza in zig
lirk.top·1d·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Did GPT-5 Solve 'New Math'?
tech2geek.net·11h·
Discuss: Hacker News
🎯Performance Proofs
Show HN: SecretMemoryLocker – File Encryption Without Static Passwords
github.com·1d·
Discuss: Hacker News
🔐Archive Encryption
DocHop-QA: Towards Multi-Hop Reasoning over Multimodal Document Collections
arxiv.org·1d
📇Dublin Core