✓ Formal verification

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

Isaac Newton's Alchemy
wpr.org·3d·
Discuss: Hacker News
🤖AI
Calling Their Bluff
anguscheng.com·2d·
Discuss: Hacker News
🗃️Local databases
Why Everyone's Obsessed with Steal a Brainrot
steal-a-brainrot.online·4d·
Discuss: Hacker News
🗃️Local databases
‘Ad Blocking is Not Piracy’ Decision Overturned By Top German Court
torrentfreak.com·3d·
Discuss: Hacker News, r/Piracy
🗃️Local databases
Careful Communication
blog.lyall.co·5d·
Discuss: Lobsters
🤝Using AI for programming
Family Farm Wins Historic Case After Feds Violate Constitution and Ruin Business
agweb.com·1d·
Discuss: Hacker News
🤝Using AI for programming
The Happiness Blueprint: Your 30-Page Guide to Joy and Calm
bookbitehub.gumroad.com·2h·
Discuss: Hacker News
🔌Embedded
The syslog-ng Insider 2025-08: HDFS; configuration; Prometheus
syslog-ng.com·3d·
Discuss: Hacker News
🔌Embedded
Powerful tools inside a single Chrome extension
superdevpro.com·4d·
Discuss: DEV, Hacker News, Hacker News
🔌Embedded
Drawing: The overlooked universal HCI primitive
notnotrishi.substack.com·3d·
Discuss: Substack
🤝Using AI for programming
How OpenAI Misled You on RLHF
aerial-toothpaste-34a.notion.site·6d·
Discuss: Hacker News, r/LocalLLaMA
🤖AI
"Why I Built an AI Terminal with Mermaid Themes (And Why Developer Tools Should Spark Joy) 🧜‍♀️"
rinawarptech.com·5d·
Discuss: DEV, Hacker News
🔌Embedded
HoverAir’s new floating Aqua drone can take off and land on water
theverge.com·22h
🤝Using AI for programming
How I went from New-Grad to Staff in 5 years in FAANG
thomaskaratzas.substack.com·2d·
Discuss: Substack
🤝Using AI for programming
Small devices can loft into mesosphere for climate sensing
seas.harvard.edu·1d·
Discuss: Hacker News
🔌Embedded
It Is Very Hard To Catch AWS On The Clouds
nextplatform.com·2d·
Discuss: Hacker News
🔌Embedded
AI Is Designing Bizarre New Physics Experiments That Actually Work
wired.com·5d·
Discuss: Hacker News, r/technews
🤖AI
When a Street Kills a Child, We Put the Parents on Trial
strongtowns.org·22h·
Discuss: Hacker News
🔌Embedded
Live experiment: can ChatGPT generate alpha trading micro‑caps with just $100?
github.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Raising multiple rounds of venture capital might be wrong for your startup
techcrunch.com·1d·
Discuss: Hacker News
🤖AI