✓ 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
Show HN: Skate Moves – Spatial pro skating with real-time body tracking (~10ms)
spatialmagic.ai·2d·
Discuss: Hacker News
🗃️Local databases
Visual DOS 2024 Tech Preview
antijingoist.itch.io·2d·
Discuss: Hacker News
🤖AI
India's Got Time
indiadispatch.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Most air cleaning devices have not been tested on people − and little is known about their potential harms, new study finds
theconversation.com·1d·
Discuss: Hacker News
🔌Embedded
Show HN: Rocket Journal – voice-first AI journaling for your 2 AM thoughts
rocketjournal.app·2d·
Discuss: Hacker News
🤝Using AI for programming
Show HN: Upload financial data, get fast financial due diligence insights
provafi.com·1d·
Discuss: Hacker News
🤖AI
Who does your assistant serve?
xeiaso.net·4d·
Discuss: Lobsters, Hacker News, r/longform
🤖AI
'The Lord Is Counting on Me to Stand on the Side of Israel'
zeteo.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Trump confirms US is seeking 10% stake in Intel. Bernie Sanders approves.
arstechnica.com·23h·
Discuss: Hacker News
🔌Embedded
Fast, Private, and Secure (Pick Three): Introducing CRLite in Firefox
blog.mozilla.org·2d·
Discuss: Hacker News, Hacker News
🗃️Local databases
Met police’s facial recognition plans fall foul of European law, says watchdog
theguardian.com·1d·
Discuss: Hacker News
🔌Embedded
Live experiment: can ChatGPT generate alpha trading micro‑caps with just $100?
github.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Tidal Forces and Orbital Evolution of Habitable Zone Planets – Universe Today
universetoday.com·1d·
Discuss: Hacker News
🤖AI
Powerful and proactive: Pixel 10 phones are here
blog.google·1d·
Discuss: Hacker News
🤖AI
Commodore Amiga turns 40, headlines UK exhibition
theregister.com·2d·
Discuss: Hacker News
🔌Embedded
Zed fork focused on privacy and being local-first
github.com·22h·
Discuss: Hacker News
🔌Embedded
Beginner Question: Am I running LLMs unsafely?
reddit.com·5d·
Discuss: r/LocalLLaMA
🗃️Local databases
New Prompt Engineering Metaheuristic – (NoA) Network of Agents
github.com·5d·
Discuss: Hacker News, r/LocalLLaMA
🤖AI
LLM Benchmarks on Company Data
github.com·3d·
Discuss: Hacker News
🤖AI