✓ Formal verification

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

Validation of a Mobile App for Remote Autism Screening in Toddlers
acamh.org·1d·
Discuss: Hacker News
🤖AI
Lithium Deficiency and Alzheimer's Disease
science.org·14h·
Discuss: Hacker News
🗃️Local databases
Colour Malarkey (2023)
retrorgb.com·13h·
Discuss: Lobsters, Hacker News
🔌Embedded
Surprising, but Inevitable: Stories, Jokes, Puzzles, and Proofs
danfabulich.medium.com·2d·
Discuss: Hacker News
🤖AI
Letter of Credit Process for Small-Scale Contracting Using Smart Contracts
dergipark.org.tr·4d·
Discuss: Hacker News
🔌Embedded
What It’s Like to Brainstorm with a Bot
newyorker.com·2d·
Discuss: Hacker News
🤝Using AI for programming
LLM chat that survives bad Wi-Fi
github.com·7h·
Discuss: Hacker News
🗃️Local databases
Your Continuous Delivery Transformation Is Not Complete
maxdaten.io·2d·
Discuss: Hacker News
🤝Using AI for programming
GPT-OSS was only sorta trained at MXFP4
reddit.com·1d·
Discuss: r/LocalLLaMA
🔌Embedded
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·6d·
Discuss: Hacker News
🔌Embedded
Secure Boot and You
blog.elijahs.space·13h·
Discuss: Hacker News
🔌Embedded
Empowering Researchers, Developers and Students
medium.com·14h·
Discuss: Hacker News
🤖AI
My thoughts on gpt-oss-120b
reddit.com·2d·
Discuss: r/LocalLLaMA
🤖AI
An AI Native Dependency Manager
github.com·1d·
Discuss: Hacker News
🤖AI
Show HN: "I Svelte That", a Book by Claude Code
github.com·15h·
Discuss: Hacker News
🤝Using AI for programming
A personal take: LLMs are stuck, but local might win?
reddit.com·2d·
Discuss: r/LocalLLaMA
🤖AI
Philosophy of Information
plato.stanford.edu·3d·
Discuss: Hacker News
🤖AI
Show HN: Creating a Binary Puzzle Game
taengo.vercel.app·4d·
Discuss: Hacker News
🔌Embedded
Notion CEO Ivan Zhao wants you to demand better from your tools
theverge.com·18h
🤝Using AI for programming
Show HN: I spent 40 hours vibe coding after 40 years of traditional programming
marcobenedetti.substack.com·4d·
Discuss: Substack
🤝Using AI for programming