Show HN: Mathpad, a hardware keypad for typing math symbols (24 hours left)
crowdsupply.com·1d·
Discuss: Hacker News
💾Retro Computing
Network Switch Reverse Engineering
fohdeesha.com·55m·
Discuss: Hacker News
📡Network Protocol Design
Can Your Team Pass the Elevator Test? (2007)
blog.codinghorror.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·1d·
Discuss: Hacker News
💾Retro Computing
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·23h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·2d·
Discuss: Substack
🎮Verification Games
Characterizing Fitness Landscape Structures in Prompt Engineering
arxiv.org·2d
🤖Program Synthesis
A Fragile Number Sense: Probing the Elemental Limits of Numerical Reasoning in LLMs
arxiv.org·2d
📚Automata Learning
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·2d·
Discuss: r/programming
💎Refinement Types
IO is special
blog.ploeh.dk·3d·
Discuss: Lobsters
💎Refinement Types
From Modular to Utility-First tailwind migration
auslake.vercel.app·2d·
Discuss: r/programming
🔄Reproducible Builds
Human-Hardware-in-the-Loop simulations for systemic resilience assessment in cyber-socio-technical systems
arxiv.org·2d
🩹Self-Healing Systems
Merge-of-Thought Distillation
arxiv.org·16h
📝Term Rewriting
Reverse Engineering a Robot Mower’s Fence
hackaday.com·18h
🩹Self-Healing Systems
Building Conscious* AI: An Illusionist Case
lesswrong.com·2h
🧠Automated Reasoning
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·3d·
Discuss: Substack
🤖Program Synthesis
Show HN: Forked styled-components with optimizations (40% faster for Linear)
github.com·3h·
Discuss: Hacker News
💎Refinement Types
Accelerating Reinforcement Learning Algorithms Convergence using Pre-trained Large Language Models as Tutors With Advice Reusing
arxiv.org·16h
📚Automata Learning
Q-SafeML: Safety Assessment of Quantum Machine Learning via Quantum Distance Metrics
arxiv.org·3d
✅Model Checking