✓ 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
Show HN: Sysmodeler.ai – AI-native modeling for cars, aircraft, & space systems
sysmodeler.ai·4d·
Discuss: Hacker News
🤖AI
Freedesktop.org – Desktop Interoperability Standards
freedesktop.org·18h·
Discuss: Hacker News
🔌Embedded
Brutal freelance economics: respond fast or lose
distill.io·4h·
Discuss: Hacker News
🤝Using AI for programming
Colour Malarkey (2023)
retrorgb.com·19h·
Discuss: Lobsters, Hacker News
🔌Embedded
Letter of Credit Process for Small-Scale Contracting Using Smart Contracts
dergipark.org.tr·4d·
Discuss: Hacker News
🔌Embedded
HorizonDB, a geocoding engine in Rust that replaces Elasticsearch
radar.com·4d·
Discuss: Hacker News
🗃️Local databases
Arm Neural Technology Delivers Smarter, Sharper, More Efficient Mobile Graphics for Developers
newsroom.arm.com·2h·
Discuss: Hacker News, r/hardware
🤖AI
Lisa Su Runs AMD—and Is Out for Nvidia’s Blood
wired.com·5h·
Discuss: Hacker News, r/hardware
🤖AI
What It’s Like to Brainstorm with a Bot
newyorker.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Secure Boot and You
blog.elijahs.space·19h·
Discuss: Hacker News
🔌Embedded
Show HN: I built an offline, open‑source desktop Pixel Art Editor in Python
github.com·16h·
Discuss: Hacker News
🔌Embedded
Empowering Researchers, Developers and Students
medium.com·20h·
Discuss: Hacker News
🤖AI
Built a new VLM (MicroLlaVA) on a single NVIDIA 4090
reddit.com·1d·
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·21h·
Discuss: Hacker News
🤝Using AI for programming
My thoughts on gpt-oss-120b
reddit.com·3d·
Discuss: r/LocalLLaMA
🤖AI
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