✓ Formal verification

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

The Legal Legacy of FTC's Victory Stopping the Kroger-Albertsons Merger (2024)
economicpopulist.substack.com·3d·
Discuss: Substack
🔌Embedded
External graphics dock?
dell.com·4d·
Discuss: r/LocalLLaMA
🔌Embedded
Show HN: A newsletter for developers-turned-founders
nezhynska.com·4d·
Discuss: Hacker News
🤖AI
Advancing Lunar Habitats with Thermoelectric Power Generation – Universe Today
universetoday.com·2d·
Discuss: Hacker News
🗃️Local databases
Qwen3 might be censored, but it is also brutally honest about it if that's what you ask for
reddit.com·5d·
Discuss: r/LocalLLaMA
🔌Embedded
"To Catch a Predator" Chris Hansen Throws Spotlight on Roblox
forbes.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Steve Mann: My "Augmediated" Life: 35 years wearing computerized eyewear (2013)
spectrum.ieee.org·5d·
Discuss: Hacker News
🤝Using AI for programming
What makes a good software engineer?
sanitarium.se·6d·
Discuss: Hacker News
🤝Using AI for programming
The UK government embracing AI? I'm sorry, that's nonsense and I can prove it
theguardian.com·3d·
Discuss: Hacker News
🤖AI
Ask HN: Where to Hire JavaScript Devs?
news.ycombinator.com·6d·
Discuss: Hacker News
🤝Using AI for programming
coding off the grid with a Mac?
reddit.com·4d·
Discuss: r/LocalLLaMA
🤝Using AI for programming
AI, layoffs, productivity and The Klarna Effect
garymarcus.substack.com·4d·
Discuss: Substack
🤝Using AI for programming
Wearmouse (Android Wear)
github.com·2d·
Discuss: Hacker News
🗃️Local databases
White House announces chipmaker Intel to give US Government 10% stake
bbc.com·5d·
Discuss: Hacker News, Hacker News, r/hardware
🔌Embedded
Google Is Already Using The Future AI Network You Might Get In 2028
nextplatform.com·6d·
Discuss: Hacker News, r/hardware
🔌Embedded
What’s on your desk, Dominic Preston?
theverge.com·4d
🗃️Local databases
Nitro: A tiny but flexible init system and process supervisor
git.vuxu.org·5d·
Discuss: Lobsters, Hacker News
🔌Embedded
Skylight’s TikTok alternative adds community curators to the mix
techcrunch.com·1d·
Discuss: Hacker News
🤖AI
Apple Revokes EU Distribution Rights for an App on the Alt Store
torrentfreak.com·11h·
Discuss: Hacker News, r/Piracy, r/technews
🗃️Local databases
A recipe for creating random fractals
johndcook.com·6d·
Discuss: Hacker News
🔌Embedded