✓ 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·8h·
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
Yansu – The Serious Coding Plaftorm
yansu.isoform.ai·3d·
Discuss: Hacker News
🤖AI
Flag this post
A 500-million-year-old brain "radar" still shapes how you see
sciencedaily.com·12h·
Discuss: Hacker News
🤖AI
Flag this post
Complexity fills the space it's given
wilsoniumite.com·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Show HN: Structa – Design databases in plain English with AI
trystructa.com·4d·
Discuss: DEV, Hacker News
🗃️Local databases
Flag this post
Is AI bringing application observability and behavior tracking together?
rudderstack.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·5d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Who Wrote That Headline? Maybe a Robot.
nytimes.com·1d·
Discuss: Hacker News, Hacker News
🤖AI
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.org·4d·
Discuss: Hacker News
🤖AI
Flag this post
DynamoDB outage analysis and asking experts for timelines
buttondown.com·3d·
Discuss: Hacker News
🤖AI
Flag this post
The Collapse of Centralized AI Discovery
aivojournal.org·5d·
Discuss: Hacker News
🤖AI
Flag this post
Mastodon 4.5
simonwillison.net·1d
🗃️Local databases
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·4d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Open Source Context-Aware PII Classifier
corp.roblox.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Octocode MCP – AI Researcher for Smart, Deep Multi-Repo Code Context
github.com·5d·
Discuss: Hacker News
🤖AI
Flag this post
I love AI; I hate AI
ewanvalentine.co.uk·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·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·3d·
Discuss: Hacker News, Hacker News
🤖AI
Flag this post
Most Data Breach Checking websites only scan Emails
news.ycombinator.com·8h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post