Show HN: Helices Create a New Model of Deterministic Computation [pdf]
lambdalord.github.io·14h·
Discuss: Hacker News
➡️Category Theory
MySQL to MariaDB migration story of Switch.ch, Switzerland’s Open Source IT Backbone for Universities and Research
mariadb.org·2d·
Discuss: r/programming
📦Unikernel Systems
Automatically Discover, Record, and Document APIs With WireMock AI
wiremock.io·1d·
Discuss: r/programming
👁️System Observability
💥Job Ready AI Powered Cohort: Complete Web Development + DSA + Aptitude GOOD or BAD !!!!!!!💥
sheryians.com·3d·
Discuss: r/programming
💻CS
Dealing with Eventual Consistency, and Causal Consistency using Predictable Identifiers
architecture-weekly.com·4d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
The Decision-Making Framework Every Engineering Team Needs
leadthroughmistakes.substack.com·3d·
Discuss: Substack
👁️System Observability
ClickOps Is a Disgrace
thenewstack.io·1d
🧱Immutable Infrastructure
Realbasic (2000)
joelonsoftware.com·1d·
Discuss: Hacker News
💾Retro Computing
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·1d
🐫OCaml
Personal Reflections on Immutable Linux
hackaday.com·1d·
Discuss: Hacker News
🔬Unikernels
Recommend CPU+Mobo for a do-it-all home server
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Why can't anything in open source work following the instructions.
reddit.com·1d·
Discuss: r/homelab
📦Unikernel Systems
Where Small Boats Still Outrun Giants
shayne.dev·17h·
Discuss: Hacker News
🔬Unikernels
Integrating Generative AI in BIM Education: Insights from Classroom Implementation
arxiv.org·3d
🧪Property-Based Testing
Speclinter MCP
github.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Zero-Conversion Success: The power of frictionless access in Open Source
onboardjs.com·2d·
Discuss: Hacker News
❄️Nixified Development
crates.io: development update
blog.rust-lang.org·1d·
Discuss: Hacker News
❄️Nixified Development
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·1d·
Discuss: Substack
🧪Property-Based Testing
Show HN: We launched a low-code back end orchestration platform on AWS
news.ycombinator.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Evaluation of Large Language Model-Driven AutoML in Data and Model Management from Human-Centered Perspective
arxiv.org·3d
🔠Type-Level Programming