📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Physics+ Euler Lagrange Equation: UNIZOR.COM - Physics+ - Variations
unizor.blogspot.com·3d·
Discuss: www.blogger.com
📝Lisp
AI Literary Cartographer - System Design & Functional Specification
alexcorradi.bearblog.dev·13h
🧮Programming Language Theory
Announcing ChaCha12-BLAKE3: Secure, Simple and Fast encryption for any CPU
kerkour.com·22h
🦀Rust
On This Day in Math - August 6
pballew.blogspot.com·23h·
Discuss: www.blogger.com
🔢Mathematical Logic
odinlang: Odin looks like a promising C replacement
iio.ie·3d
📝Lisp
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
📈Complexity Theory
CAMA: Enhancing Mathematical Reasoning in Large Language Models with Causal Knowledge
arxiv.org·2d
🧩Theorem Proving
Reasoning Beyond Labels: Measuring LLM Sentiment in Low-Resource, Culturally Nuanced Contexts
arxiv.org·37m
🧮Programming Language Theory
CAP-LLM: Context-Augmented Personalized Large Language Models for News Headline Generation
arxiv.org·37m
🎲Probabilistic Programming
Creating a REST API in Go with Gin: A Pragmatic, Spec-First Guide
dev.to·11h·
Discuss: DEV
🦀Rust
Made (yet another) C++ CLI lib for embedded systems. Works over Wifi for ESP32!
reddit.com·9h·
Discuss: r/embedded
🔧Compiler Design
Show HN: Principles of Building AI Agents book [pdf]
github.com·14h·
Discuss: Hacker News
🧩Theorem Proving
A comprehensive taxonomy of hallucinations in Large Language Models
arxiv.org·2d
🧮Programming Language Theory
5 Python Libraries I Wish I'd Found Sooner
hackernoon.com·20h
💾Retrocomputing
Industrial LLM-based Code Optimization under Regulation: A Mixture-of-Agents Approach
arxiv.org·1d
🔧Compiler Design
Hessian analysis with JAX: a platform-agnostic, high-performance approach
lesswrong.com·1d
🎲Probabilistic Programming
Beyond Content: How Grammatical Gender Shapes Visual Representation in Text-to-Image Models
arxiv.org·1d
🧮Programming Language Theory
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·2d·
Discuss: DEV
🔧Compiler Design
Python performance myths and fairy tales
lwn.net·1d·
Discuss: Hacker News
📝Lisp
LeetCode 1: Two Sum (C#)
dev.to·3d·
Discuss: DEV
⚖️Logic Programming