♾️ Codata Types - abnv · Scour

Impredicativity in Linear Dependent Type Theory

arxiv.org·14h

∀Quantified Types

[2602.07604] Free fibrations, lax colimits and Kan extensions for $(infty,2)$-categories

arxiv.org·6h

🔗Category Theory

January 2026 Monthly report | Alternative Rust Compiler for GCC

rust-gcc.github.io·6h·

Discuss: r/rust

🦀MIR Optimization

Maximally Nonprojective Measurements Are Not Always Symmetric Informationally Complete

link.aps.org·7h

⚡Partial Evaluation

I got bored and had Claude design and implement a programming language

github.com·10h·

Discuss: Hacker News

✅Type Checking

Main Content || Math ∩ Programming

jeremykun.com·1d

🔢Algebraic Datatypes

Coding A PoS Tagger from Scratch — A Statistical Part-of-Speech Tagger | NLP

pub.towardsai.net

·21h

🔤Language Tokenizers

Making every identity count: Free tool developed for better handling of identity data in research surveys

phys.org·2h

✨Effect Inference

Autobiolocation

autobiolocation.is·1d·

Discuss: Hacker News

💫Effect Systems

Adding Myers Diff To Share Link Snapshots In Big Sexy Poems

bennadel.com·1d

📝Editor Buffers

Mathematicians disagree on the essential structure of the complex numbers

infinitelymore.xyz·3h·

Discuss: Hacker News

📐Mathematical Computing

Universal Turing Machine

universalturingmachine.org·5h

🎯Finite Automata

Towards a Standard for JSON Document Databases

muratbuffalo.blogspot.com·20h·

Discuss: Blogger

📊Query Optimizers

About the Information System on Graph Classes and their Inclusions

graphclasses.org·1d

🔗Graph Rewriting

On the Tension Between Object-Oriented and Generic Programming in C++

artima.com·2d

🗂️Type Indexing

Just-in-Time Ontological Reframing: Teaching Gemini to Route Around Its Own Safety Infrastructure

recursion.wtf·23h

🔄Subinterpreters

What's up with Haskell's do notation?

slightknack.dev·1d

⚡functional programming

A Practitioner’s Guide to Taxonomies, Part III

jessicatalisman.substack.com

·15h·

Discuss: Substack

🗂️Term Indexing

An introduction to lockless algorithms [LWN.net]

lwn.net·1d

🎯Ring Buffers

Rust Memory Management: The Playroom Analogy

adacore.com·5h·

Discuss: Hacker News

🔒Rust Borrowing

Loading more...