✓ Formal verification

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

Ask HD: How should the UK Post Office problem be solved?
bbc.co.uk·15h·
Discuss: Hacker News
🔌Embedded
Flag this post
Ready for Post-Quantum Cryptography TLS?
qcready.com·4d·
Discuss: Hacker News
🔌Embedded
Flag this post
Analog of Heron’s formula on a sphere
johndcook.com·2d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Reshape and Reprint: The Potential of a 3D Solid Knitting Machine
innouvators.com·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
ChatGPT is running a social experiment it cannot control
unherd.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
A study finds that flagging misinformation on social media reduces engagement.The researchers estimated that after a note was attached to a post, it resulted, o...
news.yale.edu·1d·
Discuss: Hacker News
🤖AI
Flag this post
The hidden trust problem in API formats
apichangelog.substack.com·3d·
Discuss: Substack
🤖AI
Flag this post
Building our geospatial database in production
radar.com·6d·
Discuss: Hacker News
🗃️Local databases
Flag this post
UK minister unveils plan to cut animal testing through greater use of AI
theguardian.com·8h·
Discuss: Hacker News
🤖AI
Flag this post
Increased Coronary Artery Plaque Volume Among Male Marathon Runners
pmc.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
🗃️Local databases
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·6d·
Discuss: Hacker News
🔌Embedded
Flag this post
EvolutionaryScale Acquired by CZI
biohub.org·4d·
Discuss: Hacker News
🤖AI
Flag this post
At COP30 in Belém, Brazil, Chinese Technology Is Shifting Climate Politics
nytimes.com·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Introducing Nested Learning: A new ML paradigm for continual learning
research.google·4d·
Discuss: Hacker News
🤖AI
Flag this post
A Middle Layer for Offloading JVM-Based SQL Engines' Execution to Native Engines
github.com·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
AI-generated ransomware extension found on Visual Studio Marketplace
scworld.com·21h·
Discuss: Hacker News
🤖AI
Flag this post
Pint: Python library that makes units easy
github.com·5d·
Discuss: Hacker News
🔌Embedded
Flag this post
Samsung brings a generative AI-powered Bixby to its TVs
theverge.com·5h
🤖AI
Flag this post
Great, now even malware is using LLMs to rewrite its code, says Google, as it documents new phase of 'AI abuse'
pcgamer.com·5d·
Discuss: Hacker News, r/technews
🤖AI
Flag this post
GTIG AI Threat Tracker: Advances in Threat Actor Usage of AI Tools
cloud.google.com·6d·
Discuss: Hacker News, Hacker News
🤖AI
Flag this post