✓ 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·6h·
Discuss: Hacker News
🤖AI
Assemblers in w64devkit, and other updates
nullprogram.com·12h·
Discuss: Hacker News
🔌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
Your Continuous Delivery Transformation Is Not Complete
maxdaten.io·1d·
Discuss: Hacker News
🤝Using AI for programming
Why Wall Street's AI Bet May Be Dead Wrong
investorplace.com·11h·
Discuss: Hacker News
🤖AI
HorizonDB, a geocoding engine in Rust that replaces Elasticsearch
radar.com·2d·
Discuss: Hacker News
🗃️Local databases
Writing a brand-new OS is almost impossible by now
blog.wellosoft.net·11h·
Discuss: Hacker News
🔌Embedded
The current state of LLM-driven development
blog.tolki.dev·1d·
Discuss: Hacker News
🤖AI
TIL about Cryptophasia, a phenomenon where a pair of twins develop a language only they can understand.
en.wikipedia.org·1d·
Discuss: Hacker News, r/todayilearned
🤝Using AI for programming
I've Been Using AI to Code for a Year. Here's What I Learned
buzzsprout.com·1d·
Discuss: Hacker News
🤝Using AI for programming
GPT-5 vs. Sonnet: Complex Agentic Coding
elite-ai-assisted-coding.dev·2d·
Discuss: Hacker News
🤝Using AI for programming
Vector Search Is Reaching Its Limit. Here’s What Comes Next
thenewstack.io·2d·
Discuss: Hacker News
🤖AI
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·5d·
Discuss: Hacker News
🤝Using AI for programming
Mishearings: Hacking a tiny ASR model to write Dadaist poetry
evanking.io·11h·
Discuss: Hacker News
🤝Using AI for programming
Moldable Development at Lifeware (micro tools for a 35M LOC system)
lepiter.io·4d·
Discuss: Hacker News
🤝Using AI for programming
Surprising, but Inevitable: Stories, Jokes, Puzzles, and Proofs
danfabulich.medium.com·1d·
Discuss: Hacker News
🤖AI
Letter of Credit Process for Small-Scale Contracting Using Smart Contracts
dergipark.org.tr·3d·
Discuss: Hacker News
🔌Embedded
How Does a Blind Model See the Earth?
outsidetext.substack.com·38m·
Discuss: Substack
🤖AI
What It’s Like to Brainstorm with a Bot
newyorker.com·1d·
Discuss: Hacker News
🤝Using AI for programming