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

Setting up an Activepieces development environment
dri.es·1d
📦METS Containers
Flag this post
How to Build AI-Ready Government Agencies: A Data Modernization Foundation
blog.min.io·1d
🔗Data Provenance
Flag this post
GSOC 2025 - Converting Demucs v4 (Hybrid Transformer) AI model to ONNX format
mixxx.org·2d
🔍FLAC Forensics
Flag this post
The Privacy Manifesto
zac1258019.substack.com·20h·
Discuss: Substack
🧲Magnetic Philosophy
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
OpenMW 0.50.0 Released – open-source Morrowind reimplementation
openmw.org·1d·
🎯Emulator Accuracy
Flag this post
A Noob's Guide to Kubernetes Monitoring: SigNoz vs. Datadog vs. Grafana
simpletechguides.com·2d·
Discuss: Hacker News
📦Container Security
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.medium.com·3d·
Discuss: Hacker News
🌊Stream Processing
Flag this post
Title: The Rise and Fall of ChatGPT: A Tech-Savvy Perspective
dev.to·16h·
Discuss: DEV
📥Feed Aggregation
Flag this post
Automated Semantic Scene Graph Construction & Validation for Real-Time USD Pipelines
dev.to·3d·
Discuss: DEV
SMT Integration
Flag this post
Tech With Tim: Is This the Fastest App Build Ever? (Base44 Demo)
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·4d
Format Verification
Flag this post
Tech With Tim: OpenAI’s New Agent Builder is Insane - Full Tutorial
dev.to·7h·
Discuss: DEV
⚔️Lean Tactics
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·3d·
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·10h·
Discuss: DEV
🎮Switch Archaeology
Flag this post