Show HN: Mathpad, a hardware keypad for typing math symbols (24 hours left)
crowdsupply.com·3d·
Discuss: Hacker News
💾Retro Computing
Lessons from Hidden Satoshi Gold Book on Crypto and AI
satoshigoldbook.com·3d·
Discuss: Hacker News
🧮Lambda Calculus
Fenwick layout for interval trees
purplesyringa.moe·4d·
Discuss: Lobsters, Hacker News, r/programming
🔄Finite State Machines
Why Account Linking Should Be Pivotal in Your CIAM SSO
discovery.cevolution.co.uk·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
You're a Slow Thinker. Now What?
chillphysicsenjoyer.substack.com·3d·
Discuss: Substack
✓Automated Theorem Proving
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·5d·
Discuss: Hacker News
🧮Lambda Calculus
The 100MHz 6502
e-basteln.de·2d·
Discuss: Hacker News
💾Retro Computing
Making AI Agents Feel Instant (Even When They're Not)
slavoglinsky.com·3d·
Discuss: Hacker News
👁️System Observability
OpenAI Lays Out The Principles Of Global-Scale Computing
nextplatform.com·3d·
Discuss: Hacker News
📦Unikernel Systems
HybridPetya: More proof that Secure Boot bypasses are not just an urban legend
theregister.com·1d·
Discuss: Hacker News
🔬Unikernels
Stop Building Super Agents; Build Effective AI Teams Instead
thenewstack.io·2d
🩹Self-Healing Systems
Five Steps to Build AI Agents that Actually Deliver Business Results
thenewstack.io·3d
🩹Self-Healing Systems
Greener Deep Reinforcement Learning: Analysis of Energy and Carbon Efficiency Across Atari Benchmarks
arxiv.org·6d
📚Automata Learning
Computational Cognitive Modeling to understand the effects of Racializing AI on Human-AI cooperation with PigChase Task
arxiv.org·6d
🏹Effect Systems
New parametric CAD BREP kernel attempt
github.com·4d·
Discuss: Hacker News
🐫OCaml
From Vision to Validation: A Theory- and Data-Driven Construction of a GCC-Specific AI Adoption Index
arxiv.org·5d
🤖Program Synthesis
Personalized Sleep Prediction via Deep Adaptive Spatiotemporal Modeling and Sparse Data
arxiv.org·2d
📊Runtime Verification
An Interpretable Deep Learning Model for General Insurance Pricing
arxiv.org·3d
🧩Parser Combinators
The Ethical Compass of the Machine: Evaluating Large Language Models for Decision Support in Construction Project Management
arxiv.org·6d
🧠Automated Reasoning
Serialized Output Prompting for Large Language Model-based Multi-Talker Speech Recognition
arxiv.org·6d
📚Automata Learning