The War on Diversity
stevenpinker.com·1d·
Discuss: Hacker News
🎮Verification Games
Perennial Task Just Got More Flexible
arthurdick.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Psilocybin produces substantial sustained decreases in depression and anxiety
pmc.ncbi.nlm.nih.gov·7h·
Discuss: Hacker News
🐫OCaml
Flower movement induced by weather-dependent tropism
nature.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
OpenAI, Elon Musk's Wild Plan to Set Artificial Intelligence Free (2016)
wired.com·1h·
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·23h·
Discuss: Substack
🖥️Self-hosted Infrastructure
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
AI whiplash, and Neovim in the age of AI
dlants.me·1d·
Discuss: Hacker News, r/neovim
👁️System Observability
Peer Review and the Diffusion of Ideas
arxiv.org·1d
🎮Verification Games
Show HN: WordPress Without PHP – Build Apps and CLI Tools in TypeScript
github.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
GeoReg: Weight-Constrained Few-Shot Regression for Socio-Economic Estimation using LLM
arxiv.org·14h
🐫Embedded OCaml
3S-Attack: Spatial, Spectral and Semantic Invisible Backdoor Attack Against DNN Models
arxiv.org·2d
🛡️seL4
The Utility of the Virtual Imaging Trials Methodology for Objective Characterization of AI Systems and Training Data
arxiv.org·2d
👁️System Observability
I built a full Android app using just one prompt in Gemini CLI 🤯
reddit.com·9h·
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