Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
How to Avoid Thread-Safety Cost for Functions' Static Variables
cppstories.com·2d·
Discuss: Hacker News, r/cpp
🔒Type Safety
TypeScript: Enable Strict Mode by Default
github.com·7h·
Discuss: Hacker News
🎯Gradual Typing
Builder Pattern in CDK
medium.com·4h·
Discuss: Hacker News
🧱Immutable Infrastructure
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·10h·
Discuss: Hacker News
⚡Proof Automation
Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms
arxiv.org·20h
🕸️Network Topology
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
CL-JSON Ambiguity
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🧠Lisp Dialects
Over-Engineering Sleep
matt.blwt.io·1d
🐚Bash FP
A better for loop?
cirw.in·4d
🦀Rust Macros
Claude Code's 19 cent Parser
blogger.com·11h
🔧Binary Parsers
Nullable vs. Nullable in C#
einarwh.no·6h·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
google/highway
github.com·1d
📊RISC-V Vectors
The MLOps Maturity Playbook: Practical Steps to Production-Ready ML
blog.devops.dev·12h
🔄Reproducible Builds
Make the Easy Change Hard
blog.appliedcomputing.io·3h·
Discuss: Lobsters, Hacker News
🔄Sync Engine
Does Rust complexity ever bother you?
reddit.com·3d·
Discuss: r/rust
🦀Rust Borrowing
Fearless Programming with Rust
infoq.com·4d·
Discuss: Hacker News
🦀Rust Macros
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·7m·
Discuss: Hacker News
🦀Rusty Databases
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·8h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types