Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Models
arxiv.org·21h
🎙️Whisper
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·11h·
Discuss: Hacker News
⚡Proof Automation
FLINT: Fast Library for Number Theory
flintlib.org·7h
🧮Algebraic Datatypes
Automated Semantic Disambiguation via Multi-Modal Knowledge Graph Fusion
dev.to·1d·
Discuss: DEV
📋Document Grammar
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·14h
🤝Paxos Consensus
Deep Think with Confidence
arxiviq.substack.com·1d·
Discuss: Substack
💻Local LLMs
5 Tiny Phrases Every Engineer Should Use With AI
read.highgrowthengineer.com·1d
⚡Proof Automation
Song recommendations with F# free monads
blog.ploeh.dk·18h
🔗Functional Compilers
The Lobster Programming Language
strlen.com·5h·
Discuss: Hacker News
🔗Concatenative Programming
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·3h
🎯Performance Proofs
Systematic LLM Prompt Engineering Using DSPy Optimization
towardsdatascience.com·8h
⚡Proof Automation
AI-First Platform Engineering: 3 Signals From PlatformCon
thenewstack.io·7h
🏠Homelab Orchestration
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·11h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·15h·
Discuss: DEV
🔗Constraint Handling
Claude Code's 19 cent Parser
blogger.com·12h
🔧Binary Parsers
Sets & Heaps in Haskell and Rust
mmhaskell.com·17h
🔒Type Safety
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Notes on Autograd
aschrein.github.io·6h·
Discuss: Hacker News
⚡Incremental Computation
Sound and Solution-Complete CCBS
arxiv.org·21h
🛡️Archive Verification
OpenAI: Building the "Everything Platform" in AI
leoniscap.com·6h·
Discuss: Hacker News
🤖AI Curation