Associations of Chronic Insomnia and Longitudinal Cognitive Outcomes
neurology.org·3h·
Discuss: Hacker News
🧮Lambda Calculus
Drug discovery is becoming slower and more expensive over time
en.wikipedia.org·11h·
Discuss: Hacker News
🩹Self-Healing Systems
Security Through Intentional Redundancy
commaok.xyz·3h·
Discuss: Lobsters, Hacker News
🛡️seL4
Stepping Down as Libxml2 Maintainer
discourse.gnome.org·9h·
Discuss: Hacker News
🍏Darwin
Which NPM package has the largest version number?
adamhl.dev·1d·
Discuss: Hacker News
❄️Nixified Development
I Put ChatGPT into Jail and Let Him Code Anyays
indiehackers.com·19h·
Discuss: Hacker News
✓Automated Theorem Proving
The Only Skill That Matters Now
worksonmymachine.ai·1d·
Discuss: Hacker News
🎮Verification Games
JIT-ing a stack machine (with SLJIT)
bullno1.com·3h·
Discuss: Hacker News, r/C_Programming
⚙️PL Implementation
Babies and LLMs
blog.karliner.net·3d·
Discuss: Hacker News
🔠Type-Level Programming
I Once Appeared in The Old New Thing
mtlynch.io·1d·
Discuss: Hacker News
🛡️seL4
So you have your data, but how does it relate to the physical world?
blog.mapped.com·31m·
Discuss: Hacker News
👁️System Observability
Lobsters Interview with Susam
lobste.rs·3d·
Discuss: Lobsters
💾Retro Computing
Merging Physics-Based Synthetic Data and Machine Learning for Thermal Monitoring of Lithium-ion Batteries: The Role of Data Fidelity
arxiv.org·1d
🩹Self-Healing Systems
Human-AI Collaboration Increases Efficiency in Regulatory Writing
arxiv.org·1d
🤖Program Synthesis
The future of microoptimization
goldenstack.net·3d·
Discuss: Hacker News
🐫Embedded OCaml
Perfectly transparent boundary conditions and wave propagation in lattice Boltzmann schemes
arxiv.org·1d
🐫OCaml
Regaining control of my attention using large language models
garyzhuge.com·2d·
Discuss: Hacker News
🏹Effect Systems
Ask HN: The quiet demolition of self‑learned skill
news.ycombinator.com·2d·
Discuss: Hacker News
📚Automata Learning
GLAM: Geometry-Guided Local Alignment for Multi-View VLP in Mammography
arxiv.org·1d
📚Automata Learning
Discrimination by LLMs: Cross-lingual Bias Assessment and Mitigation in Decision-Making and Summarisation
arxiv.org·1d
📚Automata Learning