How to Run an Arduino for Years on a Battery
makecademy.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Psilocybin produces substantial sustained decreases in depression and anxiety
pmc.ncbi.nlm.nih.gov·6h·
Discuss: Hacker News
🐫OCaml
I deleted Hinge after a week of using dating apps
parsam.io·4h·
Discuss: Hacker News
🍎Apple
Working through 'Writing A C Compiler'
jollygoodsw.wordpress.com·6d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Topology Meets Machine Learning
ams.org·5h·
Discuss: Hacker News
➡️Category Theory
Show HN: AI Test User – simulate your customer experience
aitestuser.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Building Modular Rails Applications: A Deep Dive into Rails Engines
panasiti.me·4d·
Discuss: Hacker News, r/programming
📦Unikernel Systems
Python and Make in 2025
onebadbit.com·6d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
OpenAI, Elon Musk's Wild Plan to Set Artificial Intelligence Free (2016)
wired.com·1h·
Discuss: Hacker News
🔬Unikernels
Are Your Quality Metrics Lying to You?
theproductmindedqa.com·3d·
Discuss: Hacker News
👁️System Observability
Show HN: FavBox is a local-firs browser extension for bookmark management
github.com·20h·
Discuss: Hacker News
🔬Unikernels
Rethinking Prompt Optimization: Reinforcement, Diversification, and Migration in Blackbox LLMs
arxiv.org·3d
🎮Verification Games
Assessing the economic benefits of space weather mitigation investment decisions: Evidence from Aotearoa New Zealand
arxiv.org·13h
📦Unikernel Systems
I Built and Shipped Dognames.vip in 24 Hours with ClaudeCode
news.ycombinator.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.org·1d
✓Automated Theorem Proving
LiLM-RDB-SFC: Lightweight Language Model with Relational Database-Guided DRL for Optimized SFC Provisioning
arxiv.org·2d
🔤DSLs
My little homelab under a pinball machine
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
FADE: Adversarial Concept Erasure in Flow Models
arxiv.org·1d
🐫OCaml
LOON - Label Oriented Object Notation
github.com·5d·
Discuss: Hacker News, r/programming
🐫OCaml