✓ Formal verification

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

How to Become an Entry Level Birder
stumpedbynature.com·16h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Characterizing the American Upper Paleolithic
science.org·2d·
Discuss: Hacker News
🤖AI
Flag this post
5 Scenarios to keep the Netherlands dry (2022)
watersnoodmuseum.nl·1d·
Discuss: Hacker News
🤖AI
Flag this post
BriskBard 4.7 Released
briskbard.com·23h·
Discuss: Hacker News
🗃️Local databases
Flag this post
The R47: A new physical RPN calculator released today in 2025
swissmicros.com·4d·
Discuss: Hacker News
🔌Embedded
Flag this post
US Companies Shed Jobs in Late October, Weekly ADP Data Show
bloomberg.com·6h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
What Is a "Why"
whyinstitute.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
AI Anki Generator
ai-anki.top·3d·
Discuss: Hacker News
🤖AI
Flag this post
Voters' anger at high electricity bills and data centers looms
apnews.com·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Palantir CEO on "The Axios Show"
axios.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Storybook 10
storybook.js.org·5d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
dbeaver/dbeaver
github.com·3d
🗃️Local databases
Flag this post
"The Book We All Need " by Claude Code Sonnet 4.5
github.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
AiDHD: Reflecting on 6 Months Vibing
josh.ing·4d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
CEF.AI is hiring for AI Innovator position in SF
join.com·6d·
Discuss: Hacker News
🤖AI
Flag this post
What people mean when they say "I hate AI"
derenrich.medium.com·5d·
Discuss: Hacker News
🤖AI
Flag this post
Understanding multi GPU Parallelism paradigms
datta0.github.io·6d·
Discuss: Hacker News
🔌Embedded
Flag this post
Being too nice online is a dead giveaway for AI bots, study suggests
arstechnica.com·3d·
Discuss: Hacker News
🤖AI
Flag this post
Being bilingual delays ageing, but being multilingual is better – study
rnz.co.nz·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Sparse Attention MoE - a test repo for a novel swappable attention mechanism
github.com·4d·
Discuss: r/LocalLLaMA
🤖AI
Flag this post