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

Undefined Tasks
thedailywtf.com·22h
💾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·1d
🧮Theorem Proving
Flag this post
The Twilio-Stytch Acquisition: A Watershed Moment for Developer-First CIAM
securityboulevard.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
Quest for Permissively Licensed PDF Library in C#
duerrenberger.dev·17h·
Discuss: Hacker News
📄PDF Internals
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
ClickHouse welcomes LibreChat: Introducing the open-source Agentic Data Stack
clickhouse.com·18h·
🌊Streaming Systems
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·2d·
Discuss: Substack
📊Quantization
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·2d·
Discuss: Hacker News
🌳Incremental Parsing
Flag this post
A Beginner’s Guide to Automation with n8n
hackernoon.com·10h
🏠Homelab Orchestration
Flag this post
Software Development in the Time of New Angels
davegriffith.substack.com·1d·
Discuss: Substack
📏Code Metrics
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·23h
🕸️Network Topology
Flag this post
Made my first AI Agent Researcher with Python + Langchain + Ollama
reddit.com·2d·
Discuss: r/artificial
Algebraic Effects
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·23h
Incremental Computation
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·5d
🧮Algebraic Archives
Flag this post
InvisioVault: Because Sometimes You Just Want to Hide Stuff 🤫
dev.to·9h·
Discuss: DEV
🚀Indie Hacking
Flag this post
Interpretable Machine Learning for Reservoir Water Temperatures in the U.S. Red River Basin of the South
arxiv.org·23h
🧠Machine Learning
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·23h
🔄Language Evolution
Flag this post
Observability Made Easy: How AI & OpenTelemetry Tame Tool Sprawl
dev.to·23h·
Discuss: DEV
👁️System Observability
Flag this post
This is one way I use AI for coding
dev.to·1d·
Discuss: DEV
Proof Automation
Flag this post