✓ Formal verification

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

Up and Then Down (2014)
newyorker.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·4d·
Discuss: Hacker News
🤖AI
Flag this post
Cartolina: 3D Terrain Cartography for the Web
cartolina.dev·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
An Intellectual Crucible: Steven Machat's School of Sacred Knowledge
stevenmachat.substack.com·7h·
Discuss: Substack
🤝Using AI for programming
Flag this post
Ethics by Spinoza
gutenberg.org·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Japanese polygon theorem
johndcook.com·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.medium.com·4d·
Discuss: Hacker News
🤖AI
Flag this post
The Death of the Demo
lielvilla.com·3d·
Discuss: Hacker News
🤖AI
Flag this post
See What AI Wrote
ia.net·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
gilesthomas.com·5d·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: I Vibe-Coded a TUI for AWS Logs Insights in Rust
github.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
The AI Village Where Top Chatbots Collaborate–and Compete
time.com·4d·
Discuss: Hacker News, r/technews
🤖AI
Flag this post
Text-to-Speech (TTS) models & Tools for 8GB VRAM?
reddit.com·2d·
Discuss: r/LocalLLaMA
🗃️Local databases
Flag this post
RPT-1: SAP Launches a Relational Foundation Model for the Enterprise
thenewstack.io·4d·
Discuss: Hacker News
🤖AI
Flag this post
Voxel Grid Visibility
cod.ifies.com·4d·
Discuss: Hacker News, r/programming
🤝Using AI for programming
Flag this post
The Paradox of a Principled Machine
artificiallyintelligentspace.substack.com·4d·
Discuss: Substack
🤖AI
Flag this post
Beyond ChatGPT: The Silent Birth of Conscious AI
news.ycombinator.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
The Chatbot Delusions: Is AI Contributing to a Novel Mental Health Crisis?
bloomberg.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Field notes from making a living without writing a line of code
ag404labs.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post