✓ 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·3h·
Discuss: Hacker News
🤖AI
Logic and Creativity
hakon.gylterud.net·8h·
Discuss: Hacker News
🤝Using AI for programming
Why Wall Street's AI Bet May Be Dead Wrong
investorplace.com·8h·
Discuss: Hacker News
🤖AI
What even is distributed systems
notes.eatonphil.com·1d·
Discuss: Lobsters, Hacker News
🔌Embedded
Rendering 120k+ Entities
mobcitygame.com·51m·
Discuss: Hacker News
🤖AI
All you need to know about Tokenization in LLMs
medium.com·15h·
Discuss: Hacker News
🤖AI
Counting Leading Zeros in a Byte
nemanjatrifunovic.substack.com·5h·
Discuss: Substack
🔌Embedded
Real-World Success Stories Where GraphRAG Beats Standard RAG
memgraph.com·3d·
Discuss: Hacker News
🤖AI
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·5d·
Discuss: Lobsters, Hacker News
🔌Embedded
Scientists build an 'evolution engine' to rapidly reprogram proteins
phys.org·2d·
Discuss: Hacker News
🤖AI
Show HN: I analyzed why my post got 0 votes and built this
hn-gems.sensem.de·6h·
Discuss: Hacker News
🤖AI
My brief overview of Cangjie Programming Language by Huawei
codeabbey.com·3d·
Discuss: Hacker News, r/programming
🤝Using AI for programming
Do they even test this?
mariadb.org·2d·
Discuss: Hacker News
🤖AI
Show HN: Sysmodeler.ai – AI-native modeling for cars, aircraft, & space systems
sysmodeler.ai·2d·
Discuss: Hacker News
🤖AI
Omakase Computing
manuals.omamix.org·8h·
Discuss: Hacker News
🤝Using AI for programming
GPT-5 Pushes Vibe Coding Beyond My Wildest Dreams
parkerortolani.blog·5h·
Discuss: Hacker News
🤝Using AI for programming
The Generativity Pattern in Rust
arhan.sh·6d·
Discuss: Lobsters, Hacker News, r/programming
🔌Embedded
Exploring AI Memory Architectures (Part 3): From Prototype to Blueprint
blog.lqhl.me·1d·
Discuss: Hacker News
🤖AI
Show HN: Alternative to Htmx and Alpine.js
hmpl-lang.dev·1d·
Discuss: Hacker News
🤝Using AI for programming
HorizonDB, a geocoding engine in Rust that replaces Elasticsearch
radar.com·2d·
Discuss: Hacker News
🗃️Local databases