How much disorder is there in a descending run?
morwenn.github.io·11h·
Discuss: Hacker News
≤Order Theory
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🔀OCaml Multicore
Flag this post
Bold Devlog - October Summary
bold-edit.com·2d·
Discuss: r/programming
🔬Static Analysis
Flag this post
The Beauty of Building
ym2132.github.io·53m·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
The Illustrated NeurIPS 2025: A Visual Map of the AI Frontier
newsletter.languagemodels.co·9h
🔲Cellular Automata
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·5d·
Discuss: Substack
λFunctional Programming
Flag this post
Writing a DOS Clone in 2019
medium.com·20h·
Discuss: Hacker News
🔧Darwin Internals
Flag this post
Recording My Experiments in Spec-Driven Development
dev.to·6h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·5d·
Discuss: Substack
🔤Language Design
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·2d·
Discuss: Hacker News, r/rust
🏃Escape Analysis
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·2d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·3d·
Discuss: Hacker News
💬Mach Messages
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·1d·
Discuss: Hacker News
🔍CBMC
Flag this post
Cloudflare Raves About Performance Gains After Rust Rewrite
developers.slashdot.org·1d
❄️NixOS
Flag this post
Agents Are Commoditizing the Complement
andreasfragner.com·3h·
Discuss: Hacker News
🔧DevOps
Flag this post
@call_once python macro for unlimited recursion depth
dev.to·6h·
Discuss: DEV
λFunctional Programming
Flag this post
🧠 Smart Text Matching: RapidFuzz vs Difflib
dev.to·7h·
Discuss: DEV
🔤Regular Expressions
Flag this post
Chain of Pattern: Rethink
dev.to·1d·
Discuss: DEV
🔤Language Design
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·1d·
Discuss: Hacker News
🛡️seL4
Flag this post