📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Kommande release för Libris
kb.se·1d
👐Open Source Software
TBM 375: Minimally Viable Consistency
cutlefish.substack.com·1d·
Discuss: Substack
🧮Programming Language Theory
Games as Art: Erin Tierney
blog.alexrinehart.net·1d
⚖Algorithmic Game Theory
The Pleasure of Patterns in Art
nautil.us·2d
🧫Cellular Automata
From Go code to container image with Depot API
depot.dev·2d
🦀Rust
Research on smartphone image source identification based on PRNU features collected multivariate sampling strategy
sciencedirect.com·1d
🎲Probabilistic Programming
The Rise of the “Shadow AI Economy”: Employees Outpace Companies in AI Adoption
blogger.com·1h
🤖Sci-Fi
The Reality of Recursive Improvement: How AI Automates Its Own Progress
3quarksdaily.com·1d
🧩Theorem Proving
Zero to Mastery: [August 2025] Python Monthly Newsletter 🐍
zerotomastery.io·3d
🧮Programming Language Theory
Looking to reuse old parts
reddit.com·1h·
Discuss: r/homelab
💾Retrocomputing
You're doing context engineering wrong
github.com·5h·
Discuss: Hacker News
🧠Memory Management
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·2d·
Discuss: Hacker News
🧩Theorem Proving
A thermo-electrical dual control strategy for SOEC system based on a neural network feedforward algorithm
sciencedirect.com·1d
🌍Distributed Systems
Rao Differential Privacy
arxiv.org·2d
🔐Cryptography
Response splicing quantitative trait loci in primary human chondrocytes identify putative osteoarthritis risk genes
nature.com·1d
🧫Cellular Automata
Intersubjective Agreement about Quantum States Is Unnecessary in QBism
arxiv.org·2d
🔐Cryptography
COVID19 Prediction Based On CT Scans Of Lungs Using DenseNet Architecture
arxiv.org·2d
🕸️Graph Theory
Towards Synthesizing Normative Data for Cognitive Assessments Using Generative Multimodal Large Language Models
arxiv.org·2d
🎲Probabilistic Programming
Need a help regarding oss
reddit.com·4d·
Discuss: r/rust
🦀Rust
ArgusCogito: Chain-of-Thought for Cross-Modal Synergy and Omnidirectional Reasoning in Camouflaged Object Segmentation
arxiv.org·2d
⚙Functional Programming