Breaking the Sound Barrier of 1M TPS Blockchain
blog.ormilabs.com·21h·
Discuss: Hacker News
🔧Unikernel Development
How FOSS Projects Handle Legal Takedown Requests
f-droid.org·5h·
Discuss: Hacker News
🛡️seL4
Terminating elegantly: a guide to graceful shutdowns
packagemain.tech·5h·
Discuss: Hacker News
⎈Kubernetes
I built a cycle-accurate SAP-3 8-bit CPU emulator in TypeScript with real-time visualization
sap-3.com·4d·
Discuss: r/programming
💾Retro Computing
Browser Support in 2025: What new features can I safely use?
caseywatts.com·2h·
Discuss: Hacker News
🐳Containerization
Guide to building an application in 2025 – tech stack and tools
dotnetinterviews.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Installing DarkPAN Perl Modules via Gitlab
domm.plix.at·4d·
Discuss: Hacker News
📦Unikernel Systems
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·1d·
Discuss: Hacker News
🔤DSLs
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·3d·
Discuss: r/javascript, r/programming
💎Refinement Types
Visualising Topology Inspired Computing Algorithms
antifold.com·1d·
Discuss: Hacker News
🧩Separation Logic
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·2d
🧠Automated Reasoning
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.org·2d
🐫OCaml
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·2d·
Discuss: Hacker News
🤖Program Synthesis
Using Claude Code to modernize a forgotten Linux kernel driver
dmitrybrant.com·3d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
The Eldritch in the 21st century
lesswrong.com·4h
🔬Unikernels
The State of AI Gross Margins in 2025
tanayj.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I built my own CDN with Varnish and Nginx
polso.info·8h·
Discuss: Hacker News
🖥Self-Hosting
FreeCAD Foray: Good Practices
hackaday.com·6h
🔬Unikernels
Anchoring Refusal Direction: Mitigating Safety Risks in Tuning via Projection Constraint
arxiv.org·2d
🐫OCaml
AI Safety Law-a-thon: We need more technical AI Safety researchers to join!
lesswrong.com·1d
🎮Verification Games