minad/cape

minad/corfu

:desert_island: corfu.el - COmpletion in Region FUnction

Tugendhafte Räume - Virtuous Spaces

Virtuous Spaces for Ronen

Extension Next : des alertes sur 8 500 sites GenAI et contre les attaques par homographes

L’extension développée par Next – avec de l’IA générative – pour signaler des sites avec des contenus rédigés en tout ou partie par de l’IA générative…

Fermat's Last Theorem in Lean 4 (Lean 4.33.1, Mathlib v4.33.0) · anthropics/fermats-last-theorem@aa2d8b3

A complete machine-checked proof of Fermat's Last Theorem: the import closure of FinalCheck.lean - 1,450 definition modules (Definitions/), 29,511 statement modules (Theorems/), 29,511 proo...

Principal type-schemes for functional programs | Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.

Homotopical patch theory | ACM SIGPLAN Notices

Homotopy type theory is an extension of Martin-Löf type theory, based on a correspondence with homotopy theory and higher category theory. In homotopy type theory, the propositional equality type becomes proof-relevant, and corresponds to paths in a ...

Semble API | Cosmik

Fully featured xrpc endpoints for interacting with Semble.

Floor, ceiling, slopes, and K-theory

We calculate K_*(k[x]/x^e;Z_p) by evaluating the syntomic cohomology Z_p(i)(k[x]/x^e) introduced by Bhatt-Morrow-Scholze and Bhatt-Scholze. This recovers calculations of Hesselholt-Madsen and Speirs, and generalizes an example of Mathew treating the case e=2 and p>2. Our main innovation is systematic use of the floor and ceiling functions, which clarifies matters substantially even for e=2. We furthermore observe a persistent phenomenon of slopes. As an application, we answer some questions of Hesselholt.

Latest open artifacts (#23): Laguna S2.1, Inkling, & Kimi K3 show the utility of open models on the Pareto frontier

Capacity to train strong models is proliferating.