🎯 Type Theory

Dependent Types, Category Theory, Formal Verification, Lambda Calculus

Feeds to Scour
SubscribedAll
Scoured 83171 posts in 1.58 s
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.org·22h
⚡Effect Handlers
On QC and GQC algebraic geometry codes
arxiv.org·22h
🔢Algebraic Datatypes
Second Order Cybernetics
notes.pinboard.in·2d
⚡Control Synthesis
The Hairy Ball Theorem
3quarksdaily.com·2d
🧮Combinator Calculus
Object-Oriented Programming (OOPs)
dev.to·1d·
Discuss: DEV
🔀Control Structures
🚀 Day 4 of #100DaysOfDevOps: Python Regular Expressions with Practical Examples
dev.to·2d·
Discuss: DEV
🔤Regex Engines
A Practitioner's Guide to Taxonomies, Part II
jessicatalisman.substack.com
·4d·
Discuss: Substack
🌳Tree Diffing
I spent 2 weeks playing god. My learnings from 597 genetic algorithm lineages
blog.silennai.com·2d·
Discuss: Hacker News
✨Effect Inference
🎲 Thoughts on LLMs and AI
joshghent.com·1d
🎭Program Synthesis
Formally Verifying PBS Kids with Lean4
shadaj.me·4d·
Discuss: Hacker News
🧮Combinator Calculus
tarek-clarke/resilient-rap-framework: To test the viability of a resilient analytical pipeline for clinical and sports health telemetry
github.com·1d·
Discuss: Hacker News
🚂Error Propagation
The LLM spectrum and responsible LLM use
martin.janiczek.cz·2d·
Discuss: Lobsters, Hacker News
🎮Language Ergonomics
As Rocks May Think
evjang.com·3d·
Discuss: Hacker News, r/programming
🗺️Region Inference
The Missing Layer
yagmin.com·1d·
Discuss: Hacker News
🎭Program Synthesis
A Modern Python Stack for Data Projects (uv + ruff + ty + Marimo + Polars)
mameli.dev·2d·
Discuss: r/programming
🚂Cranelift Backend
pdf-association/arlington-pdf-model: A vendor- and implementation-independent specification-derived, machine-readable model of PDF.
github.com·2d
📇Symbol Tables
*META‑Discover: An Automated Knowledge‑Graph‑Driven Pipeline for Emergent Topological Invariants in High‑Dimensional Random Simplicial Complexes*
freederia.com·9h
🪢Rope Data Structures
Fifty Shades of OOP
lesleylai.info·4d
🔗Weak References
slow abstraction
steel-water.bearblog.dev·2d
🔗Weak References
Detecting backdoored language models at scale
microsoft.com·2d·
Discuss: Hacker News
🎲Parser Fuzzing

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help