✓ Formal verification

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

Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
🔌Embedded
How the Lean language brings math to coding and coding to math
amazon.science·3h·
Discuss: Hacker News
🤝Using AI for programming
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🤖AI
Qwen3 Coder vs. Kimi K2 vs. Sonnet 4 Coding Comparison (Tested on Qwen CLI)
composio.dev·9h·
Discuss: r/LocalLLaMA
🤝Using AI for programming
Rod Burstall: In Memoriam
arxiv.org·4h·
Discuss: Lobsters
🔌Embedded
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·9h·
Discuss: Hacker News
🤝Using AI for programming
Who Am I in the Eye of AI?
lightcapai.medium.com·1d·
Discuss: Hacker News
🤖AI
Cybersecurity Instruction Tuned Model
huggingface.co·19h·
Discuss: Hacker News
🤖AI
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🔌Embedded
The hiring test that defeated AI
bitecode.dev·6h·
Discuss: Hacker News
🗃️Local databases
A New Concurrent ML in Guile Scheme
wingolog.org·13h·
Discuss: Hacker News
🔌Embedded
Fine-tuning with GPT-OSS and Hugging Face Transformers
cookbook.openai.com·2h·
Discuss: Hacker News
🤖AI
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d·
Discuss: Lobsters, Hacker News
🔌Embedded
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·20h·
Discuss: Hacker News
🤖AI
In Support Of Shitty Types
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
🤝Using AI for programming
How to build the #1 open source terminal-use agent
letta.com·3h·
Discuss: Hacker News
🤝Using AI for programming
Embracing the Model Context Protocol in practice: An engineering deep-dive
xpander.ai·35m·
Discuss: Hacker News
🤖AI
Pragmatism in Programming Proverbs
gingerbill.org·13h·
Discuss: Lobsters, Hacker News, r/programming
🤝Using AI for programming
Encapsulation Isn't Java's Fault (and Python Needs It Too)
lihil.cc·2h·
Discuss: Hacker News
🔌Embedded
How far can we push AI autonomy in code generation?
martinfowler.com·8h·
Discuss: Hacker News
🤖AI