✓ Formal verification

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

Sam Altman served with subpoena during live talk with Steve Kerr
tribune.com.pk·7h·
Discuss: Hacker News
🔌Embedded
Flag this post
Why Bcrypt Can Be Unsafe for Password Hashing?
blog.enamya.me·2d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Avalonia Partners with Google's Flutter Team to Bring Impeller Rendering to .NET
avaloniaui.net·11h·
Discuss: Hacker News
🔌Embedded
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·5d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·4d·
Discuss: Hacker News
🔌Embedded
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·1d·
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
Happy Eyeballs Version 3: Better Connectivity Using Concurrency
datatracker.ietf.org·2d·
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
Show HN: I'm giving Claude Sonnet 4.5 for free to those who need it with ads
news.ycombinator.com·11h·
Discuss: Hacker News
🤝Using AI for programming
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·13h·
Discuss: Hacker News
🤖AI
Flag this post
Changing the AI narrative from liberation to acceleration
idratherbewriting.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
github.com·2d·
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
Fix: externalizing network I/O in serverless computing
arxiv.org·4d·
Discuss: Hacker News
🔌Embedded
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·4d·
Discuss: Lobsters, Hacker News
🔌Embedded
Flag this post