Prove me wrong, earn money!
nintil.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Applying the Six Thinking Hats Framework to Personal Data Security Analysis
guptadeepak.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Engineering wisdom from a year of Talking Postgres
techcommunity.microsoft.com·19h·
Discuss: Hacker News
🎮Verification Games
Mario Kart 64 has a PC port now by the team who also ported Zelda and Star Fox
pcgamer.com·2d·
Discuss: Hacker News
💾Retro Computing
Big Tech enters the war business: How Silicon Valley is becoming militarized
english.elpais.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Using MacBook's trackpad as digital weighing scale
github.com·1d·
Discuss: Lobsters, Hacker News
🍎Apple
Why Maybe Don't AI
maybedont.ai·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Market of Words
fakepixels.substack.com·3d·
Discuss: Substack
🛡️seL4
3-line exploit revealed for critical Nvidia Container Toolkit flaw
scworld.com·3d·
Discuss: Hacker News
⎈Kubernetes
Easy Patterns for Testable Python Code
medium.com·3d·
Discuss: r/programming
🧪Property-Based Testing
The power of the Unix philosophy for LLM agentic tools
blog.korny.info·5d·
Discuss: Hacker News
🛡️seL4
Stargate advances with 4.5 GW partnership with Oracle
openai.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Replit makes vibe-y promise to stop its AI agents making vibe coding disasters
theregister.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Popular NPM linter packages hijacked via phishing to drop malware
bleepingcomputer.com·3d·
Discuss: Hacker News, Hacker News
🔬Unikernels
Notes on Image Generation with GPT-4.1
taoofmac.com·2d·
Discuss: Hacker News
💾Retro Computing
A Comparative Analysis of Statistical and Machine Learning Models for Outlier Detection in Bitcoin Limit Order Books
arxiv.org·1d
👁️System Observability
Procedure Learning via Regularized Gromov-Wasserstein Optimal Transport
arxiv.org·1d
🎮Verification Games
Language Models Change Facts Based on the Way You Talk
arxiv.org·1d
🏹Effect Systems
CQI-Based Interference Prediction for Link Adaptation in Industrial Sub-networks
arxiv.org·1d
📡Network Protocol Design
Do Large Language Models Have a Planning Theory of Mind? Evidence from MindGames: a Multi-Step Persuasion Task
arxiv.org·8h
🎮Verification Games