📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Structuring Restaurant Menu Data for Easy Access and Analysis
panerabread-menus.info·1d·
Discuss: DEV
🗄️Database Theory
ERMAC 3.0 Source Code Leak Reveals Expanding Threat
securityaffairs.com·1d
🛡️IoT Security
“I've got a bad feeling about this”
boston.conman.org·1h
📊Information Theory
On The Little Things of Data Representation
lmika.org·3d
🗄️Database Theory
A little project to learn metadata and Obsidian publish
notes.metaphist.com·3h·
Discuss: r/ObsidianMD
💾Retrocomputing
The Arialpocalypse: Default thinking ate the world.
brilliantcrank.com·2d
👐Open Source Software
Just a Little More Context Bro, I Promise, and It’ll Fix Everything
blog.jim-nielsen.com·2d
🧩Theorem Proving
C++20 Modules: Practical Insights, Status and TODOs
chuanqixu9.github.io·3d·
Discuss: r/cpp
🔧Compiler Design
Training-free Dimensionality Reduction via Feature Truncation: Enhancing Efficiency in Privacy-preserving Multi-Biometric Systems
arxiv.org·3h
🔐Cryptography
Robust Convolution Neural ODEs via Contractivity-promoting regularization
arxiv.org·3h
🧭SMT Solvers
Web Accessibility: A business imperative, not just a technical detail
dev.to·14h·
Discuss: DEV
⚖Algorithmic Game Theory
Foldable SuperNets: Scalable Merging of Transformers with Different Initializations and Tasks
arxiv.org·3h
🔗Parser Combinators
OpenConstruction: A Systematic Synthesis of Open Visual Datasets for Data-Centric Artificial Intelligence in Construction Monitoring
arxiv.org·3h
🏗️Software Architecture
Need a team for an open source version of Spectre Divide
github.com·2d·
Discuss: r/godot
👐Open Source Software
Understanding Go Error Types: Pointer vs. Value + `errortype` Linter (seeking feedback!)
reddit.com·2d·
Discuss: r/golang
✅Formal Verification
High-Performance Routing System Design and Implementation(6225)
dev.to·1d·
Discuss: DEV
🦀Rust
A philosophical kernel: biting analytic bullets
lesswrong.com·3d
🔢Mathematical Logic
Project/Learning Advice
reddit.com·1d·
Discuss: r/AskProgramming
🔌Network Programming
Samuel Basallo, No. 8 MLB prospect, to make his MLB debut for Orioles
nytimes.com·15h
🧫Cellular Automata
⭐ WaylonWalker pyDataVizDay
waylonwalker.com·1d
🎯Constraint Programming