✓ Formal verification

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

Constrained Decoding for Diffusion LLMs
constrained-diffusion.ai·2d·
Discuss: r/LocalLLaMA
🤝Using AI for programming
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·2h·
Discuss: Lobsters, Hacker News
🔌Embedded
Custom slash commands in Claude Code
boliv.substack.com·6h·
Discuss: Substack
🤝Using AI for programming
The Baby Paradox in Haskell
blog.jle.im·2d·
Discuss: Lobsters, Hacker News
🔌Embedded
JavaScript lib for exchanging selective disclosure proofs
github.com·7h·
Discuss: Hacker News
🔌Embedded
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·21h·
Discuss: Hacker News
🤖AI
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·1d·
Discuss: Hacker News
🤝Using AI for programming
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·1d·
Discuss: Hacker News
🔌Embedded
Sapir-Whorf does not apply to Programming Languages
buttondown.com·2d·
Discuss: Hacker News
🤝Using AI for programming
WeakC4, or Distilling an Emergent Object
2swap.github.io·23h·
Discuss: Hacker News
🤖AI
Show HN: Novel GPT-2 sampling and memory architecture
github.com·14h·
Discuss: Hacker News
🔌Embedded
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🔌Embedded
Scheme Basics
courses.cs.washington.edu·1d·
Discuss: Hacker News, Hacker News
🔌Embedded
The Nickel Configuration Language
nickel-lang.org·6h·
Discuss: Hacker News
🔌Embedded
(Alpha Release 0.0.2) Asked Qwen-30b-a3b with Local Deep Think to design a SOTA inference algorithm | Comparison with Gemini 2.5 pro
reddit.com·22h·
Discuss: r/LocalLLaMA
🤖AI
Lobsters Interview with Matklad
lobste.rs·1d·
Discuss: Lobsters
🤝Using AI for programming
Fun OCaml 2025
fun-ocaml.com·7h·
Discuss: Hacker News
🤝Using AI for programming
Harper Evolves
elijahpotter.dev·3d·
Discuss: Hacker News, Hacker News, r/programming
🤖AI
Search-capable AI agents may cheat on benchmark tests
theregister.com·9h·
Discuss: Hacker News
🤖AI
too many model context protocol servers and LLM allocations on the dance floor
simonwillison.net·1d
🤝Using AI for programming