Dependent Types, Proof Assistant, Type-driven Development, Verification

The Much Shortened List of My Distributed Self
zylstra.org·5h
🏠Personal Archives
Flag this post
How to Build AI-Ready Government Agencies: A Data Modernization Foundation
blog.min.io·1d
🔗Data Provenance
Flag this post
AI Consciousness, Qualia, and Personhood
blog.dileeplearning.com·5h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Myers Diff for Tab Management: Part 2
deontevanterpool.com·2d·
Discuss: Hacker News
🌳Trie Structures
Flag this post
I'm Making a Small RPG and I Need Feeback Regarding Performance
jslegenddev.substack.com·1d·
Discuss: Substack
🎯Emulator Accuracy
Flag this post
Show HN: Mongoose Studio: A Schema-Aware MongoDB GUI with AI Dashboards for Node
thecodebarbarian.com·1d·
Discuss: Hacker News
🔌Archive APIs
Flag this post
OpenMW 0.50.0 Released – open-source Morrowind reimplementation
openmw.org·1d·
🎯Emulator Accuracy
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·5d·
Discuss: Hacker News
⬆️Lambda Lifting
Flag this post
How to Set Up Your Own Google Analytics Alternative Using Umami
hackernoon.com·15h
🔄Sync Engine
Flag this post
The Ultimate List of Free Python Online Compilers for New Coders
dev.to·5h·
Discuss: DEV
🌳Incremental Parsing
Flag this post
Shrinking the Variance: Shrinkage Baselines for Reinforcement Learning with Verifiable Rewards
arxiv.org·2d
💻Local LLMs
Flag this post
Knowledge-Augmented Question Error Correction for Chinese Question Answer System with QuestionRAG
arxiv.org·2d
🤖Grammar Induction
Flag this post
The Ghost in the Machine Is Finally Allowed to See: A Beginner's Guide to MCP
danielkliewer.com·2d·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
Why agents DO NOT write most of our code - a reality check
dev.to·5d·
Discuss: DEV
Proof Automation
Flag this post
Tech With Tim: OpenAI’s New Agent Builder is Insane - Full Tutorial
dev.to·8h·
Discuss: DEV
🎮Switch Archaeology
Flag this post
Composer-1 vs SWE-1.5: A detailed Comparison
dev.to·3d·
Discuss: DEV
🎯Emulator Accuracy
Flag this post
Why Logic Isn't as Objective as You Think
dev.to·3d·
Discuss: DEV
⚙️Proof Engineering
Flag this post
Agentic DevOps: I Let GitHub Copilot Run My Entire CI/CD Pipeline (And Lived to Tell the Tale)
dev.to·3d·
Discuss: DEV
👁️System Observability
Flag this post
A brief guide for those who slept (on AI) the last two years
dev.to·2d·
Discuss: DEV
Proof Automation
Flag this post
📚Enterprise Design Patterns: Table Module with Python Example
dev.to·2d·
Discuss: DEV
🧩SQLite Extensions
Flag this post