Taste
moderndescartes.com·5h·
Discuss: Hacker News
🔠Type-Level Programming
Center for the Alignment of AI Alignment Centers
alignmentalignment.ai·12h·
Discuss: Hacker News
💻CS
The Power of and
lucasbarbosa.net·20h·
Discuss: Hacker News
🧩Separation Logic
Video on Installing Nextcloud AIO using Docker
youtu.be·4d·
Discuss: r/homelab
🖥Self-Hosting
How to build a server-less web app with charts
blog.engora.com·1d·
Discuss: Hacker News
🔄Finite State Machines
Building a DOOM-like multiplayer shooter in pure SQL
cedardb.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🎮Verification Games
Large Language Mode(ration)
ashley.rolfmore.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Terminators: AI-driven robot war machines on the march
theregister.com·13h·
Discuss: Hacker News
🩹Self-Healing Systems
Why Todays Identity and Access Management Can't Survive the AI Age
identityfusion.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Deliberate Abstraction
entropicthoughts.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
Why retention is so hard for new tech products
andrewchen.substack.com·1d·
Discuss: Substack
🍎Apple
Rust's Enterprise Breakthrough Year
rust-trends.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
The short case for Oracle (via ChatGPT)
news.ycombinator.com·1d·
Discuss: Hacker News
⚙️PL Implementation
AI as teleportation
geoffreylitt.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Beyond the Binary: The System of All-round Evaluation of Research and Its Practices in China
arxiv.org·1d
➡️Category Theory
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·4d
💎Refinement Types
BlazingMQ: A modern, high-performance open message queuing system
github.com·5d·
Discuss: Hacker News
🔄Reproducible Builds
Debunking the Claims of K2-Think
sri.inf.ethz.ch·9h·
Discuss: Hacker News, r/LocalLLaMA
🧠Automated Reasoning
YouWare Observation #1: Discussing Vibe Coding and the Creator Community
medium.com·2d·
Discuss: Hacker News
🔬Unikernels
Why Your Docs-as-Code Toolchain Is Holding You Back
thecontentwrangler.com·4d·
Discuss: Hacker News
🔄Reproducible Builds