I built one of the fastest real-time transcription apps for Mac
paraspeech.com·13h·
Discuss: Hacker News
🍎Apple
Fixing my gripes with GitHub using Gleam and a Raspberry Pi
giacomocavalieri.me·2d·
Discuss: Lobsters, Hacker News
💎Refinement Types
I built an AI tool that converts invoices into clean Excel sheets
smartinvoice.tech·15h·
Discuss: Hacker News
🧠Automated Reasoning
The Business Consultant
quarter--mile.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Schlep Blindness (2012)
paulgraham.com·2d·
Discuss: Hacker News
🛡️seL4
Stop writing CLI validation. Parse it right the first time
hackers.pub·4d·
Discuss: Lobsters, Hacker News, r/programming, r/typescript
🛡️seL4
How Google dodged a major breakup – and why OpenAI is to thank for it
theguardian.com·1d·
Discuss: Hacker News
🍎Apple
AI will never be a shortcut to wisdom
bigthink.com·19h·
Discuss: Hacker News
📚Automata Learning
Is the LLM response wrong, or have you just failed to iterate it?
mikecaulfield.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
LifeGPT: Generative pretrained transformer model for cellular automata
nature.com·5d·
Discuss: Hacker News
📚Automata Learning
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Leveraging Generic Foundation Models for Multimodal Surgical Data Analysis
arxiv.org·2d
🧮Lambda Calculus
Spoken in Jest, Detected in Earnest: A Systematic Review of Sarcasm Recognition -- Multimodal Fusion, Challenges, and Future Prospects
arxiv.org·3d
🧩Parser Combinators
Emotionally-Aware Agents for Dispute Resolution
arxiv.org·3d
🧩Parser Combinators
PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control
arxiv.org·3d
🩹Self-Healing Systems
Stability Analysis for Stochastic Hybrid Inclusions
arxiv.org·3d
🩹Self-Healing Systems
Finetuning LLMs for Human Behavior Prediction in Social Science Experiments
arxiv.org·2d
📚Automata Learning
Can AI Make Energy Retrofit Decisions? An Evaluation of Large Language Models
arxiv.org·2d
📚Automata Learning
Focusing by Contrastive Attention: Enhancing VLMs' Visual Reasoning
arxiv.org·2d
📚Automata Learning
Flexible inference of learning rules from de novo learning data using neural networks
arxiv.org·3d
📚Automata Learning