🔤 Type Theory

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

Stranger Eyes | Review
ioncinema.com·12h
🎨Swedish Design Philosophy
GoDaddy gets patent for "Recommending domains from free text"
domainnamewire.com·10h·
Discuss: Hacker News
📡DNS Archaeology
Immune system markers could unleash personalized veterinary care for dogs
phys.org·10h
🔗Data Provenance
First Blog
dev.to·20h·
Discuss: DEV
🎯Recommendation Metrics
Why a Shopify Development Company in USA is the Backbone of Scalable Ecommerce
dev.to·18h·
Discuss: DEV
🦋Format Metamorphosis
Hubstry Dev++ Trade Flow
dev.to·1d·
Discuss: DEV
🦋Format Metamorphosis
2025 guide to Context Engineering for Software Engineers
strategizeyourcareer.com·2d·
Discuss: Hacker News, r/programming
🗺️Competency Maps
NEWS ROUNDUP – 25th August 2025
digitalforensicsmagazine.com·1d
🎯Threat Hunting
Building faster isn't building better
phys.org·10h
⚙️Proof Engineering
My dad died before he could retire. It shifted the way I approach life.
businessinsider.com·1d
🏠Personal Archives
Everyday choices quantified to guide environmentally friendly consumer decisions
phys.org·8h
❄️Nordic Design Philosophy
[$] The "impossibly small" Microdot web framework
lwn.net·4d
🌀Brotli Internals
Why I'm Now Running Enterprise AI on My Laptop (Without Internet)
medium.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Looking for automated tests concepts/tools to test the functionality of k8s controllers after version upgrade
reddit.com·1d·
Discuss: r/kubernetes
🏠Homelab Pentesting
From Assistants to Autonomous Agents: How Agentic AI Is Accelerating Enterprise Automation and Intelligent Decision-Making
dev.to·15h·
Discuss: DEV
⚙️TLA+
Bacterial memory could be the missing key to beating life threatening pathogens
phys.org·11h
🧬Copy Number Variants
Buy Verified Airbnb Accounts Online Safely – Trusted 2025 Source
dev.to·9h·
Discuss: DEV
✅Format Verification
Does Rust complexity ever bother you?
reddit.com·4d·
Discuss: r/rust
🦀Rust Borrowing
Noob help needed
reddit.com·3h·
Discuss: r/homelab
🏠HomeLab
Embarrassed to observe: The effects of directive language in brand conversation
arxiv.org·1d
🔍BitFunnel