🔤 Type Theory

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

Intel N97/Core i3-N305 fanless mini PC exposes a GPIO header and two COM ports
cnx-software.com·1h
🇳🇱Dutch Computing
DNS at IETF 123
blog.apnic.net·2d
🌐DNS Security
Learning network from scratch using RFC only
reddit.com·2d·
Discuss: r/homelab
📡Network Protocol Design
The Bias-Variance Trade-Off: A Visual Explainer
machinelearningmastery.com·2d
📊Learned Metrics
All Paths to Happiness (2013)
physicsnapkins.wordpress.com·2d·
Discuss: Hacker News
🔓Hacking
AirBreath Sensing: Protecting Over-the-Air Distributed Sensing Against Interference
arxiv.org·3d
🕸️Mesh Networking
The Growing Need for Tools in 2025
vibe.forem.com·5h·
Discuss: DEV
🏛Digital humanities
Segmenting Thalamic Nuclei: T1 Maps Provide a Reliable and Efficient Solution
arxiv.org·2d
🔍Vector Forensics
AI-Driven Adaptive Curriculum Design for Geriatric Caregiver Training Simulators
dev.to·3d·
Discuss: DEV
🗺️Competency Maps
Index-Aligned Query Distillation for Transformer-based Incremental Object Detection
arxiv.org·3d
📝Document Chunking
Outdated Docs Are Worse Than No Docs
dev.to·23h·
Discuss: DEV
🔄Language Evolution
Little Pepe vs Ethereum vs Solana: Which Coin Has the Fastest Path to Gains in 2025?
hackernoon.com·15h
🔗Hash Chains
What is the Bias-Variance Trade-off?
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Bounds
Behavioral and Symbolic Fillers as Delay Mitigation for Embodied Conversational Agents in Virtual Reality
arxiv.org·2d
📟Terminal Physics
Lifelong Learner: Discovering Versatile Neural Solvers for Vehicle Routing Problems
arxiv.org·2d
🧮SMT Solvers
I made a product called Prompt to save and optimize.
dev.to·2d·
Discuss: DEV
🎙️Whisper
Human Uniqueness Is a Myth, Mounting Evidence Shows
scientificamerican.com·2d
🎵Music Universality
I Gave My LLM a Promotion: Now It Delegates Its Own Work
dev.to·5d·
Discuss: DEV
🧮Theorem Proving
TokenRec: Learning to Tokenize ID for LLM-based Generative Recommendation
arxiv.org·3d
💻Local LLMs
Combating Homelessness Stigma with LLMs: A New Multi-Modal Dataset for Bias Detection
arxiv.org·1d
🎛️Feed Filtering