The Magic of Herding
nautil.us·1d·
Discuss: Hacker News
🤖Program Synthesis
Schools are using AI surveillance to protect students. Sometimes arresting them
apnews.com·4h·
Discuss: Hacker News, r/news
🔬Static Analysis
Ghost has raised prices and removed features for the Starter plan
blog.usmanity.com·17h·
Discuss: Hacker News
💾Retro Computing
Website's URLs Can and Should Be Beautiful
opus.ing·3d·
Discuss: Hacker News
📡Network Protocol Design
Server Hard Drives Comparison Chart
paulsorensen.io·2d·
Discuss: r/homelab
🏠HomeLab
With just a few messages, biased AI chatbots swayed people’s political views
washington.edu·20h·
Discuss: Hacker News
🎮Verification Games
Train Board Generator
jochembruijninckx.nl·3d·
Discuss: Hacker News
🎮Verification Games
Why blocking LLMs from your website is dumb
johnjianwang.medium.com·22h·
Discuss: Hacker News
🛡️seL4
Show HN: Belgian parliamentary data, scraped and published
github.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Improving Performance with HTTP Streaming
medium.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Why I'm Leaving NixOS After a Year
rugu.dev·4d·
Discuss: Hacker News
❄️Nix
Joy & Curiosity #48
registerspill.thorstenball.com·5d·
Discuss: Hacker News
💾Retro Computing
An Ode to the Aesthetic of Light in 1024 Pixels
hackaday.com·4d
🔬Unikernels
Which of these is a good deal for a starting homelab setup?
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
Reverse engineering some updates to Claude
simonwillison.net·6d·
Discuss: Hacker News
🌐NetworkProtocols
AI-Based Measurement of Innovation: Mapping Expert Insight into Large Language Model Applications
arxiv.org·2d
✓Automated Theorem Proving
Why Latency Is Quietly Breaking Enterprise AI at Scale
thenewstack.io·22h
👁️System Observability
Quantum Neural Network applications to Protein Binding Affinity Predictions
arxiv.org·1d
➡️Category Theory
Frequency Point Game Environment for UAVs via Expert Knowledge and Large Language Model
arxiv.org·1d
🎮Verification Games
Modeling Annotator Disagreement with Demographic-Aware Experts and Synthetic Perspectives
arxiv.org·1d
✓Automated Theorem Proving