✓ Formal verification

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

Hacking Toniebox
20y.hu·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·4d·
Discuss: Lobsters
🤝Using AI for programming
[Outliers] John Bragg: The Unknown Billionaire Who Controls Half the World’s Blueberries
fs.blog·1d·
Discuss: Hacker News
🔌Embedded
Dividing line: The past, present and future of the 100th Meridian (2018)
earthmagazine.org·1d·
Discuss: Hacker News
🤖AI
Kremlin-backed Max messenger to be pre-installed on all Russian smartphones
cnn.com·20h·
Discuss: Hacker News
🗃️Local databases
Fungal inoculation increases the bioavailability of zinc and iron in wheat grain
nph.onlinelibrary.wiley.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Rod Stewart – Those Who Create for Money
medium.com·4h·
Discuss: Hacker News
🤝Using AI for programming
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
The Grand Ballroom Theory of Literature
countercraft.substack.com·3d·
Discuss: Substack
🤖AI
How Does the US Use Water?
construction-physics.com·1d·
Discuss: Hacker News
🔌Embedded
HoverAir’s new floating Aqua drone can take off and land on water
theverge.com·21h
🤝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
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·21h·
Discuss: Hacker News
🔌Embedded