🔢 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·21h

📐Mathematical Computing

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

abelianization of an additive category in nLab

ncatlab.org·10h

🔗Category Theory

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

medium.com·10h·

Discuss: Hacker News

🪢Rope Data Structures

Designing Boring Software with Functional Programming

agentultra.com·23h

🪞Homoiconicity

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

dev.to·13h·

Discuss: DEV

Unification of Deterministic Higher-Order Patterns

arxiv.org·21h

🔗Unification Algorithms

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

shibaprasadb.com·18h·

Discuss: Hacker News

🔍ML Language

Kolmogorov Complexity

en.wikipedia.org·14h·

Discuss: Hacker News

λLambda Calculus

Generalized Statistics on Lattices

link.aps.org·19h

🔶Lattice Theory

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

iquilezles.org·22h

⚡Partial Evaluation

GNU C Language Manual

gnu.org·7h

🪄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

Template Method Design Pattern

denvaar.dev·23h

MathGPT Graphing: fast interactive graphs with AI help

mathgpt.today·8h·

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

Discuss: Hacker News

🔢Binary Formats

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·14h

🏗️Cranelift

Loading more...