✓ 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·22h·
Discuss: Hacker News
🗃️Local databases
Flag this post
RPT-1: SAP Launches a Relational Foundation Model for the Enterprise
thenewstack.io·2d·
Discuss: Hacker News
🤖AI
Flag this post
Yansu – The Serious Coding Plaftorm
yansu.isoform.ai·1d·
Discuss: Hacker News
🤖AI
Flag this post
QuackStack
quackstack.siddharththakkar.xyz·19h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Complexity fills the space it's given
wilsoniumite.com·11h·
Discuss: Hacker News
🔌Embedded
Flag this post
Changing the AI narrative from liberation to acceleration
idratherbewriting.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Speedrunning an RL Environment
sidb.in·5d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Stainless Docs Platform — Early Access
stainless.com·1h·
Discuss: Hacker News
🗃️Local databases
Flag this post
Making Conway's Game of Life Playable
blog.unsupervision.com·19h·
Discuss: Hacker News
🤖AI
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
Text-to-Speech (TTS) models & Tools for 8GB VRAM?
reddit.com·8h·
Discuss: r/LocalLLaMA
🗃️Local databases
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
github.com·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
The Evolution from RAG to Agentic RAG to Agent Memory
leoniemonigatti.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
Code research projects with async coding agents like Claude Code and Codex
simonwillison.net·4h·
Discuss: Lobsters, Hacker News
🤝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·3h·
Discuss: Lobsters, Hacker News
🗃️Local databases
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·2d·
Discuss: Hacker News
🗃️Local databases
Flag this post
AI's capabilities may be exaggerated by flawed tests, according to new study
nbcnews.com·4h·
Discuss: Hacker News
🤖AI
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·2d·
Discuss: Hacker News
🔌Embedded
Flag this post