📐 Mathematics - weblwabl

🗄️Databases Academic

d4m.mit.edu··Hacker News

Secure Computation against $\mathsf{NC^1}$ Leakage without Secure Hardware

💻Computer Science

eprint.iacr.org·

A Graph-Based Execution Model for Descriptive Problem Solving

🔍Query Engines Blog

medium.com

Stochastic Parrots & Subturing Minds: THURSDAY INFORMATION SOCIOLOGY

🔢Linear Algebra Blog

braddelong.substack.com

··Substack

Apostol's Solution to the Basel problem

🔢Linear Algebra Blog

abstractnonsense.xyz·

Recent progress around Cohen-Lenstra heuristics (notes from a Bourbaki talk)

💻Computer Science Blog

quomodocumque.wordpress.com·

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics

💻Computer Science Academic

arxiv.org·

Shrivastava-Aditya/boolean-algebra-engine: Deterministic boolean algebra engine — evaluates expressions, detects contradictions, audits logic rules. MCP server, NL layer, REST API, CLI, Streamlit UI.

🔍Query Engines Code

github.com··Hacker News, r/LLM

tensor product of stable (infinity,1)-categories in nLab

🔧Linkers

ncatlab.org·

SNARGs for NP from Unprovability of Mathematical Theorems

🌐Distributed Systems

eprint.iacr.org·

Chiral algebras with abelian conformal part

🔢Linear Algebra Academic

arxiv.org·

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

💻Computer Science Code

github.com··Hacker News

AI cracked an Erdős math problem. Now experts want guardrails

How Terry Tao Became an Evangelist for AI in Math

Spifflicating with Spivak's Calculus

What Blackened Teeth Knew

The Standard Model from a CM Point and the Exceptional Jordan Algebra

Principal Component Analysis (PCA): Theory, Mathematics, and Applications

Modular Arithmetic Challenge

The Best Math Movies: Lives Written on the Board

D4M: Dynamic Distributed Dimensional Data Model

Secure Computation against $\mathsf{NC^1}$ Leakage without Secure Hardware

A Graph-Based Execution Model for Descriptive Problem Solving

Stochastic Parrots & Subturing Minds: THURSDAY INFORMATION SOCIOLOGY

Apostol's Solution to the Basel problem

Recent progress around Cohen-Lenstra heuristics (notes from a Bourbaki talk)

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics

Shrivastava-Aditya/boolean-algebra-engine: Deterministic boolean algebra engine — evaluates expressions, detects contradictions, audits logic rules. MCP server, NL layer, REST API, CLI, Streamlit UI.

tensor product of stable (infinity,1)-categories in nLab

SNARGs for NP from Unprovability of Mathematical Theorems

Chiral algebras with abelian conformal part

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.