Mill: The odorless, effortless food recycler
mill.com·23h·
Discuss: Hacker News
🔧Unikernel Development
China’s Green Leap Outward: the Massive Scale Up of Chinese Clean Tech Manufacturing Investments
netzeropolicylab.com·14h·
Discuss: Hacker News, r/SocialDemocracy
🧗Climbing Tech
Why (special agent) Johnny (still) Can't Encrypt (2011)
mattblaze.org·1d·
Discuss: Lobsters
🌐NetworkProtocols
Understanding Floating-Point Numbers
dennisforbes.ca·1d·
Discuss: Hacker News
🏹Effect Systems
AI Prompts for Self-Reflection
josecasanova.com·1d·
Discuss: Hacker News
🎮Verification Games
An introduction to program synthesis
mchav.github.io·2d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Progressive Delivery Prevents Digital Extinction
itrevolution.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
All your vulns are belong to us CISA wants to maintain gov control of CVE prog
theregister.com·1d·
Discuss: Hacker News
👁️System Observability
Using RPI 5 Compute Module for FPGA Test
hackster.io·5d·
Discuss: Hacker News
🐫Embedded OCaml
Most Rust GUI frameworks suck
reddit.com·3d·
Discuss: r/rust
❄️Nixified Development
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·4d·
Discuss: Hacker News
🤖Program Synthesis
Everything in a Linux Terminal
hackaday.com·3d
💾Retro Computing
Spectre haunts CPUs again: VMSCAPE vulnerability leaks cloud secrets
theregister.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Ask HN: Is standardizing on MCPs over APIs within an org an anti-pattern?
news.ycombinator.com·6d·
Discuss: Hacker News
🔄Reproducible Builds
MasconCube: Fast and Accurate Gravity Modeling with an Explicit Representation
arxiv.org·3d
🐫OCaml
Measuring Implicit Spatial Coordination in Teams: Effects on Collective Intelligence and Performance
arxiv.org·2d
🎮Verification Games
The short case for Oracle (via ChatGPT)
news.ycombinator.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Strong convergence of a semi tamed scheme for stochastic differential algebraic equation under non-global Lipschitz coefficients
arxiv.org·2d
🐫OCaml
JFrog Upgrades AI Tooling, Governance To Speed up Software Delivery
thenewstack.io·4d
🔄Reproducible Builds
Identifying rack-mountable drive chassis
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab