✓ Formal verification

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

How Capacitor Works
ionic.io·20h·
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
Yansu – The Serious Coding Plaftorm
yansu.isoform.ai·3d·
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
Sam Altman served with subpoena during live talk with Steve Kerr
tribune.com.pk·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Building an Accessible Before/After Slider in React
jsdev.space·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
QuackStack
quackstack.siddharththakkar.xyz·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Masked Softmax Layers in PyTorch
mcognetta.github.io·5d·
Discuss: Hacker News
🔌Embedded
Flag this post
When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug
mensfeld.pl·4d·
Discuss: Lobsters, Hacker News
🔌Embedded
Flag this post
See What AI Wrote
ia.net·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Open Source Context-Aware PII Classifier
corp.roblox.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Building Browser-Native Presentations with Scittle
clojurecivitas.github.io·5d·
Discuss: Hacker News
🗃️Local databases
Flag this post
I love AI; I hate AI
ewanvalentine.co.uk·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
original ↗
jamesoclaire.com·3d·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: Trying to Help Fellow Red Team Operators
github.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Beyond Standard LLMs
magazine.sebastianraschka.com·4d·
Discuss: Hacker News, r/LLM
🤖AI
Flag this post
Hybrid-Attention models are the future for SLMs
inference.net·5d·
Discuss: Hacker News
🔌Embedded
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