Breaking the Sound Barrier of 1M TPS Blockchain
blog.ormilabs.com·1d·
Discuss: Hacker News
🔧Unikernel Development
What is your take on Event Sourcing? How hard was it for you to get started?
martinfowler.com·3d·
Discuss: r/programming
👁️System Observability
Show HN: Speech-to-text CLI in Rust with Nvidia Parakeet-local, fast, extensible
elvin.engineering·1d·
Discuss: Hacker News
🐫Embedded OCaml
An Engineering History of the Manhattan Project
construction-physics.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Disrupting the DRAM roadmap with capacitor-less IGZO-DRAM technology
imec-int.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Which countries are scaling solar and wind the fastest?
sustainabilitybynumbers.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Hnfm: Building a local-first AI podcast generator for Hacker News
briancaffey.github.io·2d·
Discuss: Hacker News
🐳Containerization
The Design and Regulation of Technology
leapfrog.nl·5d·
Discuss: Hacker News
🏹Effect Systems
Redefining Worth After Loss
notes.jeddacp.com·1d·
Discuss: Hacker News
🍎Apple
AI Shouldn't Have Personality
grant.pizza·53m·
Discuss: Hacker News
📚Automata Learning
The Business Consultant
quarter--mile.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Tech bros hate this college student. CA should listen what she's saying about AI
latimes.com·2d·
Discuss: Hacker News
🍎Apple
CLI-based multi-agent trading system using LLMs
github.com·2d·
Discuss: Hacker News
🐫OCaml
Windows Server 2025 issues after installing Updates today (10/09/2025)
reddit.com·2d·
Discuss: r/homelab
📺Vintage Apple
Real-time CBCT reconstructions using Krylov solvers in repeated scanning procedures
arxiv.org·1d
⚡Process Calculi
Comparative Evaluation of Hard and Soft Clustering for Precise Brain Tumor Segmentation in MR Imaging
arxiv.org·3d
🧩Separation Logic
Show HN: Oboe, a generalized AI-powered learning platform
news.ycombinator.com·2d·
Discuss: Hacker News
🎮Verification Games
JFrog Upgrades AI Tooling, Governance To Speed up Software Delivery
thenewstack.io·2d
🔄Reproducible Builds
The Unseen Cost of Custom Domains: Why Manual SSL Management Is Hurting You
vanitycert.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Scaling Truth: The Confidence Paradox in AI Fact-Checking
arxiv.org·1d
✓Automated Theorem Proving