🔤 Type Theory

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

Carving out msh3
daniel.haxx.se·1h
🌐Network Protocols
100 years ago, a mind-bending idea was born that would prove Einstein wrong
abc.net.au·8h
⏰Time Crystals
"Not created by man"
languagelog.ldc.upenn.edu·3d
🧮Prolog Parsing
Validated Patterns
validatedpatterns.io·1d·
Discuss: Hacker News
🔐CBOR
skywind3000/kcp
github.com·2d
🌐Network Protocols
Changelog #296
rust-analyzer.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
AI coding agent is a spy
unknwon.io·1d·
Discuss: Hacker News
🦠Malware Analysis
Uncertain⟨T⟩
nshipster.com·3d·
Discuss: Hacker News
🧪CBOR Fuzzing
Show HN: CIAM – A curated list of CIAM resources for anyone adding auth
github.com·1d·
Discuss: Hacker News
🔌Interface Evolution
The Power of Nothing: Exploring Go's Empty Struct
dev.to·1d·
Discuss: DEV
🔧Binary Parsing
The AI coding pattern spreading through engineering teams
dev.to·1d·
Discuss: DEV
📏Code Metrics
SeeDiff: Off-the-Shelf Seeded Mask Generation from Diffusion Models
arxiv.org·4h
🕵️Vector Smuggling
Limits at a Distance: Design Directions to Address Psychological Distance in Policy Decisions Affecting Planetary Boundaries
arxiv.org·1d
🔶Voronoi Diagrams
Decoupling Knowledge and Reasoning in LLMs: An Exploration Using Cognitive Dual-System Theory
arxiv.org·4d
🔗Constraint Handling
Simulating Human Behavior with the Psychological-mechanism Agent: Integrating Feeling, Thought, and Action
arxiv.org·4h
🔲Cellular Automata
Bi-cephalic self-attended model to classify Parkinson's disease patients with freezing of gait
arxiv.org·4h
🧠Machine Learning
Solar Photovoltaic Assessment with Large Language Model
arxiv.org·1d
🌳Context free grammars
HairCUP: Hair Compositional Universal Prior for 3D Gaussian Avatars
arxiv.org·1d
🏺Computational Archaeology
NIRS: An Ontology for Non-Invasive Respiratory Support in Acute Care
arxiv.org·4h
🗂️Information Architecture
Predicting Cognition from fMRI:A Comparative Study of Graph, Transformer, and Kernel Models Across Task and Rest Conditions
arxiv.org·4h
📊Learned Metrics