✓ Formal verification

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

Personal growth happens after voluntary discomfort
herbertlui.net·2d·
Discuss: Hacker News
🤖AI
Digitizing Informal Public Transport in Mexico with Open Data
trufi-association.org·5d·
Discuss: Hacker News
🤝Using AI for programming
New AI Marketing Automation Platform
heyoz.com·5d·
Discuss: Hacker News
🤖AI
Why Long-Dated Bonds Are Falling Out of Favor
bloomberg.com·6d·
Discuss: Hacker News
🤖AI
Hello
microsoft.com·5d·
Discuss: Hacker News
🤝Using AI for programming
Showrunner wants to use generative AI to recreate lost footage from an Orson Welles classic
theverge.com·3d
🤖AI
At least five interesting things: You Can't Just Do Things edition (#69)
noahpinion.blog·5d·
Discuss: Hacker News
🔌Embedded
Sprouts: Self hosting without sysadmin knowledge
judi.systems·5d·
Discuss: Hacker News
🔌Embedded
Jevons' Paradox is good sometimes
andymasley.substack.com·6d·
Discuss: Substack
🤖AI
ClassicPress 2.5.0
github.com·5d·
Discuss: Hacker News
🔌Embedded
AI could bring us a smarter home — if we can trust it
theverge.com·6d
🤖AI
Blogs used to be very different.
jetgirl.art·3d·
Discuss: Hacker News
🗃️Local databases
Tesla Wants Out of the Car Business
theatlantic.com·3d·
Discuss: Hacker News, Hacker News
🤝Using AI for programming
Radical new Big Bang theory says gravitational waves created galaxies, stars and planets
space.com·5d·
Discuss: Hacker News
🤖AI
Process Knowledge Is Crucial To Development
programmablemutter.com·6d·
Discuss: Hacker News
🤖AI
Scientific objectivity is a myth – cultural values and beliefs always influence science and the people who do it
theconversation.com·4d·
Discuss: Hacker News
🤖AI
Nova Launcher’s creator steps away, leaving its future in doubt
androidpolice.com·3d·
Discuss: Hacker News, r/technews
🗃️Local databases
Tesla offers $1 trillion to Elon Musk to unleash his army of robots
theverge.com·3d
🤝Using AI for programming
Liquid Glass? That's what your M4 CPU is for
idiallo.com·5d·
Discuss: Hacker News
🔌Embedded
gov.uscourts.dcd.223205.1436.0_1.pdf
simonwillison.net·6d
🔌Embedded