A Mental Model for C++ Coroutine
uvdn7.github.io·5h·
Discuss: Hacker News
🏹Effect Systems
Secure Your Keys with Keyand.me
thasso.xyz·14h·
Discuss: Hacker News
🛡️seL4
Automatically Discover, Record, and Document APIs With WireMock AI
wiremock.io·1d·
Discuss: r/programming
👁️System Observability
LLMs and Algorithmic Trading
architect.co·7h·
Discuss: Hacker News
🐫Embedded OCaml
SEO, Logorrhoea and the Rise of Sick AI
purpleorca.co.uk·14h·
Discuss: Hacker News
➡️Category Theory
Uni student accused of using AI in assignment fights to clear his name
abc.net.au·22h·
Discuss: Hacker News
🎮Verification Games
Show HN: Torsor- AI Assistants that generate documents for customers instantly
news.ycombinator.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Controlling Thinking Speed in Reasoning Models
arxiv.org·3d
🎮Verification Games
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·18h
🔍Formal Verification
Interleaving Logic and Counting
arxiv.org·3d
🎮Verification Games
Towards Unified Neurosymbolic Reasoning on Knowledge Graphs
arxiv.org·3d
🎮Verification Games
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.org·1d
🐫OCaml
Rationale-Enhanced Decoding for Multi-modal Chain-of-Thought
arxiv.org·18h
🔄Finite State Machines
DS@GT at CheckThat! 2025: Evaluating Context and Tokenization Strategies for Numerical Fact Verification
arxiv.org·2d
🎮Verification Games
Show HN: Vibe Kanban – Kanban board to manage your AI coding agents
github.com·7h·
Discuss: Hacker News
🤖Program Synthesis
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·15h·
Discuss: Substack
🔍Formal Verification
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
❄️Nix
Data-Star.dev – v1 and Beyond
data-star.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Machine Bullshit: Characterizing the Emergent Disregard for Truth in Large Language Models
arxiv.org·18h
🎮Verification Games