🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

Become a Partner of Dolphin Data Lab in Germany
dolphindatalab.com·22h
🔌Operating system internals
Episciences links article code through Software Heritage
softwareheritage.org·1d
🏛️OAIS Implementation
Cloud Storage Myths Debunked, Part Three: Onboarding Specialized Providers Is Too Hard
backblaze.com·22h
💾Storage Replication
Start hacking Bluetooth Low Energy today! (part 1)
pentestpartners.com·2d
📡Bluetooth Archaeology
Determinants and Causal Effects: Admission to Highly Selective Private Colleges
nber.org·15h·
Discuss: Hacker News
🔲Cellular Automata
Unsupervised Learning NO. 494
newsletter.danielmiessler.com·3d
📊Feed Optimization
Show HN: Built a tool that lets anyone create cinematic aerial shots with AI
dreamflow.live·1h·
Discuss: Hacker News
🎬Video Codecs
Apple acquires developer of the Open Policy Agent
heise.de·17h
🔓Open Source Software
Building RetireStrong Financial Advisors: A Journey of Innovation and Dedication
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
AI model maps building emissions to support fairer climate policies
phys.org·20h
🏺Computational Archaeology
Using AI tools, this LinkedIn VP built and launched an app in a few weeks
businessinsider.com·21h
🌀Brotli Internals
I Built a LinkedIn Job Scraper Because Manual Job Hunting is Pain
dev.to·1d·
Discuss: DEV
📰RSS Reading Practices
M5 GraviTimer
hackster.io·1d
🎯Emulator Accuracy
MCP Proxy Pattern: Secure, Retrieval-First Tool Routing for Agents
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
Advanced Crustal Deformation Rate Calculation via Multi-Modal GNSS Data Fusion & Bayesian Optimization
dev.to·1d·
Discuss: DEV
⏱️SMPTE Timecode
AI or Obsolete: Why Developers Need AI in Their Workflow
dev.to·2d·
Discuss: DEV
🔄Language Evolution
Thoughts on creating a tracking pointer class, part 6: Non-modifying trackers
devblogs.microsoft.com·4d
🦀Rust Borrowing
Automated Predictive Modeling of CRE Biofilm Dispersal via Multi-Scale Flow Cytometry
dev.to·1d·
Discuss: DEV
📄Document Digitization
Agents.md — A New Standard for Coding Agents
dev.to·2d·
Discuss: DEV
🦋Format Evolution
Adaptive Differential Signal Calibration via Hyperdimensional Vector Projection for High-Speed Data Transmission
dev.to·2d·
Discuss: DEV
🧠Machine Learning