✓ Formal verification

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

The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·1d·
Discuss: Hacker News
🤖AI
Flag this post
Japanese polygon theorem
johndcook.com·23h·
Discuss: Hacker News
🔌Embedded
Flag this post
Capacity Review: The AI Workflow Engine That Understands Vibe Coding (2025)
danielkliewer.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
High-speed and ultra-low-power superconductive neuron with ReLU activation
iopscience.iop.org·18h·
Discuss: Hacker News
🔌Embedded
Flag this post
Changing the AI narrative from liberation to acceleration
idratherbewriting.com·15h·
Discuss: Hacker News
🤖AI
Flag this post
A Decade of AI Platform at Pinterest
medium.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
Making Conway's Game of Life Playable
blog.unsupervision.com·10h·
Discuss: Hacker News
🤖AI
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
github.com·20h·
Discuss: Hacker News
🔌Embedded
Flag this post
Maestro – The orchestration engine that replicates human judgment
news.ycombinator.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
The Evolution from RAG to Agentic RAG to Agent Memory
leoniemonigatti.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
GEN-0: SoTA 10B+ Foundation Model for Robotics with Harmonic Reasoning
generalistai.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·1d·
Discuss: Hacker News
🗃️Local databases
Flag this post
When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug
mensfeld.pl·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
On Async Mutexes
matklad.github.io·2d·
Discuss: Lobsters, Hacker News
🔌Embedded
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Happy Eyeballs Version 3: Better Connectivity Using Concurrency
datatracker.ietf.org·6h·
Discuss: Hacker News
🔌Embedded
Flag this post
Ethics by Spinoza
gutenberg.org·19h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post