Fixing my gripes with GitHub using Gleam and a Raspberry Pi
giacomocavalieri.me·2d·
Discuss: Lobsters, Hacker News
💎Refinement Types
Claude Code Anonymous
steipete.me·1d·
Discuss: Hacker News
🔧Unikernel Development
Ten Years of D3D12
therealmjp.github.io·2d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
💾Retro Computing
I built an AI tool that converts invoices into clean Excel sheets
smartinvoice.tech·4h·
Discuss: Hacker News
🧠Automated Reasoning
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·8h·
Discuss: Hacker News
📚Automata Learning
We Ship ML Algorithms to Prod Without Rewrites (Or ML Engineers)
shlep.ai·3d·
Discuss: Hacker News
💎Refinement Types
Show HN: Claude Context but local – semantic code search without API keys
github.com·3d·
Discuss: Hacker News, r/ClaudeAI, r/LocalLLaMA
🔧Unikernel Development
Beyond Vibe Coding: A practical guide to AI-assisted development
beyond.addy.ie·4d·
Discuss: Hacker News
🤖Program Synthesis
INCPrompt: Task-Aware incremental Prompting for Rehearsal-Free Class-incremental Learning
arxiv.org·6d
📚Automata Learning
SePA: A Search-enhanced Predictive Agent for Personalized Health Coaching
arxiv.org·2d
🩹Self-Healing Systems
VILOD: A Visual Interactive Labeling Tool for Object Detection
arxiv.org·1d
📐Denotational Semantics
DuoCLR: Dual-Surrogate Contrastive Learning for Skeleton-based Human Action Segmentation
arxiv.org·1d
📚Automata Learning
How Can You Tell if You've Instilled a False Belief in Your LLM?
lesswrong.com·4d
✓Automated Theorem Proving
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Paper2Agent: Reimagining Research Papers As Interactive and Reliable AI Agents
arxiv.org·1d
✓Automated Theorem Proving
Leveraging Generic Foundation Models for Multimodal Surgical Data Analysis
arxiv.org·1d
🧮Lambda Calculus
Spoken in Jest, Detected in Earnest: A Systematic Review of Sarcasm Recognition -- Multimodal Fusion, Challenges, and Future Prospects
arxiv.org·2d
🧩Parser Combinators
PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control
arxiv.org·2d
🩹Self-Healing Systems