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

Setting up an Activepieces development environment
dri.es·1d
📦METS Containers
Flag this post
The Much Shortened List of My Distributed Self
zylstra.org·3h
🏠Personal Archives
Flag this post
Myers Diff for Tab Management: Part 2
deontevanterpool.com·2d·
Discuss: Hacker News
🌳Trie Structures
Flag this post
The Truth Codex – A Charter for Friction-Tolerant Intelligence
news.ycombinator.com·17h·
Discuss: Hacker News
⚖️Hoare Logic
Flag this post
OpenMW 0.50.0 Released – open-source Morrowind reimplementation
openmw.org·23h·
🎯Emulator Accuracy
Flag this post
Show HN: Oodle – Unified Debugging with OpenSearch and Grafana
blog.oodle.ai·3d·
Discuss: Hacker News
👁️System Observability
Flag this post
Can automation help make the humanities more human?
resobscura.substack.com·1d·
Discuss: Substack
🌍Cultural Algorithms
Flag this post
Rubber Duck Debugging with LLMs: Why Explaining Your Problem Is the Solution
tidesofsea.com·1d·
Discuss: Hacker News
🤖AI Curation
Flag this post
This Week in Security: Bogus Ransom, WordPress Plugins, and KASLR
hackaday.com·21h
🔓Hacking
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·13h
🔄Sync Engine
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
github.com·3d·
Discuss: Hacker News
⚙️WASM Runtime
Flag this post
Observer-based neural networks for flow estimation and control
arxiv.org·2d
🧠Machine Learning
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.to·18h·
Discuss: DEV
🎬WebCodecs
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·4d
🔲Cellular Automata
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·16h·
Discuss: DEV
Proof Automation
Flag this post
Tech With Tim: OpenAI’s New Agent Builder is Insane - Full Tutorial
dev.to·6h·
Discuss: DEV
🎮Switch Archaeology
Flag this post
Why Logic Isn't as Objective as You Think
dev.to·3d·
Discuss: DEV
⚙️Proof Engineering
Flag this post