rqlite 9.2 — the Distributed SQLite Database — Fast Restarts with GB Datasets
philipotoole.com·9h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·14h·
Discuss: Hacker News
❓Existential Types
Flag this post
Architectural debt is not just technical debt
frederickvanbrabant.com·8h·
Discuss: Hacker News, r/programming
📊Runtime Verification
Flag this post
Revisiting interface segregation in Go
rednafi.com·3d·
Discuss: Hacker News, r/golang
💎Refinement Types
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·3d·
Discuss: r/golang
🎯GADT
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·4d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·19h·
Discuss: Hacker News
λFunctional Programming
Flag this post
A Friendly Tour of Process Memory on Linux
0xkato.xyz·2h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Create your first MCP server
dev.to·15h·
Discuss: DEV
💬Mach Messages
Flag this post
Building gemini-imagen with Claude Code: How AI Became My Pair Programming Partner
dev.to·7h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Mini-Pc Recommendations for Proxmox Homeserver
reddit.com·16h·
Discuss: r/homelab
🖥Self-Hosting
Flag this post
I just trained a physics-based earthquake forecasting model on a $1000 GPU
news.ycombinator.com·1h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·9h
📚Automata Learning
Flag this post
The Hardest Bug to Fix Is Ambiguity
dev.to·20h·
Discuss: DEV
🔍Formal Verification
Flag this post
Building “Exhibit”: An AI-Powered Portfolio Agent with Mastra, A2A, and Telex
dev.to·12h·
Discuss: DEV
🌐ActivityPub
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·16h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
MCP Server Architecture: A Developer's Guide
dev.to·9h·
Discuss: DEV
💬Mach Messages
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·2d·
Discuss: Lobsters, Hacker News
💻CLI Tools
Flag this post
Durable execution workflow system based on Postgres
github.com·3d·
Discuss: Hacker News
⚡Process Calculi
Flag this post
NocoBase 2.0: Meet Your AI Employees
dev.to·10h·
Discuss: DEV
🔧Unikernel Development
Flag this post