I wrote modern Nowel about Dog Mothers and Incels
akirakitto.gumroad.com·13h·
Discuss: Hacker News
🔬Unikernels
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·1h·
Discuss: Hacker News
🔤DSLs
Zig's new I/O: function coloring is inevitable?
blog.ivnj.org·3d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Poor man's bitemporal data system in SQLite and Clojure
evalapply.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Postman to Bruno: Weekend migration + AI workflow for automated API documentation
ashwch.com·3d·
Discuss: Hacker News, r/programming
🌐NetworkProtocols
Ask HN: Where can I give my app away for free?
news.ycombinator.com·18h·
Discuss: Hacker News
🍎Apple
Stopping the rot when good software goes bad means new rules from the start
theregister.com·2d·
Discuss: Hacker News
💾Retro Computing
Show HN: Sigtrap – log integrity checker in C, no dependencies
github.com·2d·
Discuss: Hacker News
🔬Static Analysis
Modern webapp to write, run and learn M68K, MIPS, RISC-V, x86 assembly code
github.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Are developers slowed down by AI? Evaluating an RCT (?) and what it tells us about developer productivity
fightforthehuman.com·3d·
Discuss: Hacker News
🏹Effect Systems
Robust-Multi-Task Gradient Boosting
arxiv.org·1d
🍎Apple
A Chip8 Emulator for 68000-based Macs
hackaday.com·2d·
Discuss: Hacker News
💾Retro Computing
Changing network structure /adding vlans - need help /ideas
reddit.com·19h·
Discuss: r/homelab
🏠HomeLab
High-Quality Live Video Streaming via Transcoding Time Prediction and Preset Selection
arxiv.org·2d
📡Network Protocol Design
Homelabbing... where to start?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🐫OCaml
Drew Saur’s Ode the Commodore 64
theprogressivecio.com·1d·
Discuss: Hacker News
💾Retro Computing
Will AI agents replace software developers? A realistic breakdown
victoronsoftware.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🔍Formal Verification
REST: Stress Testing Large Reasoning Models by Asking Multiple Problems at Once
arxiv.org·2d
🧪Property-Based Testing