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

Undefined Tasks
thedailywtf.com·9h
💾Persistence Strategies
Flag this post
A self-rewriting AI from KAUST revives Jürgen Schmidhuber’s vision of a Gödel Machine
the-decoder.com·23h
🧮Theorem Proving
Flag this post
Limitations of a two-pass assembler
boston.conman.org·12h
🔧RISC-V Assembler
Flag this post
The Twilio-Stytch Acquisition: A Watershed Moment for Developer-First CIAM
securityboulevard.com·23h·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
Quest for Permissively Licensed PDF Library in C#
duerrenberger.dev·4h·
Discuss: Hacker News
📄PDF Internals
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·1d·
Discuss: Substack
📊Quantization
Flag this post
Training: Postgres Performance and Maintenance
postgresconf.org·22h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Big-O Notation: Explained in 8 Minutes
blog.algomaster.io·12h
📐Interval Arithmetic
Flag this post
Speedrunning an RL Environment
sidb.in·3d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·4d·
🔒Type Safety
Flag this post
AWK technical notes (2023)
maximullaris.com·1d·
📝Shell Parsing
Flag this post
Building an AI-Powered E-Shopping Platform with Intelligent Product Recommendations
dev.to·14h·
Discuss: DEV
🤖AI Curation
Flag this post
From Stack to Impact: What Actually Worked in My 3 AI Tool Sites
dev.to·12h·
Discuss: DEV
👁️Observatory Systems
Flag this post
Automated Discovery of Conservation Laws via Hybrid Neural ODE-Transformers
arxiv.org·10h
🌀Differential Geometry
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·10h
🕸️Network Topology
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·3d·
Discuss: Hacker News
👑Dependent Haskell
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
dev.to·1d·
Discuss: DEV
Proof Automation
Flag this post
Advancing AI Challenges for the United States Department of the Air Force
arxiv.org·10h
🧠Machine Learning
Flag this post