📐 Quotient Types - abnv · Scour

Reflexive graph lenses in univalent foundations

arxiv.org·1d

🔍Lens Libraries

Ordinal arithmetic

infinitelymore.xyz

·1h

📐Mathematical Computing

haskellweekly.news·3h

⚡functional programming

abelianization of an additive category in nLab

ncatlab.org·22h

🔗Category Theory

Reals, Complex, Quaternions and Octonions

nigelvr.github.io·3d·

Discuss: Hacker News

🧮Linear Algebra

Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons

arxiv.org·9h

🧩Constraint Solvers

Resisting Reality

lesswrong.com·1h

🚂Error Propagation

Bagging: The Jury System That Taught Machine Learning the Wisdom of Crowds

dev.to·1h·

Discuss: DEV

weitianxin/Awesome-Agentic-Reasoning

github.com·6h

🤖Abstract Machines

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

Topological order and fractons from gauging exponential symmetries

link.aps.org·1d

λLambda Calculus

Randomization in Typst

idraluna-archives.bearblog.dev·19h

🌊Gradual Effects

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

Qdrant - Vector Database

qdrant.tech·1d

🔍Query Engines

**Abstract:** This paper presents a novel framework for formally verifying the consistency of quantum field theories (QFTs) in the presence of Gödel’s ...

freederia.com·3d

Kolmogorov Complexity

en.wikipedia.org·1d·

Discuss: Hacker News

λLambda Calculus

Free papers, get your free papers here!

esat.kuleuven.be·19h

🔗Hash Functions

Variation on Iota

toolofthought.com·3d·

Discuss: Hacker News

🔢Bit Manipulation

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·1d

🏗️Cranelift

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·22h·

Discuss: Hacker News

🪢Rope Data Structures

Loading more...