✓ 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·2d·
Discuss: Hacker News
🗃️Local databases
Flag this post
What Leaders Carry
nikrad.io·19h·
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·5h·
Discuss: Hacker News
🔌Embedded
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Making Conway's Game of Life Playable
blog.unsupervision.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·4d·
Discuss: Hacker News
🔌Embedded
Flag this post
Show HN: I am building TypeScript ERP/CRM framework – MIT license
github.com·13h·
Discuss: Hacker News
🤖AI
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
GEN-0: SoTA 10B+ Foundation Model for Robotics with Harmonic Reasoning
generalistai.com·3d·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: Lakekeeper – a fast, lightweight Iceberg REST catalog in Rust
github.com·18h·
Discuss: Hacker News
🔌Embedded
Flag this post
A File Format Uncracked for 20 Years
landaire.net·1d·
Discuss: Lobsters, Hacker News, Hacker News
🗃️Local databases
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·3d·
Discuss: Hacker News
🗃️Local databases
Flag this post
The Evolution from RAG to Agentic RAG to Agent Memory
leoniemonigatti.com·3d·
Discuss: Hacker News
🤖AI
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
Show HN: I'm giving Claude Sonnet 4.5 for free to those who need it with ads
news.ycombinator.com·5h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·4d·
Discuss: Hacker News
🔌Embedded
Flag this post
Changing the AI narrative from liberation to acceleration
idratherbewriting.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
Complexity fills the space it's given
wilsoniumite.com·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
The worst way to use AI for your productivity
codiris.build·8h·
Discuss: Hacker News
🤖AI
Flag this post