Freshman’s dream
johndcook.com·6h
⚔️Lean Tactics
Flag this post
Dr StrangeTranspile, Or: How I Learned to Stop Worrying and Love the SBoM
🧪Binary Fuzzing
Flag this post
Emu68 Goes PowerPC
⚡Homebrew CPUs
Flag this post
We Programmers Need "Results"
📜Proof Carrying Code
Flag this post
I built an faster Notion in Rust
🦀Rust Macros
Flag this post
The Cost of Certainty: Shot Budgets in Quantum Program Testing
arxiv.org·17h
🔍Concolic Testing
Flag this post
Text2SQL is dead – long live text2SQL
🚚Data Migration
Flag this post
Speedrunning an RL Environment
⚔️Lean Tactics
Flag this post
A Vision for Future Low-Level Languages
🦀Rust Borrowing
Flag this post
The Trojan Example: Jailbreaking LLMs through Template Filling and Unsafety Reasoning
arxiv.org·1d
🌐NetworkProtocols
Flag this post
Scratching the Itch, Paying the Debt: How Community Keeps Legacy Open Source Projects Alive
🔓Open Source Software
Flag this post
Fil-C: A memory-safe C implementation
🧠Separation Logic
Flag this post
Building a Reliability Platform for Distributed Systems
hackernoon.com·11h
👁️Observatory Systems
Flag this post
Turing Machine Visualization (2016)
🎞️Tape Combinatorics
Flag this post
Unsplittable Cost Flows from Unweighted Error-Bounded Variants
arxiv.org·1d
🧮Algebraic Datatypes
Flag this post
How to Use Zorn's Lemma
⚔️Lean Theorem
Flag this post
Loading...Loading more...