My other email client is a daemon
feyor.sh·1d·
Discuss: Lobsters, Hacker News
❄️Nix
WTF is AI ‘grounding’ licensing, and why do publishers say it matters over training deals?
digiday.com·18h·
Discuss: Hacker News
✓Automated Theorem Proving
How "special register groups" invaded computer dictionaries for decades
righto.com·3d·
Discuss: Hacker News
💾Retro Computing
A brief consideration of input shapes (fuzzing)
addisoncrump.info·5d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Easy will always trump simple
surfingcomplexity.blog·4d·
Discuss: Hacker News, Hacker News
🏹Effect Systems
Getting Your Hands Dirty with Video Output on Linux Using C++ (froscon2025)
cdn.media.ccc.de·6d
🔬Unikernels
The Shaping of Narrative Through Internet Means
medium.com·2d·
Discuss: Hacker News
🛡️seL4
We just open-sourced our entire AI platform after 2+ years of development - please roast our code 😅
reddit.com·4d·
Discuss: r/programming
⎈Kubernetes
I want a dual CPU Setup, but what do I really need ?
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Think twice, do once 🤡. An SATA Story.
reddit.com·3d·
Discuss: r/homelab
💾Retro Computing
Huey: Blazing fast Analytics on Parquet, CSV and JSON - right in your Browser (froscon2025)
cdn.media.ccc.de·6d
💾Retro Computing
Presheaf automata
arxiv.org·4d
🔄Finite State Machines
Enriching Moral Perspectives on AI: Concepts of Trust amongst Africans
arxiv.org·1d
🖥️Self-hosted Infrastructure
Storage setup question
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
Scanpath Prediction in Panoramic Videos via Expected Code Length Minimization
arxiv.org·4d
🔠Type-Level Programming
Leveraging Large Language Models for Predictive Analysis of Human Misery
arxiv.org·3d
🎮Verification Games
Confluent’s Real-Time Agents Build on Kafka Streaming Data
thenewstack.io·3d
🌐NetworkProtocols
Deep Learning for Taxol Exposure Analysis: A New Cell Image Dataset and Attention-Based Baseline Model
arxiv.org·1d
🐫OCaml
ASDFormer: A Transformer with Mixtures of Pooling-Classifier Experts for Robust Autism Diagnosis and Biomarker Discovery
arxiv.org·2d
➡️Category Theory
Breaking the SFT Plateau: Multimodal Structured Reinforcement Learning for Chart-to-Code Generation
arxiv.org·2d
🔄Finite State Machines