🔤 Type Theory

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

China claims brain-like AI breakthrough ‘100 times faster than traditional models’
the-independent.com·1d
🇨🇳Chinese Computing
We Melted iPhones for Science - Apple Just Spent $10B Proving We Were Right
accelerateordie.com·7h·
Discuss: Hacker News
🎮Switch Archaeology
So you want to control flow in PyTorch 2
blog.ezyang.com·6d·
Discuss: Hacker News
✨Effect Handlers
Wrote an in-depth blog on scaling modern transformers with n-D parallelism
jaxformer.com·4d·
Discuss: Hacker News
🔄Burrows-Wheeler
William James at CERN (1995)
bactra.org·6d·
Discuss: Hacker News
📐Mathematical Art
Radioactive iodine therapy used for canine cancer treatment
phys.org·2d
🧲Magnetic Resonance
Data Is the New Diamond: Latest Moves by Hackers and Defenders
unit42.paloaltonetworks.com·2d
🚨Incident Response
[P] I Was Wrong About Complex ML Solutions - Gower Distance Beat My UMAP Approach
reddit.com·6d·
Discuss: r/MachineLearning
🗂️Vector Databases
How to Configure the Auth0 MCP Server in VS Code for AI Assistant Integration
dev.to·3d·
Discuss: DEV
🔌Interface Evolution
Four Poems
nplusonemag.com·1d
🧲Magnetic Philosophy
Simulations solve centuries-old cosmic mystery—and discover new class of ancient star systems
phys.org·1d
🏺Computational Archaeology
Research reveals how microplastics threaten Gulf of Mexico marine life
phys.org·1d
🔲Cellular Automata
Spatial Transcriptomics: Automated Cell Type Deconvolution via Multi-Scale Graph Neural Networks
dev.to·3d·
Discuss: DEV
🌀Hyperbolic Geometry
Carrier Global Corporation (CARR) Presents At Morgan Stanley's 13th Annual Laguna Conference Transcript
seekingalpha.com·1d
🦋Format Evolution
Bonhoeffer Capital Management Q2 2025 Letter
seekingalpha.com·1d
📰Feed Readers
ClearBridge Global Infrastructure Value Strategy Q2 2025 Commentary
seekingalpha.com·23h
⏳Time Capsule Networks
Can I see all my Google account connections?
dev.to·9h·
Discuss: DEV
🏠Personal Archives
Why Success Favors Action and How This Relates to AI
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
Physicists demonstrate controlled expansion of quantum wavepacket in a levitated nanoparticle
phys.org·2d
⚛️Quantum Tape
Closing the App Gap; Focus and Momentum
puri.sm·2d
🛡️ARM TrustZone