Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

UT Austin’s Statement on Academic Integrity
scottaaronson.blog·3h
🐧FOSS
Flag this post
At the Heart of Don Quixote
hedgehogreview.com·3h
🏛️Philosophy
Flag this post
We will WARC you: preserving access to published CD-ROMs at NLA
dpconline.org·21h
🔄Archival Workflows
Flag this post
Devlog: Dynamo Browse - Item View Annotations and Asynchronous Tasks
lmika.org·2d
🔗Concatenative Programming
Flag this post
Building our geospatial database in production
radar.com·1d·
Discuss: Hacker News
📏Range Queries
Flag this post
Structured data access layer for AI agents
docs.pylar.ai·1d·
Discuss: Hacker News
🗄️Database Internals
Flag this post
Thinking of learning Go for backend instead of Python -- worth it?
reddit.com·15h·
Discuss: r/golang
🗣️Domain-Specific Languages
Flag this post
How to Stop Selenium Tests from Clicking Before the Page is Ready
dev.to·7h·
Discuss: DEV
🔐Systems Hardening
Flag this post
Eight millennia of continuity of a previously unknown lineage in Argentina
nature.com·1d·
Discuss: Hacker News
🦴Binary Paleontology
Flag this post
Seeking feedback: Integrated user-research workflow tool
news.ycombinator.com·17h·
Discuss: Hacker News
📰RSS Reading Practices
Flag this post
Learn to Capitalize the First Letter of Each Word with Go
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
Flag this post
Why Grid Trading Bots Are Dominating Bull Markets Right Now
dev.to·9h·
Discuss: DEV
🤝Consensus Algorithms
Flag this post
How to Evolve Software for Minimum Disruptions: The Architect's Two Hats
medium.com·15h·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
Alleged Russia-linked Curly COMrades exploit Windows Hyper-V to evade EDRs
securityaffairs.com·9h
🔓Hacking
Flag this post
🔑 Own It or Lose It | The Real Power Behind “Not Your Keys, Not Your Coins”
dev.to·5h·
Discuss: DEV
🔗Blockchain Archives
Flag this post
Case Study: How We Built Scalable Digital Solutions for Shell — A Global Energy Leader
dev.to·5h·
Discuss: DEV
⚙️Proof Engineering
Flag this post
List Decoding and New Bicycle Code Constructions for Quantum LDPC Codes
arxiv.org·13h
⚛️Quantum LDPC
Flag this post
Note
hsu.cy·19h
📝ABNF Parsing
Flag this post
Using AI in Playwright Tests
dev.to·2d·
Discuss: DEV
Proof Automation
Flag this post
In AI, Everything is Meta
dev.to·2d·
Discuss: DEV
Proof Automation
Flag this post