Parents buy bulletproof backpack shields to protect kids from school shooters
abc7.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
DeepAsk AI for Obsidian
deepask.vip·4d·
Discuss: Hacker News
🔬Unikernels
Streaming SQL for Real-Time AI and Machine Learning
timeplus.com·12h·
Discuss: Hacker News
👁️System Observability
A Cross-Team Risk Map of In-House CIAM for B2B and B2C Apps
securityboulevard.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
A New Generation of Spacecraft Head to the ISS
hackaday.com·17h
⎈Kubernetes
I have solved p=NP with proof
github.com·18h·
Discuss: Hacker News
✓Automated Theorem Proving
How to Review Code That Deals with Money
news.alvaroduran.com·1d·
Discuss: Hacker News
🔬Static Analysis
LLMs and Beyond: All Roads Lead to Latent Space
aiprospects.substack.com·1d·
Discuss: Substack
📚Automata Learning
A Steering Vector for SQL Injection Vulnerabilities in Phi-1.5
lesswrong.com·1d
🛡️seL4
Nvidia Invests $5 Billion in Intel With Plans to Co-Design Chips
bloomberg.com·20h·
Discuss: Hacker News
⚙️Operating System Design
Who buys an MP3 player in 2025? Why music streaming doesn’t always cut it
theguardian.com·3d·
Discuss: Hacker News
🐳Containerization
We Built the First AI-Generated Genomes
arcinstitute.org·21h·
Discuss: Hacker News
🤖Program Synthesis
At my wits end with Spectrum Ready + Personal Router
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
PSA: iPhone 17 comes with a special new battery mode enabled
9to5mac.com·3d
📺Vintage Apple
DeepEyeNet: Generating Medical Report for Retinal Images
arxiv.org·2d
📚Automata Learning
Building Coding Agents via Entropy-Enhanced Multi-Turn Preference Optimization
arxiv.org·2d
🤖Program Synthesis
IABIED Review - An Unfortunate Miss
lesswrong.com·8h
🎮Verification Games
Free Software (Talk and Discussion) (nixcon2025)
cdn.media.ccc.de·8h
❄️Nix
Simulating Clinical AI Assistance using Multimodal LLMs: A Case Study in Diabetic Retinopathy
arxiv.org·2d
📚Automata Learning
Zaku: Fast, open-source API client with fangs
github.com·5d·
Discuss: Hacker News
🍏Darwin