📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

What is SAST and DAST? Key Differences Explained
boostsecurity.io·1h
🔍Static Analysis
Spain heatwave was most intense on record as Fires ravage an ageing rural Spain
terradaily.com·5h
⚙Functional Programming
TIL the Robert Frost poem “The Road Not Taken” was originally written as a joke, and is a criticism/deeper analysis of the idea that taking the “less travelled ...
poetryfoundation.org·13h·
Discuss: r/todayilearned
🧮Programming Language Theory
Galactic clusters impact star formation
sciworthy.com·5h
🎲Probabilistic Programming
LSU Schedule Predictions 2025: Game by Game LSU Tigers Predictions
sportsnaut.com·1h
⚖️Logic Programming
‘Ten Martini’ Proof Uses Number Theory to Explain Quantum Fractals
quantamagazine.org·1h
🔐Cryptography
Fixing my Old OS Assignment with Machine Code Hacks
gridbugs.org·1h·
Discuss: r/programming
💻Operating Systems
Eligibility Confusion: International Bachelor’s Grad (Non-GT Atlanta) Applying to Georgia Tech Europe – Help Needed
reddit.com·9h·
Discuss: r/u_AcademicCare9755
🧮Programming Language Theory
Show HN: A lightweight ML model to predict music emotion - energy, valence, etc.
github.com·19h·
Discuss: Hacker News
🎲Probabilistic Programming
I built Puhu, a pillow drop-in replacement in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust
3 Ways to Save Yourself From AI’s Critical Thinking Decline
psychologytoday.com·3h
🧫Cellular Automata
New ByteDance Seed reasoning RL paper, relating RL to self-supervised learning.
threadreaderapp.com·3d
🧩Theorem Proving
Exact Shapley Attributions in Quadratic-time for FANOVA Gaussian Processes
arxiv.org·4d
🎲Probabilistic Programming
How I Cut AWS RAG System Response Time from 30 Seconds to 100ms
dev.to·2d·
Discuss: DEV
🧠Memory Management
Collaborative Workflow Optimization via Dynamic Resource Allocation & Cognitive Agent Mediation (DRAM-CAM)
dev.to·1d·
Discuss: DEV
⚡Concurrency
Deep Learning for School Dropout Detection: A Comparison of Tabular and Graph-Based Models for Predicting At-Risk Students
arxiv.org·4d
🎲Probabilistic Programming
Is Prompt Engineering Just Hype for Now?
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Thoughts about how using RLHF and Related "Prosaic" Approaches Might Yield Robustly Aligned AIs.
lesswrong.com·1d
🔗Parser Combinators
Artificial Intelligence-Based Multiscale Temporal Modeling for Anomaly Detection in Cloud Services
arxiv.org·4d
🎲Probabilistic Programming
Python’s Continued Supremacy "From Python to Rust: What’s Hot in 2025 Programming"
dev.to·3d·
Discuss: DEV
📝Lisp