🔄 Category Theory - plumenator · Scour

A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems λFunctional Programming

arxiv.org·2d

entanglement wedge in nLab 📐PLT

ncatlab.org·5d

Reebok Spring Sale: Up to 87% Off Select Apparel & Shoes 📈Investing

sport.woot.com·7h

Strain-induced antiferromagnetic to altermagnetic phase transition and topology in ${({\mathrm{CrO}}_{2})}_{1}/{({\mathrm{TaO}}_{2})}_{2}$ superlattice 🦥Haskell

link.aps.org·1h

How I Beat MLX's Softmax with Abstract Algebra 🧮Lean

nasser.nz·2d

The first non-mammalian synapsid embryo from the Triassic of South Africa 🔤Linguistics

journals.plos.org·19h

A single equation for intelligence – from quantum mechanics to AGI in 5 axioms λFunctional Programming

holon.sh·4d·Hacker News, Hacker News

Advanced CT scan analysis may help identify different forms of sarcoidosis 🔍Abstract Interpretation

medicalxpress.com·4h

Running AI Workloads on Rack-Scale Supercomputers: From Hardware to Topology-Aware Scheduling 🌀Idris

developer.nvidia.com·2d

Boehringer hands over $50m and market rights for Click’s digital therapeutic 📈Investing

finance.yahoo.com·3h

GDT: Stars vs. Wild (8 PM CT) 📺TV Series

defendingbigd.com·18h

Mergeable SNARGs for Trapdoor Languages and Their Applications ✅Proof Assistants

eprint.iacr.org·3d

Luciano Spalletti has reached an agreement in principle with Juventus to sign a new contract. The deal will be valid until 2028. 🌺Telugu

gazzetta.it

Apple is closing three US stores, including the first to unionize ⚙️Compilers

engadget.com·18h

World Champion Argentina to Face Iceland June 9 at Jordan-Hare Stadium ⚙️c++

auburntigers.com·1d·r/soccer

Topology-guided rotational dynamics of magnetic soliton assemblies under pulsed current 🌀Idris

nature.com·3d

YWCC Student Hopes Her NASA Supported Mission Project Makes It to the Dark Side of the Moon 📐PLT

news.njit.edu·2d

Munkres' General Topology Autoformalized in Isabelle/HOL ✅Proof Assistants

arxiv.org·13h

A decade of certificate transparency and what may come next (eh23) ✅Formal Verification

cdn.media.ccc.de·5d

Pricing DeFi Lending Risk: Repo, Puts, Tokenized Funds 📈Investing

nadz.xyz·2d

Loading more...