✓ Formal verification

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

Here’s how orbital dynamics wizardry helped save NASA’s next Mars mission
arstechnica.com·21h·
Discuss: Hacker News, r/space
🤝Using AI for programming
Flag this post
Show HN: VitalLens 2.0 – A new SOTA rPPG model for HRV estimation from video
rouast.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
What Leaders Carry
nikrad.io·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Avalonia Partners with Google's Flutter Team to Bring Impeller Rendering to .NET
avaloniaui.net·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Music collection metadata, lyrics and device sync
rewiring.bearblog.dev·1d·
Discuss: Hacker News
🗃️Local databases
Flag this post
A 500-million-year-old brain "radar" still shapes how you see
sciencedaily.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Making Conway's Game of Life Playable
blog.unsupervision.com·4d·
Discuss: Hacker News, r/programming
🤖AI
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·6d·
Discuss: Hacker News
🔌Embedded
Flag this post
The funhouse mirror factory: How social media distorts perceptions of norms
sciencedirect.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
How Nuclear Reactors Work
asbuilt.pub·18h·
Discuss: Hacker News
🔌Embedded
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·6d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
github.com·4d·
Discuss: Hacker News, Hacker News
🤖AI
Flag this post
Most Data Breach Checking websites only scan Emails
news.ycombinator.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Building Browser-Native Presentations with Scittle
clojurecivitas.github.io·6d·
Discuss: Hacker News
🗃️Local databases
Flag this post
I love AI; I hate AI
ewanvalentine.co.uk·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
A Powerful Tool to Override Constitutional Rights Goes to Court
nytimes.com·2d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Show HN: Trying to Help Fellow Red Team Operators
github.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
Hybrid-Attention models are the future for SLMs
inference.net·6d·
Discuss: Hacker News
🔌Embedded
Flag this post
Approval Exhaustion of AI
medium.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Continuous Autoregressive Language Models : Alternate for traditional LLMs, paper by Tencent
reddit.com·3d·
Discuss: r/LocalLLaMA
🤖AI
Flag this post