✓ Formal verification

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

What a $100k salary comes to after taxes in your state
dontmesswithtaxes.com·3h·
Discuss: Hacker News
🗃️Local databases
Show HN: Addressgen.top – A Greate Random Address Generator
addressgen.top·3d·
Discuss: Hacker News
🗃️Local databases
Number of Americans using alcohol lowest ever recorded
news.gallup.com·1d·
Discuss: Hacker News
🗃️Local databases
USB Device Identifier – Identify USB Devices in the Browser (VID/PID and WebUSB)
nodeloop.org·13h·
Discuss: Hacker News
🔌Embedded
Whistleblower Alleges Meta Artificially Boosted Shops Ads Performance
adweek.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Mountain Duck 5
blog.cyberduck.io·1d·
Discuss: Hacker News
🗃️Local databases
Microsoft confirms “context-aware” AI features for Windows 11 as future, skips Windows 12 mention
windowslatest.com·3d·
Discuss: Hacker News
🤝Using AI for programming
FEMA Now Requires Disaster Victims to Have an Email Address
wired.com·2d·
Discuss: Hacker News, r/TrueReddit
🤖AI
AI is about to radically alter military command structures that haven’t changed much since Napoleon’s army
theconversation.com·4d·
Discuss: Hacker News
🤖AI
We Thought DNA Ran Our Lives until We Discovered RNA Is in Charge
scientificamerican.com·3d·
Discuss: Hacker News
🤝Using AI for programming
AI-generated responses are undermining crowdsourced research studies
newscientist.com·3d·
Discuss: Hacker News
🤖AI
Announcing the Cloudflare Browser Developer Program
blog.cloudflare.com·4d·
Discuss: Hacker News
🤖AI
Why developers question everything
timharek.no·3d·
Discuss: Lobsters, Hacker News
🤖AI
Turns Out Research Tax Breaks Alone Can't Conjure Developers
forbes.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Amazon Q Developer: Secrets Leaked via DNS and Prompt Injection
embracethered.com·4d·
Discuss: Hacker News
🤖AI
Misago is fully featured modern forum that is fast/scalable/responsive
github.com·3d·
Discuss: Hacker News
🤖AI
Another Earth-Like Exoplanet Off the List: JWST Shows GJ 3929B Has No Atmosphere
universetoday.com·12h·
Discuss: Hacker News
🤝Using AI for programming
FBI: Russian spies exploit 7yo Cisco bug to slurp critical infrastructure config
theregister.com·2d·
Discuss: Hacker News
🔌Embedded
What if AI Doesn’t Get Much Better Than This?
calnewport.com·4d·
Discuss: Hacker News
🤖AI
Farm of Tesla V100 - Any experience on best SOTA models that will work on these?
reddit.com·5d·
Discuss: r/LocalLLaMA
🔌Embedded