Ore Formation Processes, Part Two: Hydrothermal Boogaloo
hackaday.com·19h
💎Refinement Types
Further Adventures in Colorimeter Hacking
hackaday.com·1h
❄️Nixified Development
FedCM: A New Proposed Identity Standard That Could Change How We Log in On
infoq.com·48m·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: I Built Logstalgia for the Web
tailstream.io·13h·
Discuss: Hacker News
🐳Containerization
Seedream 4.0 – A Powerful Image Creation Alternative to Nano Banana
seedream-4.net·4h·
Discuss: Hacker News
🔧Unikernel Development
Installing DarkPAN Perl Modules via Gitlab
domm.plix.at·1d·
Discuss: Hacker News
📦Unikernel Systems
Why Your Docs-as-Code Toolchain Is Holding You Back
thecontentwrangler.com·16h·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Hyperif – Chat with your data across all your tools
hyperif.com·22h·
Discuss: Hacker News
🐳Containerization
We Ship ML Algorithms to Prod Without Rewrites (Or ML Engineers)
shlep.ai·1d·
Discuss: Hacker News
💎Refinement Types
The LLM Has Left The Chat: Evidence of Bail Preferences in Large Language Models
arxiv.org·1d·
Discuss: Hacker News
📚Automata Learning
We built an Artificial Brain that sleeps, dreams, and forms memories
github.com·21h·
Discuss: Hacker News
🩹Self-Healing Systems
Show HN: Conformal – Type-safe FormData parsing and canonical submission flow
github.com·21h·
Discuss: Hacker News
🐫OCaml
Ask HN: Is the Rust community the vegans of programming?
news.ycombinator.com·1d·
Discuss: Hacker News
🔬Static Analysis
Multiscale Graph Neural Network for Turbulent Flow-Thermal Prediction Around a Complex-Shaped Pin-Fin
arxiv.org·1d
🧩Separation Logic
ASCENDgpt: A Phenotype-Aware Transformer Model for Cardiovascular Risk Prediction from Electronic Health Records
arxiv.org·1d
🧩Parser Combinators
Applying Functional Programming to a Complex Domain: A Practical Game Engine PoC
reddit.com·5d·
Discuss: r/programming
💎Refinement Types
PHP MCP SDK: official client/server framework for MCP
github.com·2d·
Discuss: Hacker News
🛡️seL4
Just One More Prompt
commandpattern.org·3d·
Discuss: Hacker News
📚Automata Learning
Scaling the system that powers over $700M ARR invoices
medium.com·12h·
Discuss: Hacker News
🔄Reproducible Builds
Being Handed Puzzles
lesswrong.com·1d
🎮Verification Games