Show HN: Verinex – A European open-source social network
verinex.eu·1d·
Discuss: Hacker News
🔬Unikernels
Spider divination
aeon.co·2d·
Discuss: Hacker News
🎮Verification Games
Qwen3 235B 2507 Instruct Now Available on Cerebras
cerebras.ai·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Hackers target Python devs in phishing attacks using fake PyPI site
bleepingcomputer.com·6h·
Discuss: Hacker News
🌐NetworkProtocols
Beyond CDN Wars
azion.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Why Mirroring Production in Dev Helps You Avoid Costly Mistakes
foojay.io·2d·
Discuss: r/programming
👁️System Observability
Until the End of the Internet
37signals.com·10h·
Discuss: Hacker News
🌐NetworkProtocols
Anything You Can Do, I Can Do Meta (2007)
technologyreview.com·1d·
Discuss: Hacker News
💾Retro Computing
Personalization, Industrial Design, and Hacked Devices
hackaday.com·4d
🔬Unikernels
Linux Load Averages: Solving the Mystery (2017)
brendangregg.com·1d·
Discuss: Hacker News
👁️System Observability
Use Your Type System
dzombak.com·6d·
Discuss: Lobsters, Hacker News, r/programming
🔠Type-Level Programming
Are prompts the new unit of work?
archgw.com·3d·
Discuss: Hacker News
⚙️PL Implementation
As AI Gets Smarter, It Acts More Evil
honest-broker.com·3d·
Discuss: Hacker News
🎮Verification Games
Giving Benchmarks a Boat
buttondown.com·2d·
Discuss: Lobsters, Hacker News
👁️System Observability
Longtime Linux Kernel Engineer With 14 Years At Intel Is Now At Meta
phoronix.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Commodore 64 on New FPGA
hackaday.com·2d
💾Retro Computing
"Maybe We Need Some More Examples:" Individual and Team Drivers of Developer GenAI Tool Use
arxiv.org·21h
🔄Reproducible Builds
Remembering the Markov Property in Cooperative MARL
arxiv.org·5d
🧪Property-Based Testing
Eyes Will Shut: A Vision-Based Next GPS Location Prediction Model by Reinforcement Learning from Visual Map Feed Back
arxiv.org·2d
🔄Finite State Machines
Show HN: Hypersigil – Prompt management UI – test, evaluate, deploy
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems