🔢 Algebraic Datatypes - abnv · Scour

Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition

arxiv.org·23h

📐Mathematical Computing

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

abelianization of an additive category in nLab

ncatlab.org·12h

🔗Category Theory

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

medium.com·12h·

Discuss: Hacker News

🪢Rope Data Structures

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

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

dev.to·15h·

Discuss: DEV

Unification of Deterministic Higher-Order Patterns

arxiv.org·23h

🔗Unification Algorithms

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

shibaprasadb.com·20h·

Discuss: Hacker News

🔍ML Language

Kolmogorov Complexity

en.wikipedia.org·16h·

Discuss: Hacker News

λLambda Calculus

Generalized Statistics on Lattices

link.aps.org·20h

🔶Lattice Theory

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

iquilezles.org·1d

⚡Partial Evaluation

Reals, Complex, Quaternions and Octonions

nigelvr.github.io·2d·

Discuss: Hacker News

🧮Linear Algebra

GNU C Language Manual

gnu.org·9h

🪄C Metaprogramming

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Template Method Design Pattern

denvaar.dev·1d

MathGPT Graphing: fast interactive graphs with AI help

mathgpt.today·10h·

Discuss: Hacker News

🧩Constraint Solvers

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·15h·

Discuss: Hacker News

🔢Binary Formats

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·16h

🏗️Cranelift

Loading more...