✓ Formal verification

type theory, model checking, temporal logic, computational logic, theorem provers, SMT solvers, SAT solvers

MCP Prompts: Building Workflow Automation
blog.modelcontextprotocol.io·6h·
Discuss: Hacker News
🤖AI
Project Ire autonomously identifies malware at scale
microsoft.com·6h·
Discuss: Hacker News
🤖AI
OpenAI's new open weight (Apache 2) models are really good
simonwillison.net·1h·
Discuss: Hacker News
🔌Embedded
Understanding Stack Traces in Elixir
blog.appsignal.com·11h·
Discuss: Hacker News
🤝Using AI for programming
Show HN: Elf0 – Build and run AI agent workflows in YAML (CLI)
elf0.com·5h·
Discuss: Hacker News
🤝Using AI for programming
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·1d·
Discuss: Hacker News
🔌Embedded
Living with LLMs
matiasklemola.com·12h·
Discuss: Hacker News
🤖AI
Part 1: A Deep Dive into Rust and C Memory Interoperability
notashes.me·1d·
Discuss: Hacker News, r/programming
🔌Embedded
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·5d·
Discuss: Hacker News
🤖AI
original ↗
dotat.at·1d·
Discuss: Lobsters, Hacker News, r/programming
🔌Embedded
Building Testable Telegram Bots with Zustand
zwit.link·1d·
Discuss: Hacker News
🤖AI
A Library Approach to Constant Template Parameters
brevzin.github.io·3d·
Discuss: Hacker News, r/cpp
🔌Embedded
My Interview with Claude Code
mattlangston.com·1d·
Discuss: Hacker News
🤝Using AI for programming
ECMA-262, 16th edition, June 2025
262.ecma-international.org·2d·
Discuss: Hacker News
🤖AI
Paralegal: Practical Static Analysis for Privacy Bugs
cs.brown.edu·1d·
Discuss: Hacker News
🔌Embedded
Introducing AI Grounding with Brave Search API, providing enhanced search performance in AI applications
brave.com·22h·
Discuss: Hacker News
🤖AI
Unsupervised Model Improvement via Internal Coherence Maximization
huggingface.co·2d·
Discuss: Hacker News
🤖AI
What Is a Belief (Part 2: Language, Truth, and Logic)
neonomos.substack.com·2d·
Discuss: Substack
🔌Embedded
LLMs as Context Synthesizers: Why Direct Instructions Don't Work
corewood.io·1d·
Discuss: Hacker News
🤖AI
Show HN: Code Index MCP – Codebase Indexing Server for LLMs
github.com·16h·
Discuss: Hacker News
🤖AI