✓ Formal verification

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

India moves to ban online real-money gaming including betting apps
hindustantimes.com·1d·
Discuss: Hacker News
🔌Embedded
Simple wearable calms Parkinson's symptoms
beechband.com·1d·
Discuss: Hacker News
🔌Embedded
Show HN: Skate Moves – Spatial pro skating with real-time body tracking (~10ms)
spatialmagic.ai·2d·
Discuss: Hacker News
🗃️Local databases
Buypass Terminates Issuance of GoSSL Certificates
community.buypass.com·3d·
Discuss: Hacker News
🤖AI
Working with Btrfs – Snapshots
fedoramagazine.org·1d·
Discuss: Hacker News
🗃️Local databases
ICE’s Official X Account Tags DOJ In Repost Of State Rep’s Clearly Protected Speech
techdirt.com·1d·
Discuss: Hacker News
🗃️Local databases
Who does your assistant serve?
xeiaso.net·4d·
Discuss: Lobsters, Hacker News, r/longform
🤖AI
Eye movement patterns reveal subtle signs of cognitive and memory decline
medicalxpress.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Fast, Private, and Secure (Pick Three): Introducing CRLite in Firefox
blog.mozilla.org·2d·
Discuss: Hacker News, Hacker News
🗃️Local databases
A hidden network handles chats for OnlyFans stars. AI could soon take over
restofworld.org·1d·
Discuss: Hacker News
🤝Using AI for programming
MoE optimization idea (VRAM/RAM)
preview.redd.it·4d·
Discuss: r/LocalLLaMA
🔌Embedded
87% of game developers are using AI agents in their workflows, says new survey
gamesindustry.biz·3d·
Discuss: Hacker News
🤝Using AI for programming
Life Skills to Teach Your Kid Before They Head Off to College
food52.com·2d·
Discuss: Hacker News
🗃️Local databases
Fitbit’s AI health coach is the first I might actually be interested in
theverge.com·1d
🤖AI
AI Is Designing Bizarre New Physics Experiments That Actually Work
wired.com·4d·
Discuss: Hacker News, r/technews
🤖AI
Commodore Amiga turns 40, headlines UK exhibition
theregister.com·2d·
Discuss: Hacker News
🔌Embedded
When a Street Kills a Child, We Put the Parents on Trial
strongtowns.org·3h·
Discuss: Hacker News
🔌Embedded
What Happens When an Entire Scientific Field Changes Its Mind
scientificamerican.com·2d·
Discuss: Hacker News, Hacker News
🤖AI
New Prompt Engineering Metaheuristic – (NoA) Network of Agents
github.com·5d·
Discuss: Hacker News, r/LocalLLaMA
🤖AI
Powerful and proactive: Pixel 10 phones are here
blog.google·1d·
Discuss: Hacker News
🤖AI