✓ Formal verification

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

Quasibankruptcy
kaverennedy.substack.com·8h·
Discuss: Substack
🔌Embedded
Flag this post
X Unfollow Pro – Bulk Unfollow Tool – Optimize Twitter Feed Fast and Free
plugmonkey.xyz·12h·
Discuss: Hacker News
🗃️Local databases
Flag this post
Hacktivate: Capture the Flag
hacktivate.io·1d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Old Eight Eighty
newyorker.com·12h·
Discuss: Hacker News
🔌Embedded
Flag this post
Why Bcrypt Can Be Unsafe for Password Hashing?
blog.enamya.me·4d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Yansu – The Serious Coding Plaftorm
yansu.isoform.ai·4d·
Discuss: Hacker News
🤖AI
Flag this post
AI-powered nimbyism could grind UK planning system to a halt, experts warn
theguardian.com·20h·
Discuss: Hacker News
🤖AI
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
Show HN: Structa – Design databases in plain English with AI
trystructa.com·5d·
Discuss: DEV, Hacker News
🗃️Local databases
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
Continuous Autoregressive Language Models : Alternate for traditional LLMs, paper by Tencent
reddit.com·3d·
Discuss: r/LocalLLaMA
🤖AI
Flag this post
Why I stopped proofreading and started to listen
refp.se·2d·
Discuss: Hacker News
🤝Using AI for programming
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
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.medium.com·5d·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: I Vibe-Coded a TUI for AWS Logs Insights in Rust
github.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Towards Humanist Superintelligence
microsoft.ai·3d·
Discuss: Hacker News
🤖AI
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
gilesthomas.com·6d·
Discuss: Hacker News
🤖AI
Flag this post
The AI Village Where Top Chatbots Collaborate–and Compete
time.com·5d·
Discuss: Hacker News, r/technews
🤖AI
Flag this post