✓ Formal verification

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

Testing LLM Responses: A Fast, Cost-Effective Alternative to LLM-as-Judge
joywrites.dev·14h·
Discuss: Hacker News
🤖AI
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·1d·
Discuss: Hacker News
🔌Embedded
Show HN: Structured Cooperation – A new way of building distributed apps & POC
github.com·4h·
Discuss: Hacker News
🔌Embedded
I Generated 1 Billion Tokens (So You Don't Have To): Introducing ReasonScape
reddit.com·2d·
Discuss: r/LocalLLaMA
🤖AI
The Rubik's Cube Perfect Scramble
solutionslookingforproblems.com·1d·
Discuss: Lobsters, Hacker News
🔌Embedded
cchistory: Tracking Claude Code System Prompt and Tool Changes
mariozechner.at·19h·
Discuss: Lobsters, Hacker News
🤝Using AI for programming
AI Thinking, Fast and Slow
danmu.nz·21h·
Discuss: Hacker News
🤖AI
AI at IMO 2025: a round-up
xenaproject.wordpress.com·19h·
Discuss: Hacker News
🤝Using AI for programming
The Art of Multiprocessor Programming 2nd Edition Book Club
eatonphil.com·1d·
Discuss: Hacker News
🤝Using AI for programming
DoubleAgents: Fine-tuning LLMs for Covert Malicious Tool Calls
medium.com·1d·
Discuss: r/LocalLLaMA
🤖AI
Claude Code and shipping stuff to prod
boliv.substack.com·10h·
Discuss: Substack
🤝Using AI for programming
Revolutionary ECC-256 Key Recovery via Quantum Collapse Algorithm
quantumtopology.substack.com·3d·
Discuss: Substack
🔌Embedded
Why LLMs Struggle with Text-to-SQL
selectstar.com·2d·
Discuss: Hacker News
🤖AI
Demystify OpenAI Triton (2023)
fkong.tech·23h·
Discuss: Hacker News
🔌Embedded
Task-based returns to generative AI: Evidence from a central bank
cepr.org·4h·
Discuss: Hacker News
🤖AI
Step3
stepfun.ai·2d·
Discuss: Hacker News
🤖AI
Limits and Strengths of LLMs in Engineering
blog.kierangill.xyz·3h·
Discuss: Hacker News
🤝Using AI for programming
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·1d·
Discuss: Hacker News
🔌Embedded
Symbol-Level Editing
sysprogs.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Using LLM Embeddings to Normalize User Data
matthodges.com·1d·
Discuss: Hacker News
🤖AI