✓ Formal verification

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

The Peptide Craze
erictopol.substack.com·10h·
Discuss: Substack
🤝Using AI for programming
Flag this post
Lightstep is shutting down March 1, 2026
docs.lightstep.com·12h·
Discuss: Hacker News
🔌Embedded
Flag this post
The Power of Limit Thinking
asimov.press·16h·
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
I Use Typst Now
christopherbiscardi.com·7h·
Discuss: Lobsters, Hacker News
🗃️Local databases
Flag this post
Ray Security – Predictive Data Security Platform
raysecurity.io·17h·
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
Japanese polygon theorem
johndcook.com·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Building Browser-Native Presentations with Scittle
clojurecivitas.github.io·3d·
Discuss: Hacker News
🗃️Local databases
Flag this post
The Paradox of a Principled Machine
artificiallyintelligentspace.substack.com·2d·
Discuss: Substack
🤖AI
Flag this post
I love AI; I hate AI
ewanvalentine.co.uk·16h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Beyond Standard LLMs
magazine.sebastianraschka.com·2d·
Discuss: Hacker News, r/LLM
🤖AI
Flag this post
Hybrid-Attention models are the future for SLMs
inference.net·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
Approval Exhaustion of AI
medium.com·17h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Continuous Autoregressive Language Models : Alternate for traditional LLMs, paper by Tencent
reddit.com·19h·
Discuss: r/LocalLLaMA
🤖AI
Flag this post
Ripple – the elegant TypeScript UI framework
github.com·13h·
Discuss: Hacker News
🤖AI
Flag this post
Towards Humanist Superintelligence
microsoft.ai·18h·
Discuss: Hacker News
🤖AI
Flag this post
The Death of the Demo
lielvilla.com·1d·
Discuss: Hacker News
🤖AI
Flag this post