Felicious – Manage Restaurant Reservations
felicious.io·6h·
Discuss: Hacker News
🛡️seL4
Show HN: Santa Paravia En Fiumaccio' in WebAssembly
g5t.de·2d·
Discuss: Hacker News
🇵🇹Portugal
Your Local Airport Might Be Attracting Alien Attention
popularmechanics.com·10h·
Discuss: Hacker News
📦Unikernel Systems
The C3 Programming Language
c3-lang.org·5d·
Discuss: Hacker News
🔬Static Analysis
Wii U SDBoot1 Exploit "paid the beak"
consolebytes.com·3d·
Discuss: Hacker News
🍎XNU Internals
The World’s Most Powerful Server Embiggens A Bit With Power11
nextplatform.com·5d·
Discuss: Hacker News, Hacker News
💾Retro Computing
7 Daily Habits of Good Software Engineers
plakhlani.in·1d·
Discuss: r/programming, r/webdev
🔄Reproducible Builds
Helix Editor Release 25.07 Highlights
helix-editor.com·6d·
Discuss: Lobsters, Hacker News, r/linux
🐫OCaml
Why the nuclear energy Renaissance is real and necessary
utilitydive.com·6h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Dollars per token considered harmful
modal.com·5d·
Discuss: Hacker News
🐫OCaml
Heatwave-driven air conditioning adoption could increase German electricity demand by 14 GW in the near future
arxiv.org·19h
🏹Effect Systems
Linux and Secure Boot certificate expiration
lwn.net·2d·
Discuss: Lobsters, Hacker News
🔬Unikernels
Stability of lattice Boltzmann schemes for initial boundary value problems in raw formulation
arxiv.org·3d
🐫OCaml
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.org·5d
🐫OCaml
Rack Upgrade: Keep My i9-12900KF Server or Go Efficient?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Intel Announces It's Shutting Down Clear Linux
phoronix.com·3d·
Discuss: Hacker News, r/hardware, r/programming
📦Unikernel Systems
Microsoft releases emergency patches for SharePoint RCE flaw exploited in attack
bleepingcomputer.com·17h·
Discuss: Hacker News
👁️System Observability
Proof-theoretic Semantics for First-order Logic
arxiv.org·3d
➡️Category Theory
I've been fighting with burnout for 18 years
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Can't keep up with the latest in AI? Listen to any blog on your phone for free
github.com·18h·
Discuss: Hacker News
🍎Apple