✓ Formal verification

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

Dynasties, Selection, and Talent Allocation Among Classical Composers
papers.ssrn.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Boomer knows best? Not so fast, say millennial parents
theglobeandmail.com·2h·
Discuss: Hacker News
🗃️Local databases
All Hyped Up for HyperCard: Further Adventures with an Apple Legacy Format
blogs.loc.gov·4d·
Discuss: Lobsters
🤝Using AI for programming
The Problem Of Uncertain Significance
stetson.substack.com·5d·
Discuss: Substack
🤖AI
Shapes and Shadows – CSS
codepen.io·4d·
Discuss: Hacker News
🗃️Local databases
Reducing Optimization Risk through Portfolio Methods
win-vector.com·6d·
Discuss: Hacker News
🗃️Local databases
Darcula and the Magic Cat: How Osint Unmasked a Phishing Tycoon
osint.industries·5d·
Discuss: Hacker News
🗃️Local databases
Fusion Propulsion and Other Science Projects We Swore Would Be Done by Now
multiverseemployeehandbook.com·6d·
Discuss: Hacker News
🔌Embedded
Show HN: A Fun Flow Field-Based Image Displacement Mapping Experiment
labs.galleri5.com·4d·
Discuss: Hacker News
🤖AI
iPhone DevOps
clearsky.dev·4d·
Discuss: Hacker News
🔌Embedded
Self-host open-source LLM agent sandbox on your own cloud
blog.skypilot.co·5d·
Discuss: Hacker News, Hacker News, r/selfhosted
🤖AI
Freeway lanes reopen after car hauler fire causes 7-hour shutdown
signalscv.com·13h·
Discuss: Hacker News
🔌Embedded
Measuring AI impact like it's 1995
swarmia.com·5d·
Discuss: Hacker News
🤖AI
The Internal Tooling Maturity Ladder
robbyonrails.com·4d·
Discuss: Hacker News, r/programming
🤝Using AI for programming
No more 'Sanity Checks.' Inclusive language guide bans problematic tech terms
theregister.com·5d·
Discuss: Hacker News
🤝Using AI for programming
ShortStop: A machine learning framework for microprotein discovery
bmcmethods.biomedcentral.com·6d·
Discuss: Hacker News
🗃️Local databases
Old server repurposing for LLM code inference
reddit.com·4d·
Discuss: r/LocalLLaMA
🔌Embedded
Rubberduck: Emulate OpenAI/Anthropic locally with caching and failure injection
github.com·4d·
Discuss: Hacker News
🗃️Local databases
Writing an LLM from scratch, part 17 – the feed-forward network
gilesthomas.com·5d·
Discuss: Hacker News
🤖AI
Different isn't always better, better is always different
cory.news·6d·
Discuss: Hacker News
🤖AI