Stigmergy
en.wikipedia.org·2d·
Discuss: Hacker News
🎮Verification Games
Measurement and Numbers
blog.jim-nielsen.com·9h·
Discuss: Hacker News
👁️System Observability
Graph foundation models for relational data
research.google·5d·
Discuss: Hacker News, Hacker News, r/programming
➡️Category Theory
Toward Science Fiction Education
sciencefictiontalk.substack.com·2h·
Discuss: Substack
🔬Unikernels
Show HN: legacy-use – add REST APIs to legacy software with computer-use
legacy-use.com·21h·
Discuss: Hacker News
💾Retro Computing
The Harvard-Educated Linguist Breaking Down 'Skibidi' and 'Rizz'
nytimes.com·1d·
Discuss: Hacker News, Hacker News
❄️Nix
Book review: A New Kind of Science (2005)
bactra.org·5d·
Discuss: Hacker News
💻CS
The second wave of spaced repetition apps
hiandrewquinn.github.io·1d·
Discuss: Hacker News
🎮Verification Games
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com·3d·
Discuss: Substack
🔬Static Analysis
LLMs show cultural theory was right about the death of the author
programmablemutter.com·4d·
Discuss: Hacker News
➡️Category Theory
Show HN: I made a private, portable, virtual LLM OS with JavaScript and Gemini
oopisos.neocities.org·2d·
Discuss: Hacker News
🔬Unikernels
Assumptions
theprogrammersparadox.blogspot.com·3d·
Discuss: theprogrammersparadox.blogspot.com, Hacker News
🔬Static Analysis
Show HN: ZeroFS: The S3FS that does not suck
github.com·5h·
Discuss: Hacker News
🏠HomeLab
My 1st HakoForge build
reddit.com·1d·
Discuss: r/homelab
🔄Reproducible Builds
Intelligent Control of Spacecraft Reaction Wheel Attitude Using Deep Reinforcement Learning
arxiv.org·1d
✓Automated Theorem Proving
Curriculum Negative Mining For Temporal Networks
arxiv.org·4d
➡️Category Theory
ArchiveGPT: A human-centered evaluation of using a vision language model for image cataloguing
arxiv.org·4d
✓Automated Theorem Proving
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·4d
🎮Verification Games
Warp Goes Agentic: A Developer Walk-Through of Warp 2.0
thenewstack.io·2d
🛡️seL4
How o3 and Grok 4 Accidentally Vindicated Neurosymbolic AI
garymarcus.substack.com·1d·
Discuss: Substack
🤖Program Synthesis