🔤 Type Theory

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

Using Emoji to Depict Train Delays
maproomblog.com·1d
🖋Typography
Elon Musk sues Apple and OpenAI, accusing them of anticompetitive practices
lemonde.fr·1d
👂Audio Evidence
SSL certificate requirements are becoming obnoxious
chrislockard.net·16h·
Discuss: Hacker News
🔐Certificate Analysis
Social media's next evolution: decentralized, open-source, and scalable
newpublic.substack.com·1d·
Discuss: Substack
🔗Online Curation
A Brief Introduction to Ruby
freecodecamp.org·5d·
Discuss: Hacker News
🔗Concatenative Programming
postMessaged and Compromised
msrc.microsoft.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🎯NTLM Attacks
Google will require developer verification to install Android apps, including sideloading
9to5google.com·1d·
Discuss: Hacker News, r/programming, r/singapore
📜Proof Carrying Code
Time-Optimal Directed q-Analysis
arxiv.org·5d
🎯Performance Proofs
AI, Compliance, and the Privacy Balancing Act
dev.to·17h·
Discuss: DEV
⚖️Legal Compliance
Braided magnetic flux ropes found at both human and light year scales
phys.org·1d
⚙️Tape Engineering
Comparison of derivative-free and gradient-based minimization for multi-objective compositional design of shape memory alloys
arxiv.org·6d
🌐Computational Topology
original ↗
boston.conman.org·5d
📰RSS Archaeology
DoSReMC: Domain Shift Resilient Mammography Classification using Batch Normalization Adaptation
arxiv.org·5d
🤖Advanced OCR
HHNAS-AM: Hierarchical Hybrid Neural Architecture Search using Adaptive Mutation Policies
arxiv.org·5d
🧠Learned Indexing
My honest take a year into building AI copilots for top YC startups
dev.to·12h·
Discuss: DEV
⚡Proof Automation
Project Lightning Talk: Dockerfiles vs Buildpacks: What's The Cloud Native Way? - Ram Iyengar
youtube.com·8h
📦Container Security
🍰 Go Slices Finally Explained: Why They Behave the Way They Do
dev.to·6d·
Discuss: DEV
🔧Binary Parsers
XAI Octagon Floating Rate & Alternative Income Trust (XFLT) Q2 2025 Earnings Call Transcript
seekingalpha.com·6h
⚡HTMX
Kailasa Supreme Intelligence: Building a Multi-Persona AI for Health, Wealth & Happiness
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Exploring Automation with Make.com & n8n
dev.to·2d·
Discuss: DEV
🤖Archive Automation