✓ Formal verification

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

I gave the police access to my DNA—and maybe some of yours
technologyreview.com·4d·
Discuss: Hacker News
🗃️Local databases
All my favorite books have maps
attainablefelicity.mattkirkland.com·3d·
Discuss: Hacker News
🗃️Local databases
Duke's Corner is a forum for conversations with Java developers
dukescorner.libsyn.com·6d·
Discuss: Hacker News
🤝Using AI for programming
Thinking in Multiple Domains
minimal-reflections.pages.dev·5d·
Discuss: Hacker News
🤝Using AI for programming
Orwell in the Gutter
robkhenderson.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Senior, 76, died while trying to meet Meta AI chatbot which he thought was real
nypost.com·6d·
Discuss: Hacker News
🤖AI
Show HN: Embeddable customer facing analytics – MIT licensed
try.drizzle-cube.dev·5d·
Discuss: Hacker News
🔌Embedded
Cursor doesn't work for data teams
thenewaiorder.substack.com·6d·
Discuss: Substack
🤝Using AI for programming
Static Sites with Python, uv, Caddy, and Docker
nkantar.com·6d·
Discuss: Hacker News
🔌Embedded
Solar car teams chase ‘dreams of a more sustainable future’ in gruelling 3,000km race across Australian outback
theguardian.com·2d·
Discuss: Hacker News
🤝Using AI for programming
A Marvelous Footnote in Tech History: The Mindset Computer and the Vyper Game
blisscast.wordpress.com·4d·
Discuss: Hacker News
🔌Embedded
How to stop feeling lost in tech: the wafflehouse method
yacinemahdid.com·5d·
Discuss: Hacker News
🗃️Local databases
Practical Recommendations on Stretching Exercise
sciencedirect.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Deeply divided Supreme Court lets NIH grant terminations continue
arstechnica.com·4d·
Discuss: Hacker News
🔌Embedded
Israel’s attack on hospital in Gaza may constitute a war crime on many fronts
theguardian.com·22h·
Discuss: Hacker News
🗃️Local databases
In a first, Google has released data on how much energy an AI prompt uses
technologyreview.com·5d·
Discuss: Hacker News, r/technews
🤖AI
Non-Consensual Technology
blog.erlend.sh·3d·
Discuss: Hacker News
🤖AI
Wired Got Rolled by an AI Freelancer
wired.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Fast or slow metabolisms are not a "lie"
greyenlightenment.com·1d·
Discuss: Hacker News
🗃️Local databases
The Aneurothymia Spectrum: Divergent Formation of Neurodevelopment
cristinagherghel.substack.com·4d·
Discuss: Substack
🤝Using AI for programming