✓ Formal verification

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

Readable Code Is Unreadable
blog.wilsonb.com·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·20h·
Discuss: Hacker News
🤖AI
Flag this post
Decreasing code editing failures by 38% with output normalization
blog.sweep.dev·15h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
parallel.ai·14h·
Discuss: Hacker News
🤖AI
Flag this post
Lessons from Implementing RAG in 2025
truestate.io·38m·
Discuss: Hacker News
🤖AI
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·1d·
Discuss: Substack
🔌Embedded
Flag this post
A Claude Code Command for Hypothesis
hypothesis.works·14h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
The Same Feature That Makes a Component Powerful Can Also Make It Dangerous
blog.zast.ai·18h·
Discuss: Hacker News
🔌Embedded
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·2d·
Discuss: Substack
🤝Using AI for programming
Flag this post
Low-Level Hacks
blog.raycursive.com·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
inkeep.com·11h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Choosing the best AI coding agent for Bitrise
bitrise.io·11h·
Discuss: Hacker News
🤖AI
Flag this post
How LLMs Cheat: Modifying Tests and Overloading Operators
enbao.me·1d·
Discuss: Hacker News
🤖AI
Flag this post
Petri Dish Neural Cellular Automata
pub.sakana.ai·8h·
Discuss: Hacker News
🤖AI
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
How to get a character from a codepoint in Spark SQL
prequel.co·18h·
Discuss: Hacker News
🗃️Local databases
Flag this post
The Exhaust Port of Cohesion: Precision Provocation in LLMs
blog.gopenai.com·17h·
Discuss: Hacker News
🤖AI
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·2d·
Discuss: Hacker News
🔌Embedded
Flag this post