🔤 Type Theory

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

Book Review — The Garden of Delights by Amal Singh
thomasrigby.com·3d
📕Bookbinding
Glue work instead of pasting diagrams
thehighergeometer.wordpress.com·4d
🌱Personal Wikis
Endocrine disruptors in ancient times and Greek myth:the curse of Hermaphroditus
pmc.ncbi.nlm.nih.gov·3h·
Discuss: Hacker News
📰RSS Archaeology
Developer Experience at Pinterest: The Journey to PinConsole
medium.com·1d
🔌Interface Evolution
Debugging and Troubleshooting SSSD
docs.pagure.org·1d·
Discuss: Hacker News
🛠System administration
Nvidia Release Massive AI-Ready Open European Language Dataset and Tools
hardware.slashdot.org·7h
🎙️Whisper
Goodbye, GitHub
strongly-typed-thoughts.net·4d
🔄Language Evolution
Tommy Fleetwood takes a share of the lead at Tour Championship in Atlanta
the-independent.com·1d
✅Format Verification
GitLab 18.3: Expanding AI orchestration in software engineering
about.gitlab.com·3d
📦Git LFS
Blind & Visually Impaired Initiative (BVI) Meeting - 2025-08-19
youtube.com·1d
📋PREMIS Events
An inner-speech decoder reveals some mental privacy issues
arstechnica.com·17h·
Discuss: Hacker News
🎧Learned Audio
[D] Help Suggesting a best model for my sales prediction dataset
reddit.com·21h·
Discuss: r/MachineLearning
🧠Machine Learning
Launch HN: Inconvo (YC S23) – AI agents for customer-facing analytics
news.ycombinator.com·1d·
Discuss: Hacker News
🌊Streaming Systems
The Cold Swarm: Why Your AI-Personalized Pitch Is Dead on Arrival
zakelfassi.com·2d·
Discuss: Hacker News
⚡Proof Automation
18 AI Coding Sidekicks That'll Make You Feel Like a Programming Wizard in 2025
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
What Debugging JavaScript on WebAssembly Looks Like
thenewstack.io·3d
🕸️WebAssembly
The Impact of Large Language Models (LLMs) on Code Review Process
arxiv.org·6d
📏Code Metrics
Social Debiasing for Fair Multi-modal LLMs
arxiv.org·3d
🎛️Feed Filtering
6 ChatGPT Prompts Every Software Developer Should Know
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Active Fault Identification and Robust Control for Unknown Bounded Faults via Volume-Based Costs
arxiv.org·5d
🎯Performance Proofs