🎯 Type Theory

Dependent Types, Category Theory, Formal Verification, Lambda Calculus

The Protocol: ZKSync Aims to Revamp Its Tokenomics Model
coindesk.com·9h
📮Message Queues
Flag this post
My Crystal Ball
dailynous.com·1d
🔗Concatenative Theory
Flag this post
Tool Expressions: The Next Evolution in Agent Intelligence
blog.nishantjosh.dev·21h·
Discuss: r/programming
🎭Program Synthesis
Flag this post
Large language models still struggle to tell fact from opinion, analysis finds
techxplore.com·1d
🌱Minimal ML
Flag this post
Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
taosecurity.blogspot.com·2d·
Discuss: www.blogger.com
🔗Language Toolchains
Flag this post
From Swift to Mojo and high-performance AI Engineering with Chris Lattner
newsletter.pragmaticengineer.com·11h
🦉Swift Interpreters
Flag this post
Notes Apps
cao.sh·3h·
Discuss: Hacker News
📚Self-Documenting Code
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·2d
🌉Language Bridges
Flag this post
Rasterizer Project - Part 4: Triceratops Wireframe
dev.to·1d·
Discuss: DEV
🔮Type Inference Visualization
Flag this post
Going Full-Time NeoHaskell
dev.to·1d·
Discuss: DEV
🔄Bootstrapping
Flag this post
I am torn about using Lo
reddit.com·1d·
Discuss: r/golang
🎮Language Ergonomics
Flag this post
Treat Your Citations Like Code: How I Refactored My Research Workflow
dev.to·1h·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Multi-Sensor Distributed Hypothesis Testing in the Low-Power Regime
arxiv.org·1d
📡Channels
Flag this post
LLMs Position Themselves as More Rational Than Humans: Emergence of AI Self-Awareness Measured Through Game Theory
arxiv.org·1d
🔍ML Language
Flag this post
Challenging DINOv3 Foundation Model under Low Inter-Class Variability: A Case Study on Fetal Brain Ultrasound
arxiv.org·22h
🌱Minimal ML
Flag this post
To improve Rationality, create Situations
lesswrong.com·2d
🚂Error Propagation
Flag this post
Bridging Vision, Language, and Mathematics: Pictographic Character Reconstruction with B\'ezier Curves
arxiv.org·1d
🔍ML Language
Flag this post
OmniBrainBench: A Comprehensive Multimodal Benchmark for Brain Imaging Analysis Across Multi-stage Clinical Tasks
arxiv.org·1d
🔍ML Language
Flag this post
Surfacing Subtle Stereotypes: A Multilingual, Debate-Oriented Evaluation of Modern LLMs
arxiv.org·1d
⚡Tokenizer Benchmarks
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.org·1d
✨Effect Inference
Flag this post