✓ Formal verification

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

Why Bcrypt Can Be Unsafe for Password Hashing?
blog.enamya.me·1d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Yansu – The Serious Coding Plaftorm
yansu.isoform.ai·1d·
Discuss: Hacker News
🤖AI
Flag this post
Building an Accessible Before/After Slider in React
jsdev.space·14h·
Discuss: Hacker News
🔌Embedded
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·4d·
Discuss: Hacker News
🔌Embedded
Flag this post
Code research projects with async coding agents like Claude Code and Codex
simonwillison.net·1d·
Discuss: Lobsters, Hacker News
🤝Using AI for programming
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
One-Second Voice-to-Voice Latency with Modal, Pipecat, and Open Models
modal.com·3d·
Discuss: Hacker News, r/LocalLLaMA
🤝Using AI for programming
Flag this post
GEN-0: SoTA 10B+ Foundation Model for Robotics with Harmonic Reasoning
generalistai.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
A File Format Uncracked for 20 Years
landaire.net·1d·
Discuss: Lobsters, Hacker News, Hacker News
🗃️Local databases
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.org·3d·
Discuss: Hacker News
🤖AI
Flag this post
AI's capabilities may be exaggerated by flawed tests, according to new study
nbcnews.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·4d·
Discuss: Hacker News
🔌Embedded
Flag this post
Masked Softmax Layers in PyTorch
mcognetta.github.io·4d·
Discuss: Hacker News
🔌Embedded
Flag this post
Show HN: I'm giving Claude Sonnet 4.5 for free to those who need it with ads
news.ycombinator.com·1h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
The worst way to use AI for your productivity
codiris.build·3h·
Discuss: Hacker News
🤖AI
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
github.com·1d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·3d·
Discuss: Hacker News
🗃️Local databases
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·4d·
Discuss: Lobsters, Hacker News
🔌Embedded
Flag this post
Show HN: Structa – Design databases in plain English with AI
trystructa.com·3d·
Discuss: DEV, Hacker News
🗃️Local databases
Flag this post