Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·15h
📞Session Types
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·43m·
Discuss: Hacker News
⬌Bidirectional Typing
[Help] ProArt X670E-Creator - IOMMU groups for dual passthrough? (pre-purchase)
reddit.com·11h·
Discuss: r/homelab
🖥Home Lab Setup
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·3h·
Discuss: Hacker News
🛡️Error Boundaries
The Linus Method: How we simiplifed RFC reviews
devashish.me·6h·
Discuss: Hacker News
⚙️Proof Engineering
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·4h·
Discuss: Hacker News
🔗Concatenative Programming
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·19h
🔲Cellular Automata
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·19h
🔗Graph Isomorphism
Quantum-Aware Federated Learning for Open QaaS Platform Validation
dev.to·1d·
Discuss: DEV
⚛️Quantum Compilers
Slip – A Lisp System in JavaScript
lisperator.net·9h·
Discuss: Hacker News
🔗Lisp
New HuggingFace LeRobot plugin hardware drivers
huggingface.co·1d·
Discuss: Hacker News
🤖Tape Automation
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·19h
🧠Machine Learning
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·1h·
Discuss: Hacker News
🎯Performance Proofs
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·4d
🔧Hardware Verification
All in on MatMul? Don’t Put All Your Tensors in One Basket!
sigarch.org·2d·
Discuss: Hacker News, r/programming
⚡Homebrew CPUs
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·6h·
Discuss: Hacker News
📐Linear Algebra
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·2d·
Discuss: Hacker News
🧬Functional Programming
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·19h
🧮Theorem Proving
SEPhIA: <1 laser/neuron Spiking Electro-Photonic Integrated Multi-Tiled Architecture for Scalable Optical Neuromorphic Computing
arxiv.org·19h
🌈Holographic Storage
[P] Lossless compression for 1D CNNs
reddit.com·12h·
Discuss: r/MachineLearning
📊Quantization