Mill: The odorless, effortless food recycler
mill.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Use the Force (Feedback) to Solder Small Things
bunniestudios.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Looking for feedback: heads-up poker training app
app.pokerheads.de·2d·
Discuss: r/programming
🎮Verification Games
China’s Green Leap Outward: the Massive Scale Up of Chinese Clean Tech Manufacturing Investments
netzeropolicylab.com·1d·
Discuss: Hacker News, r/SocialDemocracy
🧗Climbing Tech
Why (special agent) Johnny (still) Can't Encrypt (2011)
mattblaze.org·2d·
Discuss: Lobsters
🌐NetworkProtocols
Understanding Floating-Point Numbers
dennisforbes.ca·2d·
Discuss: Hacker News
🏹Effect Systems
An introduction to program synthesis
mchav.github.io·2d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Progressive Delivery Prevents Digital Extinction
itrevolution.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
AI Prompts for Self-Reflection
josecasanova.com·2d·
Discuss: Hacker News
🎮Verification Games
Using RPI 5 Compute Module for FPGA Test
hackster.io·6d·
Discuss: Hacker News
🐫Embedded OCaml
All your vulns are belong to us CISA wants to maintain gov control of CVE prog
theregister.com·2d·
Discuss: Hacker News
👁️System Observability
Show HN: FSP2 Tested on excerpt "Romeo and Juliet" impressive compresion results
news.ycombinator.com·3d·
Discuss: Hacker News
🧮Lambda Calculus
JFrog Upgrades AI Tooling, Governance To Speed up Software Delivery
thenewstack.io·4d
🔄Reproducible Builds
Identifying rack-mountable drive chassis
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Advice for a 4-node Spark Cluster for PhD Project - Mini PC vs. Tower Thermals?
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
The Future of Agentic Coding Is Multiplayer
thenewstack.io·5d
🔄Reproducible Builds
Generative Engine Optimization: How to Dominate AI Search
arxiv.org·2d·
Discuss: Hacker News
🧩Parser Combinators
An Explainable Deep Neural Network with Frequency-Aware Channel and Spatial Refinement for Flood Prediction in Sustainable Cities
arxiv.org·3d
💎Refinement Types
Ask HN: Is standardizing on MCPs over APIs within an org an anti-pattern?
news.ycombinator.com·6d·
Discuss: Hacker News
🔄Reproducible Builds
The short case for Oracle (via ChatGPT)
news.ycombinator.com·3d·
Discuss: Hacker News
⚙️PL Implementation