Reverse-engineering Roadsearch Plus, or, roadgeeking with an 8-bit CPU
oldvcr.blogspot.com·3h·
Discuss: oldvcr.blogspot.com
🖥️Vintage Macintosh
Randomness Made to Order, part 1
mathenchant.wordpress.com·1h
📐Mathematical Art
ColecoVision: The Shooting Gallery Platform Layer
bumbershootsoft.wordpress.com·8h
🎮Gameboy Emulation
The Baby Paradox in Haskell
blog.jle.im·2d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
Busy Beaver Hunters Reach Numbers That Overwhelm Ordinary Math
quantamagazine.org·1d·
Discuss: Hacker News, Hacker News
🎞️Tape Combinatorics
busy beaver function
ncatlab.org·18h
⚔️Lean Theorem
Bringing restartable sequences out of the niche
lwn.net·2d·
Discuss: Hacker News
🔩Systems Programming
A Single-Cable Solution for USB Data and Logs
hackster.io·1d
💾Floppy Imaging
LLMs and the Russellian Inversion
philosophicalhacker.com·18m·
Discuss: Hacker News
💻Programming languages
Starting Go (Golang) as My First Language – Need Help with Beginner Resources
reddit.com·2d·
Discuss: r/golang
λLambda Formalization
Toying with Poisoned Search Results Fed to an LLM
github.com·1d·
Discuss: Hacker News
🔍Information Retrieval
Scheme Basics
courses.cs.washington.edu·1d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
**Mastering HTTP/2 Server Performance Optimization in Go for High-Traffic Applications**
dev.to·1d·
Discuss: DEV
⚡gRPC
Racket 8.18 Released
blog.racket-lang.org·1d·
Discuss: Hacker News
🧠Lisp Dialects
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·3d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
What it took to make a multi-agent trading simulation durable and observable
union.ai·2d·
Discuss: Hacker News
⚡Proof Automation
Waitgroups: what they are, how to use them and what changed with Go 1.25
mfbmina.dev·12h·
Discuss: Hacker News, r/golang
🔄Sync Engine
Writing Speed-of-Light Flash Attention for 5090 in CUDA C++
gau-nernst.github.io·15h·
Discuss: Hacker News
🖥️Terminal Renaissance
Centrally Collecting Events from Go Microservices
pliutau.com·1d·
Discuss: r/golang
📝Log Parsing
🚀 Introducing ShiboScript – A Beginner-Friendly Scripting Language
dev.to·2d·
Discuss: DEV
🛡️WASM Security