✓ Formal verification

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

Molten-Salt Reactor
en.wikipedia.org·1h·
Discuss: Hacker News
🗃️Local databases
Flag this post
The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·2d·
Discuss: Hacker News
🤖AI
Flag this post
High-speed and ultra-low-power superconductive neuron with ReLU activation
iopscience.iop.org·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Ethics by Spinoza
gutenberg.org·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·3d·
Discuss: Lobsters, Hacker News
🔌Embedded
Flag this post
Show HN: Structa – Design databases in plain English with AI
trystructa.com·2d·
Discuss: DEV, Hacker News
🗃️Local databases
Flag this post
Octocode MCP – AI Researcher for Smart, Deep Multi-Repo Code Context
github.com·3d·
Discuss: Hacker News
🤖AI
Flag this post
original ↗
jamesoclaire.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Building an Accessible Before/After Slider in React
jsdev.space·1h·
Discuss: Hacker News
🔌Embedded
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug
mensfeld.pl·2d·
Discuss: Lobsters, Hacker News
🔌Embedded
Flag this post
DynamoDB outage analysis and asking experts for timelines
buttondown.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Ray Security – Predictive Data Security Platform
raysecurity.io·14h·
Discuss: Hacker News
🤖AI
Flag this post
The Collapse of Centralized AI Discovery
aivojournal.org·3d·
Discuss: Hacker News
🤖AI
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
github.com·1d·
Discuss: Hacker News, Hacker News
🤖AI
Flag this post
Open Source Context-Aware PII Classifier
corp.roblox.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
The Paradox of a Principled Machine
artificiallyintelligentspace.substack.com·2d·
Discuss: Substack
🤖AI
Flag this post
See What AI Wrote
ia.net·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
I love AI; I hate AI
ewanvalentine.co.uk·13h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post