Orbit Optima: All-in-one Braille laptop computer
orbitresearch.com·2d·
Discuss: Hacker News
💾Retro Computing
Hunting a Memory Leak
dolthub.com·4d·
Discuss: Hacker News
👁️System Observability
About 30% of Humanity's Last Exam chemistry/biology answers are likely wrong
futurehouse.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Gren 25S: Easier interop, concurrent tasks and zero-install packages
gren-lang.org·6d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Linux Budgie Desktop: A Perfect Blend of Aesthetics and Power
thenewstack.io·1d
💾Retro Computing
Recursively self improving AI might not work without these functions
secondsight.dev·5d·
Discuss: Hacker News
🤖Program Synthesis
Determinism
theprogrammersparadox.blogspot.com·2d·
Discuss: theprogrammersparadox.blogspot.com, Hacker News
💻CS
Algos and Code Performance: Your Code Works but Can It Handle Real Traffic?
beon.tech·4d·
Discuss: Hacker News
👁️System Observability
API tests as the single source of truth for docs, SDKs, and AI agents
scheduleddowntime.com·5d·
Discuss: Hacker News
🔄Reproducible Builds
Benchmarking Retrieval-Augmented Generation (RAG) Systems
amirkabbara.substack.com·4d·
Discuss: Substack
🛡️seL4
Contextualizing ancient texts with generative neural networks
nature.com·4d·
Discuss: Hacker News
🎮Verification Games
AI as Profoundly Abnormal Technology
blog.ai-futures.org·4d·
Discuss: Hacker News
🔄Finite State Machines
Trump's AI Action Plan is a blueprint for dystopia
bloodinthemachine.com·1d·
Discuss: Hacker News
🤖Program Synthesis
How AI Is Reshaping the Way We Build Software
jasonmperry.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Toward Inclusive AI-Driven Development: Exploring Gender Differences in Code Generation Tool Interactions
arxiv.org·6d
🤖Program Synthesis
If I got a NAS what brand
reddit.com·9h·
Discuss: r/homelab
🏠HomeLab
Scavenger Malware Distributed via ESLint-Config-Prettier NPM Package Hack
invokere.com·6d·
Discuss: Hacker News
📦Unikernel Systems
Collaborative Distillation Strategies for Parameter-Efficient Language Model Deployment
arxiv.org·6d
🔠Type-Level Programming
Show HN: WTMF Beta – Your AI bestie that understand
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
Uncertainty-Aware Knowledge Transformers for Peer-to-Peer Energy Trading with Multi-Agent Reinforcement Learning
arxiv.org·5d
✓Automated Theorem Proving