I have completed Clair Obscura Expedition 33 ACT2.
netfort.gr.jp·11h
⚡Proof Automation
Flag this post
Pepsi, when they don't have coke
bitecode.dev·11h
🌀Brotli Internals
Flag this post
AI Writes 100% of My Code and 0% of My Code
danieljeffries.substack.com·1d·
Discuss: Substack
⚡Proof Automation
Flag this post
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 4: programming
gautiersblog.blogspot.com·1d·
Discuss: gautiersblog.blogspot.com, Hacker News
📦Deflate
Flag this post
Retro Language Models: Rebuilding Karpathy's RNN in PyTorch
gilesthomas.com·2d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Flag this post
I'm not a 'Vibe Coder', but when I am, this is my set up
appsoftware.com·1d·
Discuss: Hacker News
✨Effect Handlers
Flag this post
Go Primitive in Java, or Go in a Box
donraab.medium.com·1d·
Discuss: Hacker News
🧬Functional Programming
Flag this post
Unit Tests for Intelligence
blog.anirudha.dev·15h·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post
Valgrind 3.26 Released
sourceforge.net·1d·
Discuss: Hacker News
🔩Systems Programming
Flag this post
When the VIBEs Start to Fade
mindruptive.com·2d·
Discuss: Hacker News
🏗️Compiler Archaeology
Flag this post
Typst's Math Mode Problem
laurmaedje.github.io·2d·
Discuss: Hacker News
🔗Lisp
Flag this post
A Vision for Future Low-Level Languages
antelang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Flag this post
Trap Bots on Your Server
maurycyz.com·11h·
Discuss: Hacker News
🔄Burrows-Wheeler
Flag this post
Dependent Session Types for Verified Concurrent Programming
arxiv.org·3d
📞Session Types
Flag this post
Counting R in strawberry – nanochat guide
github.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Paper2Web: Let's Make Your Paper Alive
francischen3.github.io·11h·
Discuss: Hacker News
📄PostScript
Flag this post
The Embedding Dilemma: Why Your RAG Fails and How to Think in Chunks
rewire.it·1d·
Discuss: Hacker News
📄Text Chunking
Flag this post
I stopped looking for a single perfect AI coder and combined a web UI and CLI
xor01.substack.com·7h·
Discuss: DEV, Substack
⚔️Lean Tactics
Flag this post
Agentic AI from First Principles: Reflection
towardsdatascience.com·2d
✨Effect Handlers
Flag this post
Test-time Verification via Optimal Transport: Coverage, ROC, & Sub-optimality
arxiv.org·3d
🎯Performance Proofs
Flag this post