✓ Formal verification

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

China's Genocide and the Eliticide of Uyghur Scholars
thediplomat.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Stop Chasing Sleep Scores. Enhancing the Restorative Function of Sleep
affectablesleep.com·2d·
Discuss: Hacker News
🗃️Local databases
A late night obsession turned into a SaaS
poyashad.com·1d·
Discuss: Hacker News
🤖AI
Arabic Font Justification
research.reading.ac.uk·2d·
Discuss: Hacker News
🤝Using AI for programming
Creating the OG Xbox Boot Sound: Using oldschool audio tech in a modern console
gamesoundcon.com·1d·
Discuss: Hacker News
🔌Embedded
For $15, anyone can dig up diamonds in this Arkansas state park
arstechnica.com·2d·
Discuss: Hacker News
🔌Embedded
More than 2.8m people in US identify as trans, including 724,000 youth, data shows
theguardian.com·1d·
Discuss: Hacker News
🗃️Local databases
Show HN: Textideo – Generate short AI videos from text prompts
textideo.com·1d·
Discuss: Hacker News
🤖AI
Natural Property Rights: A Volokh Conspiracy Preview
reason.com·3d·
Discuss: Hacker News
🤖AI
A Linux alternative? Debian/Hurd shows microkernel Unix dream is alive
theregister.com·3d·
Discuss: Hacker News
🔌Embedded
Nuclear fusion gets a boost from a controversial debunked experiment
newscientist.com·22h·
Discuss: Hacker News
🤝Using AI for programming
GPT-5: The Reverse DeepSeek Moment
thezvi.substack.com·3d·
Discuss: Substack
🤖AI
Ask HN: How do you differentiate good development advice from dogma?
news.ycombinator.com·2d·
Discuss: Hacker News
🤖AI
Highlights from Git 2.51
github.blog·2d·
Discuss: Lobsters, Hacker News
🗃️Local databases
The ‘shadow AI economy’ is booming: Workers at 90% of companies say they use chatbots, but most of them are hiding it from IT
fortune.com·2d·
Discuss: Hacker News
🤖AI
Meta’s First ‘Real’ Smart Glasses Have One Huge Problem
gizmodo.com·1d·
Discuss: Hacker News
🗃️Local databases
How Harry Potter Fans Are Driving the Romantasy Trend
nytimes.com·22h·
Discuss: Hacker News
🤝Using AI for programming
I built a tool to chat with research papers using LangGraph and RAPTOR
github.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Ask HN: How do you get your devs to understand your customers?
news.ycombinator.com·1d·
Discuss: Hacker News
🤖AI
Bring AI to your formulas with the new COPILOT function in Excel
techcommunity.microsoft.com·2d·
Discuss: Hacker News
🤝Using AI for programming