📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

🖋️ Naive Protest and Calculated Terror
quillette.com·1d
🧫Cellular Automata
Announcing the Multicast Project for Squeak
news.squeak.org·6h·
Discuss: r/programming
🔌Network Programming
Sep 21 2025 : Intro to TouchDesigner
nycresistor.com·1d
🕸️Graph Theory
Calibrating an Ultrasonic Humidifier for Glycol Vapors
jefftk.com·1d
🎲Probabilistic Programming
Lionel Messi Set To Return As Inter Miami Targets Second Title
forbes.com·10h
🧮Programming Language Theory
The hidden DNA organizer linking fertility and cancer
sciencedaily.com·18h
🧫Cellular Automata
How AI Retrieves Anatomical Structures Using Vector Databases
hackernoon.com·12h
🎲Probabilistic Programming
Google Aiming for Gold
divested.dev·8h·
Discuss: Hacker News
👐Open Source Software
Building an AI-Powered Code Reviewer with MCP (Part 1)
medium.com·1d·
Discuss: r/devops
🧩Theorem Proving
Show HN: Vectorless RAG
github.com·12h·
Discuss: Hacker News
🗄️Database Theory
How to format while writing pointers in C?
reddit.com·4d·
Discuss: r/C_Programming
🧠Memory Management
Exploring Assumptions of K-means Clustering using R
dev.to·14h·
Discuss: DEV
🎲Probabilistic Programming
Understanding Generative AI Models: How They Create New Content and Transform Industries
dev.to·12h·
Discuss: DEV
🎲Probabilistic Programming
How do you deal with the fear of installing potentially risky tools?
reddit.com·8h·
Discuss: r/devops
👐Open Source Software
MobileDenseAttn:A Dual-Stream Architecture for Accurate and Interpretable Brain Tumor Detection
arxiv.org·17h
🎲Probabilistic Programming
AI Made Simple: Understanding LLMs, RAG, and MCP Servers 🤖
dev.to·14h·
Discuss: DEV
🎲Probabilistic Programming
Hierarchical Contextual Grounding LVLM: Enhancing Fine-Grained Visual-Language Understanding with Robust Grounding
arxiv.org·1d
🎲Probabilistic Programming
Persuasiveness and Bias in LLM: Investigating the Impact of Persuasiveness and Reinforcement of Bias in Language Models
arxiv.org·2d
🎲Probabilistic Programming
🚀 GitHub Copilot: A Persona-Based Approach to Real-World Development
dev.to·1d·
Discuss: DEV
📦WebAssembly
50% of Roger Federer is "er"
iamvishnu.com·1d
🧮Programming Language Theory