✓ 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
Nukes, Nubs and Coners: The Unique Social Hierarchy Aboard a Nuclear Submarine
twz.com·12h·
Discuss: Hacker News
🤝Using AI for programming
Lithium Deficiency and Alzheimer's Disease
science.org·6h·
Discuss: Hacker News
🗃️Local databases
Show HN: Sysmodeler.ai – AI-native modeling for cars, aircraft, & space systems
sysmodeler.ai·3d·
Discuss: Hacker News
🤖AI
Freedesktop.org – Desktop Interoperability Standards
freedesktop.org·4h·
Discuss: Hacker News
🔌Embedded
Show HN: Alternative to Htmx and Alpine.js
hmpl-lang.dev·2d·
Discuss: Hacker News
🤝Using AI for programming
Colour Malarkey (2023)
retrorgb.com·5h·
Discuss: Lobsters, Hacker News
🔌Embedded
HorizonDB, a geocoding engine in Rust that replaces Elasticsearch
radar.com·3d·
Discuss: Hacker News
🗃️Local databases
Letter of Credit Process for Small-Scale Contracting Using Smart Contracts
dergipark.org.tr·4d·
Discuss: Hacker News
🔌Embedded
How Does a Blind Model See the Earth?
outsidetext.substack.com·20h·
Discuss: Substack
🤖AI
GitHub Code Search is the real MVP
fzakaria.com·7h·
Discuss: Hacker News
🤝Using AI for programming
The Pink Elephant Problem: Why "Don't Do That" Fails with LLMs
eval.16x.engineer·3d·
Discuss: Hacker News
🤝Using AI for programming
Logic and Creativity
hakon.gylterud.net·1d·
Discuss: Hacker News
🤝Using AI for programming
"Getting a Little Rusty" – A guide for vibe coders who need to read Rust
github.com·6h·
Discuss: Hacker News
🤝Using AI for programming
What It’s Like to Brainstorm with a Bot
newyorker.com·2d·
Discuss: Hacker News
🤝Using AI for programming
GPT-OSS was only sorta trained at MXFP4
reddit.com·20h·
Discuss: r/LocalLLaMA
🔌Embedded
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·5d·
Discuss: Hacker News
🔌Embedded
Secure Boot and You
blog.elijahs.space·5h·
Discuss: Hacker News
🔌Embedded
Empowering Researchers, Developers and Students
medium.com·6h·
Discuss: Hacker News
🤖AI
My thoughts on gpt-oss-120b
reddit.com·2d·
Discuss: r/LocalLLaMA
🤖AI