Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·4h·
Discuss: Hacker News
📟Terminal Typography
Exploring High Efficiency Web Analysis Results（1750904353002600）
dev.to·1h·
Discuss: DEV
🌊Stream Processing
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
An OCC Idea
lambdacreate.com·16h
🗄️Database Internals
HariSekhon/DevOps-Bash-tools
github.com·1d
🐚Shell Automation
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Writing Toy Software Is a Joy
quiz.businessexplain.com·45m·
Discuss: Hacker News
🔩Systems Programming
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·2d
⚖️Hoare Logic
A Standard for Human-Centered Investigation Playbooks
chrissanders.org·9h
🎯Threat Hunting
Problem-solving is fundamental to human nature
freethink.com·10h
🔲Cellular Automata
4 Powerful Applications of IDALib: Headless IDA in Action
hex-rays.com·4h
🔬Binary Analysis
Threaded Code
muforth.dev·17h·
Discuss: Hacker News
🦀Rust Macros
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·15h
🦠Malware Analysis
Cactus Language • Syntax 12
inquiryintoinquiry.com·12h
📝Concrete Syntax
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·21h
📝Concrete Syntax
Ratcheting to zero: How incremental constraints eliminate technical debt
testdouble.com·2d
⚡Incremental Computation
Gemini CLI
simonwillison.net·10h·
Discuss: Hacker News
📟Terminals
Proving that every program halts
ntietz.com·3d
👑Isabelle
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·13h·
Discuss: Hacker News
📋DFDL
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·1d
🧮Prolog Parsing