Introducing Proton Authenticator – secure 2FA, your way
proton.me·2d·
Discuss: Hacker News
🍎Apple
Researchers Map Where Solar Energy Delivers the Biggest Climate Payoff
rutgers.edu·18h·
Discuss: Hacker News
🏹Effect Systems
A Quantitative Model of Trust as a Predictor of Social Group Sizes
arxiv.org·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
PascalABC.NET
pascalabc.net·6d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: I built an AI that turns scripts into AI stock footage
autostockfootage.com·1d·
Discuss: Hacker News
💾Retro Computing
Bragi and OpenAI team up to offer ChatGPT-enabled headphones
9to5mac.com·4d
🔬Unikernels
Microsoft Becomes Second Company Valued Over $4 Trillion After Strong Second Quarter Earnings
forbes.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
How to Future-Proof Your Work and Life with a Personal OS
thenextshift.beehiiv.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
10 years of sustainable open source
about.readthedocs.com·5d·
Discuss: Hacker News
🔬Unikernels
How to Name Files
github.com·1d·
Discuss: Hacker News
🍎Apple
Systolic Array-based Accelerator for State-Space Models
arxiv.org·3d
🐫Embedded OCaml
Stack Overflow's 2025 Developer Survey Reveals Trust in AI at an All Time Low
stackoverflow.co·3d·
Discuss: Hacker News, r/webdev
🤖Program Synthesis
Large Language Models
davidtemplin.name·3d·
Discuss: Hacker News
🔠Type-Level Programming
Windows 11 SE is dead — Microsoft pulls plug on special school edition of Windows for low-cost PCs
windowscentral.com·1d·
Discuss: Hacker News, r/Windows11
🔬Unikernels
Tim Cook holds company-wide meeting to address Apple’s AI woes
9to5mac.com·17h·
Discuss: Hacker News
🍎Apple
Show HN: Empromptu.ai – No code, AI app builder with RAG, model, evals etc.
news.ycombinator.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
evoxels: A differentiable physics framework for voxel-based microstructure simulations
arxiv.org·3d
🐫OCaml
LLM-Adapted Interpretation Framework for Machine Learning Models
arxiv.org·3d
🐫OCaml
Rules for AI coding assistants working with the Linux kernel codebase
lore.kernel.org·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Neural Autoregressive Modeling of Brain Aging
arxiv.org·1d
➡️Category Theory