🔤 Type Theory

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

The Insidious Creep of Trump’s Speaking Style
nytimes.com·4h
📼Tape Linguistics
Citadel (1981)
bluerenga.blog·21h
🕹️Retro Gaming
Satoshi Nakamoto Translated into English Means "Central Intelligence"
wisewolfmedia.substack.com·23h·
Discuss: Substack
🕳️Information Leakage
Running OPNsense Bare Metal or Virtualized (Proxmox)?
reddit.com·17h·
Discuss: r/homelab
💿Proxmox HA
Show HN: XR2000: A science fiction programming challenge
clearsky.dev·5d·
Discuss: Hacker News
🦀Rust Borrowing
Pieces of Autonomy
reactiverobot.com·4d·
Discuss: Hacker News
🔐Capability Systems
Growing up, I spent nearly every weekend with my grandmother. She made me see that I am smart and powerful.
businessinsider.com·17h
🏠Personal Archives
IMac-Style IPhone Charging Stand With Sleep Reminder
hackster.io·21h
⚙️DIY Electronics
conductor-oss/conductor
github.com·4d
🌊Streaming Systems
Differentiable Cyclic Causal Discovery Under Unmeasured Confounders
arxiv.org·4d
✨Effect Handlers
AI Coding Assistants Made Me a Lazy Developer… And That’s Okay
dev.to·3d·
Discuss: DEV
📏Code Metrics
Adaptive Hierarchical Clustering via Dynamic Affinity Propagation with Kernel Resonance
dev.to·3d·
Discuss: DEV
🌊Spectral Clustering
Shape Completion and Real-Time Visualization in Robotic Ultrasound Spine Acquisitions
arxiv.org·4d
🤖Advanced OCR
Is GenAI Replacing Your QA Team? A Sobering Reality Check
thenewstack.io·22h
🔍Concolic Testing
Between Fear and Desire, the Monster Artificial Intelligence (AI): Analysis through the Lenses of Monster Theory
arxiv.org·4d
🔲Cellular Automata
Chain of Thought Still Thinks Fast: APriCoT Helps with Thinking Slow
arxiv.org·5d
🧠Intelligence Compression
Learning More by Seeing Less: Line Drawing Pretraining for Efficient, Transferable, and Human-Aligned Vision
arxiv.org·5d
📊Learned Metrics
CATP: Contextually Adaptive Token Pruning for Efficient and Enhanced Multimodal In-Context Learning
arxiv.org·5d
📊Learned Metrics
PPL: Point Cloud Supervised Proprioceptive Locomotion Reinforcement Learning for Legged Robots in Crawl Spaces
arxiv.org·3d
📊Computational Geometry
Decoding Neural Emotion Patterns through Natural Language Processing Embeddings
arxiv.org·3d
🧠Neural Codecs