📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Show HN: I built a toy TPU that can do inference and training on the XOR problem
tinytpu.com·2d·
Discuss: Hacker News
🧭SMT Solvers
People say GPT-5 is supposed to be good for coding but in my experience it hallucinates so badly and so often and I'm not even talking about the code it writes....
imgur.com·19h·
Discuss: r/ChatGPT
👐Open Source Software
7 Types of AI, What They Do, and How
electronics.howstuffworks.com·19h
🤖Sci-Fi
Signal and Noise: Reducing uncertainty in language model evaluation
allenai.org·1d
🎲Probabilistic Programming
Where to define return structs for the ‘accept interfaces, return structs’ idiom
reddit.com·4d·
Discuss: r/golang
🧮Programming Language Theory
Design and Optimization of a Hybrid VLC/THz Infrastructure-to-Vehicle Communication System for Intelligent Transportation
arxiv.org·7h
🤝Protocol Design
Improvement of SRE skills
reddit.com·1d·
Discuss: r/kubernetes
🦀Rust
Is it normal for the theoretical parts to be a bit boring?
reddit.com·15h·
Discuss: r/embedded
🔧Compiler Design
YOLO11-CR: a Lightweight Convolution-and-Attention Framework for Accurate Fatigue Driving Detection
arxiv.org·1d
🎲Probabilistic Programming
🍝 Spaghetti Code: Why Your App Breaks When You Touch One Line
dev.to·4d·
Discuss: DEV
⚙Functional Programming
Three AIs and a Funeral: My Take on GPT-5 ⚰️
dev.to·22h·
Discuss: DEV
🦀Rust
Elegant Middleware Architecture Implementation(6302)
dev.to·3d·
Discuss: DEV
🦀Rust
Towards Open-Ended Emotional Support Conversations in LLMs via Reinforcement Learning with Future-Oriented Rewards
arxiv.org·2d
🧮Programming Language Theory
On This Day in Math - August 21
pballew.blogspot.com·7h·
Discuss: www.blogger.com
🔢Mathematical Logic
Chain of Thought
dev.to·21h·
Discuss: DEV
🔧Compiler Design
EmoSLLM: Parameter-Efficient Adaptation of LLMs for Speech Emotion Recognition
arxiv.org·7h
🔧Compiler Design
DeCoT: Decomposing Complex Instructions for Enhanced Text-to-Image Generation with Large Language Models
arxiv.org·2d
🔧Compiler Design
Mitigating Hallucinations in Large Language Models via Causal Reasoning
arxiv.org·2d
⚖️Logic Programming
Documentation That Scales: Building Knowledge Systems for Growing Dev Agencies
dev.to·6h·
Discuss: DEV
🔧Compiler Design
ChatGPT Taught Me Special Relativity—And Changed How I Learn
every.to·1d
🧩Theorem Proving