Monads in Lean

Hacker News New2026-11-11 14:310 views

Points: 2

# Comments: 0

arXiv:2607.06475v2 Announce Type: replace Abstract: We study the scattering of time-harmonic electromagnetic waves by pe

arXiv:2606.01392v2 Announce Type: replace Abstract: Starting from Maxwell's and linear momentum balance equations, we de

arXiv:2605.07246v2 Announce Type: replace Abstract: The goal of this paper is to show that for rational multivariate fun

arXiv:2609.15197v2 Announce Type: replace Abstract: This letter proposes a formal synthesis of Robust Koopman-Model Pred

Article URL: https://nikvdp.com/notes/subagents-considered-harmful/ Comments URL: https://news.ycombinator.com/item?id=5

Article URL: https://www.theregister.com/systems/2026/11/10/a-closer-look-at-verano-amds-first-step-toward-a-zen-based-s

Related posts