The War on Diversity
stevenpinker.com·2d·
Discuss: Hacker News
🎮Verification Games
Perennial Task Just Got More Flexible
arthurdick.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Ask HN: Changing Developer Career Specialty
news.ycombinator.com·1d·
Discuss: Hacker News
⚙️PL Implementation
OpenAI, Elon Musk's Wild Plan to Set Artificial Intelligence Free (2016)
wired.com·9h·
Discuss: Hacker News
🔬Unikernels
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·3d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
The AI Replaces Labour Myth
aimode.substack.com·1d·
Discuss: Substack
🖥️Self-hosted Infrastructure
2025 One-Hertz Challenge: HP Logic Probe Brought Into The Future
hackaday.com·9h
💾Retro Computing
The Kepler Problem (Part 2)
johncarlosbaez.wordpress.com·4d·
Discuss: Hacker News
🐫OCaml
How I Built an App in 7 Hours with Gemini, Gemini CLI and Gemini Code Assist
medium.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Who Wants to Be Acquired: 5 AI/Dev MVPs (1 Monetized, Full Code, Domains
news.ycombinator.com·11h·
Discuss: Hacker News
⎈Kubernetes
The Utility of the Virtual Imaging Trials Methodology for Objective Characterization of AI Systems and Training Data
arxiv.org·2d
👁️System Observability
3S-Attack: Spatial, Spectral and Semantic Invisible Backdoor Attack Against DNN Models
arxiv.org·2d
🛡️seL4
I built a full Android app using just one prompt in Gemini CLI 🤯
reddit.com·17h·
Discuss: r/programming
❄️Nixified Development
IoT Malware Network Traffic Detection using Deep Learning and GraphSAGE Models
arxiv.org·2d
🌐NetworkProtocols
Ilion Framework: A Public Layer for Semantic Alignment with Truth
zenodo.org·5d·
Discuss: Hacker News
🐫OCaml
Recursive Reward Aggregation
arxiv.org·4d
🔠Type-Level Programming
Te Ahorr\'e Un Click: A Revised Definition of Clickbait and Detection in Spanish News
arxiv.org·3d
💻CS
CMER: A Context-Aware Approach for Mining Ethical Concern-related App Reviews
arxiv.org·3d
🔬Static Analysis
Theory-Informed Improvements to Classifier-Free Guidance for Discrete Diffusion Models
arxiv.org·3d
💻CS
Intelligent Virtual Sonographer (IVS): Enhancing Physician-Robot-Patient Communication
arxiv.org·22h
🤖Program Synthesis