Isidore Mohr
isidoremohr@types.pl
<p>intercalary integrities</p><p><a href="https://isdra.bandcamp.com/album/girards-paradox" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">isdra.bandcamp.com/album/girar</span><span class="invisible">ds-paradox</span></a></p>
Posts
-
Post #4512027
huh does internet archive not work on types.pl? i could see arguments for or against that
-
Post #4512026
apparently the Brethren of Purity (Ikhwan as-Safa&#39;), a 10th-century philosophical/theological/mathematical society, solved the &quot;first uninteresting number&quot; paradox by answering that it was 11: https://www.pdcnet.org/collection-ng/fshow?id=bjp_2015_0007_0001_0071_0076&amp;pdfname=bjp_2015_0007_0001_0071_0076.pdf&amp;file_type=pdf
-
Post #4512025
rórs &lt;- scheme but icelandic
-
Post #4512024
new music, based on the reduction behavior of Girard&#39;s paradox! will be presenting on this at FARM 2026 in August: https://isdra.bandcamp.com/track/girards-paradox-progression-i-two-loops
-
Post #4512023
RE: https://types.pl/@claire/116958862568927643 Check these out! Featuring the theory of uzulangs, computer-assisted quilting, techno-juggling, and more!
-
Post #4512022
Hi all! @claire and I are hosting Composition, an algorave, technical salon, and meetup exploring the intersections of arts, math, and code. See our website (https://composition.codes) instagram (@composition.codes) for more on our prior events. We&#39;re looking for presenters/performers for our next event, Composition #2, which will be at Wonderville in Brooklyn on November 8th, 2026! The typical structure of our event includes talks, performances, and demos. We like to see projects that...
-
Post #2888333
noooooo i have some repeated logic in rust that&#39;s most naturally expressed as an eliminator but i need it to do some mutable stuff that&#39;s incompatible with closure ownership
-
Post #2888332
hm. seems like the number of steps it takes for the (minimized) Hurkens term of Girard&#39;s paradox to loop is quadratic in the number of previous iterations
-
Post #2888331
for anyone who will be in Philadelphia on Sunday the 24th (weekend of NJPLS!!), check out Composition! art/math/code event at the Rotunda at 40th and Walnut, cohosted by me and @claire further details and free RSVP here: https://luma.com/w9zx0rhu
-
Post #2888330
i just want to do macro expansion under functors for god&#39;s sake!
-
Post #2888329
today 2-5 pm! https://types.pl/@isidoremohr/116601590974483703