🔢 Algebraic Datatypes - abnv · Scour

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

arxiv.org·1h

🧩Constraint Solvers

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

medium.com·14h·

Discuss: Hacker News

🪢Rope Data Structures

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·17h·

Discuss: DEV

abelianization of an additive category in nLab

ncatlab.org·14h

🔗Category Theory

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Unification of Deterministic Higher-Order Patterns

arxiv.org·1d

🔗Unification Algorithms

From 75% to 99.6%: The Math of LLM Ensembles

shibaprasadb.com·22h·

Discuss: Hacker News

🔍ML Language

Kolmogorov Complexity

en.wikipedia.org·18h·

Discuss: Hacker News

λLambda Calculus

Generalized Statistics on Lattices

link.aps.org·23h

🔶Lattice Theory

value noise derivatives - 2008 - Inigo Quilez :: computer graphics, maths, shaders, fractals, demoscene

iquilezles.org·1d

⚡Partial Evaluation

GNU C Language Manual

gnu.org·11h

🪄C Metaprogramming

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Reals, Complex, Quaternions and Octonions

nigelvr.github.io·2d·

Discuss: Hacker News

🧮Linear Algebra

MathGPT Graphing: fast interactive graphs with AI help

mathgpt.today·12h·

Discuss: Hacker News

🧩Constraint Solvers

Template Method Design Pattern

denvaar.dev·1d

Postmortem on TreeTracker Join: Simple, Optimal, Fast

zhu45.org·1d·

Discuss: Hacker News

🌳Tree Algorithms

Variation on Iota

toolofthought.com·2d·

Discuss: Hacker News

🔢Bit Manipulation

cognitect/transit-format: A data interchange format.

github.com·17h·

Discuss: Hacker News

🔢Binary Formats

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·18h

🏗️Cranelift

Loading more...