🔤 Type Theory

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

Reserve First
notes.billmill.org·3d
🎯Dependent Preservation
Apple Sues Ex-Employee Who Allegedly Stole Apple Watch Secrets for Chinese Rival Oppo
macrumors.com·1h
🔗Data Provenance
How the AI revolution is triggering a hardware arms race and pushing up prices
tomshardware.com·1h
🖥️Modern Terminals
Critical Cache Poisoning Vulnerability in Dnsmasq
lists.thekelleys.org.uk·3d·
Discuss: Hacker News
🌐DNS Security
Fakemink’s sugar-high rap and the week’s best new tracks
theguardian.com·7h
📼Cassette Culture
Poll: Most Americans Support Mail-In Voting Despite Trump’s ‘Scam’ Claim
forbes.com·3h
🖋Typography
Update: We're Building an Open-Sourced, Privacy-Focused, Free PDF WebApp:)
news.ycombinator.com·2d·
Discuss: Hacker News
📄PostScript
A missing enzyme-rescue metabolite as cause of a rare skeletal dysplasia
nature.com·2d
🧬Copy Number Variants
Counterfactual Probabilistic Diffusion with Expert Models
arxiv.org·2d
📊Citation Graphs
Rationalizing Transformer Predictions via End-To-End Differentiable Self-Training
arxiv.org·4d
🌳Context free grammars
ONG: One-Shot NMF-based Gradient Masking for Efficient Model Sparsification
arxiv.org·3d
🧠Learned Compression
GitLab 18.3: Expanding AI orchestration in software engineering
about.gitlab.com·1d
📦Git LFS
Two quantum computers with 20 qubits manage to simulate information scrambling
phys.org·4h
⚛️Quantum Tape
Multi-Phase Automated Segmentation of Dental Structures in CBCT Using a Lightweight Auto3DSeg and SegResNet Implementation
arxiv.org·3d
🧠Machine Learning
Cointel Raises $7.4M In Strategic Round Led By Avalanche And Sugafam Inc.
hackernoon.com·2d
🔗Hash Chains
How to Install & Run Gemma-3-270m, GGUF & Instruct Locally?
dev.to·11h·
Discuss: DEV
🎯Emulator Accuracy
POET Technologies: Market Potential Vs Narrative Premium
seekingalpha.com·5h
📰Feed Readers
Why Your Prompts Need Version Control (And How ModelKits Make It Simple)
dev.to·2d·
Discuss: DEV
🔄Language Evolution
A kernel compression method for distributed-order fractional partial differential equations
arxiv.org·2d
📈Time Series
How AI-Created Code Will Strain DevOps Workflows
devops.com·1d
⚙️Proof Engineering