📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Unlock Hidden SEO Power: Integrate Schema Markup Directly into Your CMS Template
hollowcore.co.uk·21h·
Discuss: DEV
🏗️Software Architecture
[$] Simpler management of the huge zero folio
lwn.net·1d
🧠Memory Management
The old software investing playbook is dead. Here’s where to put your money now.
marketwatch.com·1h
⚖Algorithmic Game Theory
Carbon and Modernizing C++ with Chandler Carruth
softwareengineeringdaily.com·2d
🧮Programming Language Theory
What Are the Rules of the Universe? Google’s Quantum Computer Is Finding Out
scitechdaily.com·1d
🔐Cryptography
Smooth Minimum for Signed Distance Fields (2013)
iquilezles.org·1d·
Discuss: Hacker News
🎲Probabilistic Programming
The Future of LLM Development is Open Source
kdnuggets.com·1d
👐Open Source Software
Breaking Into Quant Trading: A Practical, No-Fluff Guide
hackernoon.com·1d
⚖Algorithmic Game Theory
Combinators Revisited • Edward Kmett • YOW! 2018
youtube.com·5d
⚙Functional Programming
I made a Brainfuck to JVM compiler (with Node.js) from scratch… and it was surprisingly fun
github.com·1d·
Discuss: r/node
🔧Compiler Design
Exploring the Technical Knowledge Interaction of Global Digital Humanities: Three-decade Evidence from Bibliometric-based perspectives
arxiv.org·3d
🧮Programming Language Theory
5 relatively obscure self-hosted apps I’d use if I were to go back to school
xda-developers.com·1d
🔌Network Programming
Improving Diversity in Language Models: When Temperature Fails, Change the Loss
arxiv.org·2d
🧮Programming Language Theory
FIRESPARQL: A LLM-based Framework for SPARQL Query Generation over Scholarly Knowledge Graphs
arxiv.org·1d
🧩Theorem Proving
Large Language Models for Subjective Language Understanding: A Survey
arxiv.org·4d
🔗Parser Combinators
From Code to Docs: One Workflow That Does It All
crompt.ai·1d·
Discuss: DEV
🔧Compiler Design
What Does a Software Architect Actually Do?
dev.to·1d·
Discuss: DEV
🏗️Software Architecture
CoDAE: Adapting Large Language Models for Education via Chain-of-Thought Data Augmentation
arxiv.org·3d
🔧Compiler Design
Multi-Label Plant Species Prediction with Metadata-Enhanced Multi-Head Vision Transformers
arxiv.org·1d
🎲Probabilistic Programming
Between Fear and Desire, the Monster Artificial Intelligence (AI): Analysis through the Lenses of Monster Theory
arxiv.org·3d
🤖Sci-Fi