✓ Formal verification

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

Quasibankruptcy
kaverennedy.substack.com·5h·
Discuss: Substack
🔌Embedded
Flag this post
The Portmanteau Strategy
turtlespace.blog·3h·
Discuss: Hacker News
🤖AI
Flag this post
X Unfollow Pro – Bulk Unfollow Tool – Optimize Twitter Feed Fast and Free
plugmonkey.xyz·9h·
Discuss: Hacker News
🗃️Local databases
Flag this post
Hacktivate: Capture the Flag
hacktivate.io·1d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Why Bcrypt Can Be Unsafe for Password Hashing?
blog.enamya.me·4d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Sam Altman served with subpoena during live talk with Steve Kerr
tribune.com.pk·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Complexity fills the space it's given
wilsoniumite.com·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
Show HN: Structa – Design databases in plain English with AI
trystructa.com·5d·
Discuss: DEV, Hacker News
🗃️Local databases
Flag this post
How Nuclear Reactors Work
asbuilt.pub·10h·
Discuss: Hacker News
🔌Embedded
Flag this post
When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug
mensfeld.pl·5d·
Discuss: Lobsters, Hacker News
🔌Embedded
Flag this post
Open Source Context-Aware PII Classifier
corp.roblox.com·5d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
I love AI; I hate AI
ewanvalentine.co.uk·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
original ↗
jamesoclaire.com·4d·
Discuss: Hacker News
🤖AI
Flag this post
A Powerful Tool to Override Constitutional Rights Goes to Court
nytimes.com·1d·
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
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·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
Why I stopped proofreading and started to listen
refp.se·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.medium.com·5d·
Discuss: Hacker News
🤖AI
Flag this post