Show HN: Mathpad, a hardware keypad for typing math symbols (24 hours left)
crowdsupply.com·15h·
Discuss: Hacker News
💾Retro Computing
Show HN: SigNull – a to-do app that separates Signal from Noise
signull.app·13h·
Discuss: Hacker News
🍎Apple
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Teaching AI Stepwise Diagnostic Reasoning with Report-Guided Chain-of-Thought Learning
arxiv.org·2d
📚Automata Learning
Just Enough Automation
bevel.work·22h·
Discuss: Hacker News
🤖Program Synthesis
You're a Slow Thinker. Now What?
chillphysicsenjoyer.substack.com·12h·
Discuss: Substack
🧠Automated Reasoning
Rich Answered That
gist.github.com·1d·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Improving state machine code generation
trifectatech.org·2d·
Discuss: r/rust
🐫Embedded OCaml
Eat Your Vegetables Before AI Dessert
writings.alethia.news·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities
arxiv.org·2d
🩹Self-Healing Systems
Monitoring Claude Code with OpenTelemetry
signoz.io·21h·
Discuss: Hacker News
👁️System Observability
Billion-Line Days Demand Billion-Test Nights
momentic.ai·1d·
Discuss: Hacker News
🤖Program Synthesis
False Confidence
theaiunderwriter.substack.com·2d·
Discuss: Substack
📚Automata Learning
Rewriting Dataframes for MicroHaskell
mchav.github.io·3d·
Discuss: Hacker News
🧮Lambda Calculus
Shape Checking for Annotated Tensor Names
github.com·12h·
Discuss: Hacker News
🐫OCaml
Creating larger projects with LLM (as a coder)
medium.com·1h·
Discuss: Hacker News
🛡️seL4
Benchmarking Large Language Models for Personalized Guidance in AI-Enhanced Learning
arxiv.org·2d
📚Automata Learning
MachineLearningLM: Continued Pretraining Language Models on Millions of Synthetic Tabular Prediction Tasks Scales In-Context ML
arxiv.org·2d
📚Automata Learning
Belzebub.ai: AI Deception Platform
beelzebub.ai·1d·
Discuss: Hacker News
🖥Self-Hosting
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.org·2d
🐫OCaml