📐 Category Theory - beachlorn · Scour

A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems 🔤Type Theory

arxiv.org·2d

Uhlenbeck's singularity theorem in nLab λLambda Calculus

ncatlab.org·4d

Reebok Spring Sale: Up to 87% Off Select Apparel & Shoes 🗂️PKM

sport.woot.com·11h

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

link.aps.org·4h

How I Beat MLX's Softmax with Abstract Algebra 🧩SMT Solvers

nasser.nz·2d

The first non-mammalian synapsid embryo from the Triassic of South Africa 🌌Astrophysics

journals.plos.org·22h

A single equation for intelligence – from quantum mechanics to AGI in 5 axioms 🔢Modular Arithmetic

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

Released my first CT/Wallet Tracking Bot for Polymarket after months! 🗂️PKM

automated-tools.gitbook.io·2h·r/SideProject

Superconductivity and electronic structures of nickelate thin film superstructures 🌌Astrophysics

nature.com

·2d

Advanced CT scan analysis may help identify different forms of sarcoidosis 🌌Astrophysics

medicalxpress.com·7h

RT by @elonmusk: Grok and Tesla FSD are literally saving lives 📚Forth

twitter.macworks.dev·9h

Mergeable SNARGs for Trapdoor Languages and Their Applications 🔬Closure Analysis

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. 🔀Modal Logic

gazzetta.it

Boehringer hands over $50m and market rights for Click’s digital therapeutic ✨Effect Handlers

finance.yahoo.com·6h

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

news.njit.edu·2d

GDT: Stars vs. Wild (8 PM CT) 🌌Astrophysics

defendingbigd.com·22h

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 🔢Modular Arithmetic

nadz.xyz·2d

Apple is closing three US stores, including the first to unionize 🔩Assembly

engadget.com·22h

World Champion Argentina to Face Iceland June 9 at Jordan-Hare Stadium 🦥Haskell

auburntigers.com·1d·r/soccer

Loading more...