✓ Formal verification

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

86% of PCR-Positive "Covid Cases" Were Not Real Infections
thefocalpoints.com·6h·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: VitalLens 2.0 – A new SOTA rPPG model for HRV estimation from video
rouast.com·3h·
Discuss: Hacker News
🤖AI
Flag this post
Why Bcrypt Can Be Unsafe for Password Hashing?
blog.enamya.me·3d·
Discuss: Hacker News
🗃️Local databases
Flag this post
What Leaders Carry
nikrad.io·1d·
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·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
A 500-million-year-old brain "radar" still shapes how you see
sciencedaily.com·9h·
Discuss: Hacker News
🤖AI
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·5d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Making Conway's Game of Life Playable
blog.unsupervision.com·3d·
Discuss: Hacker News, r/programming
🤖AI
Flag this post
GEN-0: SoTA 10B+ Foundation Model for Robotics with Harmonic Reasoning
generalistai.com·4d·
Discuss: Hacker News
🤖AI
Flag this post
A File Format Uncracked for 20 Years
landaire.net·2d·
Discuss: Lobsters, Hacker News, Hacker News
🗃️Local databases
Flag this post
Show HN: OpenHealth – AI health platform with RAG over 38M medical papers
news.ycombinator.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·5d·
Discuss: Hacker News
🔌Embedded
Flag this post
The worst way to use AI for your productivity
codiris.build·1d·
Discuss: Hacker News
🤖AI
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
github.com·3d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Text-to-Speech (TTS) models & Tools for 8GB VRAM?
reddit.com·2d·
Discuss: r/LocalLLaMA
🗃️Local databases
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·4d·
Discuss: Hacker News
🔌Embedded
Flag this post
Changing the AI narrative from liberation to acceleration
idratherbewriting.com·3d·
Discuss: Hacker News
🤖AI
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·5d·
Discuss: Lobsters, Hacker News
🔌Embedded
Flag this post
Is AI bringing application observability and behavior tracking together?
rudderstack.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.org·4d·
Discuss: Hacker News
🤖AI
Flag this post