Deploy Hugo static site to Hetzner
pliutau.com·1d·
Discuss: Hacker News
🖥Self-Hosting
What I Learned Rebuilding Search Three Times
nsavage.substack.com·36m·
Discuss: Substack
🔠Type-Level Programming
Lightcap: A Symbolic Mirror Forged in Algebra
lightcapai.medium.com·1d·
Discuss: Hacker News
🎮Verification Games
CPU Utilization Not as Easy as It Sounds
hackaday.com·3h
⚙️Operating System Design
Door at Launch: Design Review of an LLM-Driven Story Game
ianbicking.org·19h·
Discuss: Hacker News
🎮Verification Games
L3Cube-IndicHeadline-ID: A Dataset for Headline Identification and Semantic Evaluation in Low-Resource Indian Languages
arxiv.org·1d
🧩Parser Combinators
How big are our embeddings now and why?
newsletter.vickiboykis.com·13h·
Discuss: Lobsters, Hacker News
🧩Parser Combinators
Building a $5K ARR Side Project While Managing 9 Engineers
newsletter.manager.dev·3h·
Discuss: Hacker News
👁️System Observability
Yet Unnoticed in LSTM: Binary Tree Based Input Reordering, Weight Regularization, and Gate Nonlinearization
arxiv.org·1d
📚Automata Learning
Why Do MLLMs Struggle with Spatial Understanding? A Systematic Analysis from Data to Architecture
arxiv.org·1d
🧩Separation Logic
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·2d·
Discuss: Substack, r/programming
⚙️Operating System Design
DeepQuali: Determining Software Quality with AI
blog.qaware.de·3d·
Discuss: Hacker News
🔄Reproducible Builds
When Agents go Astray: Course-Correcting SWE Agents with PRMs
arxiv.org·1d
✓Automated Theorem Proving
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·3d·
Discuss: Hacker News
💎Refinement Types
Towards Agents That Know When They Don't Know: Uncertainty as a Control Signal for Structured Reasoning
arxiv.org·1d
🧠Automated Reasoning
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com·2d·
Discuss: Hacker News
💎Refinement Types
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: No More Vendor Lock-In: Our Open-Source Protocol for AI Portability
github.com·16h·
Discuss: Hacker News
🌐NetworkProtocols
Knowledge-integrated AutoEncoder Model
arxiv.org·1d
📚Automata Learning
NEWSAGENT: Benchmarking Multimodal Agents as Journalists with Real-World Newswriting Tasks
arxiv.org·1d
🧩Parser Combinators