TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·10h·
🧮Algebraic Effects
Flag this post
Combine Java and Rust Code Coverage in a Polyglot Project
questdb.com·17h·
Discuss: r/programming
🔧programming language design
Flag this post
ClusterMAX 2.0 is here!
threadreaderapp.com·10h
📲local-first software
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·2d·
🦀Borrow Checker
Flag this post
The Write Last, Read First Rule
tigerbeetle.com·1d·
Discuss: Hacker News
🦀Borrow Checker
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·4d·
Discuss: Hacker News
🔧programming language design
Flag this post
Rust after six months: my impressions on language features, tooling and ecosystem
crocidb.com·2d
🔧programming language design
Flag this post
Co-Optimizing GPU Architecture And SW To Enhance Edge Inference Performance (NVIDIA)
semiengineering.com·1d
🧮Algebraic Effects
Flag this post
Identical particles as a genuine non-local resource
nature.com·1d
🧮Algebraic Effects
Flag this post
I Built a File-Hiding App Because I Didn't Know Any Better (And It Actually Works!)
dev.to·19h·
Discuss: DEV
🔧programming language design
Flag this post
MathCanvas: Intrinsic Visual Chain-of-Thought for Multimodal MathematicalReasoning
dev.to·2h·
Discuss: DEV
🧮Algebraic Effects
Flag this post
Hephaestus: AI workflows that discover and create their own tasks as they work
reddit.com·1d·
Discuss: r/ClaudeAI
🧰software development practices
Flag this post
The Rise of the Specialist: Why Small Language Models are the Future of Enterprise AI
dev.to·10h·
Discuss: DEV
📲local-first software
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·1d
🔧programming language design
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
dev.to·3d·
Discuss: DEV
🧰software development practices
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·2d
🧮Algebraic Effects
Flag this post
Building TransMonkey: Lessons Learned from Creating an AI Translation Platform
dev.to·2d·
Discuss: DEV
📲local-first software
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·4d·
Discuss: Hacker News
🔧programming language design
Flag this post
Generative Hints
arxiv.org·22h
🧮Algebraic Effects
Flag this post