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

Non-recursively deleting a binary tree in constant space: Synthesizing the parent pointer
devblogs.microsoft.com·1d
🌲B+ Tree Forensics
Flag this post
Tuta Introduces Key Verification
tuta.com·19h·
Discuss: Hacker News
Checksum Validation
Flag this post
Google: Threat Actors Testing AI During Malware Execution
decipher.sc·1d
🦠Malware Analysis
Flag this post
I Use Typst Now
christopherbiscardi.com·15h·
📟Terminal Typography
Flag this post
Building Real-Time ML Feature Pipelines with Streaming SQL
timeplus.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
3 Experiments That Reveal the Shocking Inner Life of AI Introduction: Is Anybody Home?
hackernoon.com·3d
🚀Indie Hacking
Flag this post
Extracting Causal Relations in Deep Knowledge Tracing
arxiv.org·11h
🕸️Graph Embeddings
Flag this post
Pediatric Appendicitis Detection from Ultrasound Images
arxiv.org·11h
🧠Machine Learning
Flag this post
Day 26: Python Book Sorter, Sort a Library by Page Count with Lambda Keys
dev.to·1d·
Discuss: DEV
📊HyperLogLog
Flag this post
Beyond Basic RAG: AI Agents for Context-Aware Responses
thenewstack.io·2d
🌀Brotli Internals
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·14h·
Discuss: DEV
Proof Automation
Flag this post
Automatic Minds: Cognitive Parallels Between Hypnotic States and Large Language Model Processing
arxiv.org·3d
Effect Systems
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
dev.to·3d·
Discuss: DEV
👁️Observatory Systems
Flag this post
The 2-hour upgrade: coder engineer
dev.to·2d·
Discuss: DEV
🔩Systems Programming
Flag this post
AI and the Loss of the Flow
dev.to·2d·
Discuss: DEV
🏗️Compiler Archaeology
Flag this post
Beyond the "Vibe Check": How to Use the Web Codegen Scorer to Master AI-Generated Code
dev.to·1d·
Discuss: DEV
Proof Automation
Flag this post