I have completed Clair Obscura Expedition 33 ACT2.
netfort.gr.jp·8h
⚡Proof Automation
Flag this post
Codeminer42 Dev Weekly #84
blog.codeminer42.com·2d
🌳Incremental Parsing
Flag this post
SymSpell C99: Building the Fastest Spell Checker in Pure C
suman-pokhrel.com.np·22h·
Discuss: Hacker News
🌳Trie Structures
Flag this post
Parsing Webpages with a LLM – Revisited
hdembinski.github.io·1d·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
MIT 6.851: Advanced Data Structures (Spring'21)
courses.csail.mit.edu·1d·
Discuss: Hacker News
💻CS
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·34m·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
Clojure Zippers
grishaev.me·3d·
Discuss: Hacker News
🧮Algebraic Archives
Flag this post
Ken Thompson's "Trusting Trust" compiler backdoor - Now with the actual source code (2023)
micahkepe.com·2d·
Discuss: Hacker News, Hacker News, r/programming
💻Programming languages
Flag this post
Show HN: The Σ-Manifold Manifesto
news.ycombinator.com·2d·
Discuss: Hacker News
🏛Digital humanities
Flag this post
Automatically Translating C to Rust
cacm.acm.org·2d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
BoundRL: Efficient Structured Text Segmentation through Reinforced Boundary Generation
arxiv.org·2d
📄Text Chunking
Flag this post
Are you proficient in both Go and some kind of very strict static typed FP language?
reddit.com·2d·
Discuss: r/golang
🔗Functional Compilers
Flag this post
Counting R in strawberry – nanochat guide
github.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
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
We Programmers Need "Results"
rockyj-blogs.web.app·1d·
Discuss: Hacker News
📜Proof Carrying Code
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
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
Go Primitive in Java, or Go in a Box
donraab.medium.com·23h·
Discuss: Hacker News
🧬Functional Programming
Flag this post
Unit Tests for Intelligence
blog.anirudha.dev·12h·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post