✓ Formal verification

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

How Capacitor Works
ionic.io·22h·
Discuss: Hacker News
🔌Embedded
Flag this post
Space DJ: Navigating a Musical Universe
magenta.withgoogle.com·2d·
Discuss: Hacker News, Hacker News
🤝Using AI for programming
Flag this post
Molten-Salt Reactor
en.wikipedia.org·2d·
Discuss: Hacker News
🗃️Local databases
Flag this post
The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·4d·
Discuss: Hacker News
🤖AI
Flag this post
A Detailed M&A Journey Selling My Company
thefoundersmanual.beehiiv.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
QuackStack
quackstack.siddharththakkar.xyz·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Ethics by Spinoza
gutenberg.org·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Building an Accessible Before/After Slider in React
jsdev.space·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
See What AI Wrote
ia.net·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Approval Exhaustion of AI
medium.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Continuous Autoregressive Language Models : Alternate for traditional LLMs, paper by Tencent
reddit.com·2d·
Discuss: r/LocalLLaMA
🤖AI
Flag this post
Why I stopped proofreading and started to listen
refp.se·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·5d·
Discuss: Hacker News
🔌Embedded
Flag this post
Towards Humanist Superintelligence
microsoft.ai·2d·
Discuss: Hacker News
🤖AI
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
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
RPT-1: SAP Launches a Relational Foundation Model for the Enterprise
thenewstack.io·4d·
Discuss: Hacker News
🤖AI
Flag this post
The AI Village Where Top Chatbots Collaborate–and Compete
time.com·4d·
Discuss: Hacker News, r/technews
🤖AI
Flag this post