∫ Computable Analysis - pulanski · Scour

First Proof | Research-Level Math for AI Evaluation

1stproof.org·2d·

Discuss: Hacker News

🧩Constraint Programming

On the Tension Between Object-Oriented and Generic Programming in C++

artima.com·14h

🔬Static Analysis

On the computability of cofinal Fra\"iss\'e limits

arxiv.org·6d

⚙️Concurrency Models

Splitwise alternative that makes sense

divvy.club·2h·

Discuss: Hacker News

Early History of a Perfect Join Algorithm

remy.wang·14h

How I Built My Project in Haskell

dev.to·12h·

Discuss: DEV

🦀Rust Macros

Revisiting Regular Types

abseil.io·14h

🔤Type Theory

The Little Book of Linear Algebra

little-book-of.github.io·1d

📐Linear Algebra

Long-Sought Proof Tames Some of Math’s Unruliest Equations

quantamagazine.org·1d·

Discuss: Hacker News, Hacker News

⚙️Concurrency Models

Nonlinear random walks on hypergraphs characterized by higher-order interactions

sciencedirect.com·21h

Build a Compiler in Five Projects

kmicinski.com·1d

🔨Compiler Design

Let Lambda Come Over

yamlscript.org·1d

Grace Hopper's Revenge

thefuriousopposites.com·1h

🔬Static Analysis

Conformal Scalar Field Theory from Ising Tricriticality on the Fuzzy Sphere

link.aps.org·1d

⚙️Concurrency Models

A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)

blog.sigfpe.com·1d

📐Category Theory

gharasathi (घरासाठी) — A Privacy-First Household AI Running on a $200 Mini PC

amazon.com.au·8h·

Discuss: DEV

**Abstract:** This paper proposes a novel framework for quantifying the inherent logical incompleteness present in Gödelian systems by dynamically mapping ax...

freederia.com·1d

✓Formal Verification

V.I. Arnold, On teaching mathematics

karlin.mff.cuni.cz·19h·

Discuss: Hacker News

📐Category Theory

creact-labs/creact: CReact is a meta-runtime for building domain-specific, reactive execution engines.

github.com·7h·

Discuss: r/node, r/reactjs

🦀Rust Macros

What should I program?

jamesmcm.github.io·3h

🔨Compiler Design

Loading more...