Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Isidore Mohr

@isidoremohr@types.pl
mastodon 4.8.0-alpha.2+glitch
  • Open on types.pl

intercalary integrities

https://isdra.bandcamp.com/album/girards-paradox

53 Followers
67 Following
19 Posts
Joined July 10, 2023
Open post
Isidore Mohr @isidoremohr@types.pl
· 2mo ago

Hi all! @claire@types.pl 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'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 combine arts with math or code at technical depth; works in progress are welcomed. Examples from our last event include a talk on the theory of uzulangs, a quilt of the Penrose aperiodic tiling, and Techno-Juggling. The submission form is here, with a deadline of September 28th, 2026: https://forms.gle/finHPEoh1VN6dPNq5

Feel free to send this form to anyone interested, and ask us any questions on here or at let@composition.codes.

composition.codes
4
1
7
0
Open post
Isidore Mohr @isidoremohr@types.pl
· 2mo ago

new music, based on the reduction behavior of Girard's paradox! will be presenting on this at FARM 2026 in August: https://isdra.bandcamp.com/track/girards-paradox-progression-i-two-loops

isdra.bandcamp.com
2
0
0
0
Open post
Isidore Mohr @isidoremohr@types.pl
· 4mo ago
Replying to
njpls
FARM stands for floating-point art, music, modelling, and design
4
1
0
0
Open post
Isidore Mohr @isidoremohr@types.pl
· 4mo ago
Replying to
njpls
international conference on floating point
3
1
0
0
Open post
Isidore Mohr @isidoremohr@types.pl
· 4mo ago

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@types.pl

further details and free RSVP here: https://luma.com/w9zx0rhu

luma.com
3
0
1
0
Open post
Isidore Mohr @isidoremohr@types.pl
· 4mo ago

apparently the Brethren of Purity (Ikhwan as-Safa'), a 10th-century philosophical/theological/mathematical society, solved the "first uninteresting number" paradox by answering that it was 11: https://www.pdcnet.org/collection-ng/fshow?id=bjp_2015_0007_0001_0071_0076&pdfname=bjp_2015_0007_0001_0071_0076.pdf&file_type=pdf

pdcnet.org
2
1
0
0
Open post
Isidore Mohr @isidoremohr@types.pl
· 4mo ago
Replying to
njpls
i see my post
2
0
0
0
Open post
Isidore Mohr @isidoremohr@types.pl
· 3mo ago

rórs <- scheme but icelandic

1
0
1
0
Open post
Isidore Mohr @isidoremohr@types.pl
· 7mo ago
Replying to
@chrisamaphone@hci.social i'll be there!
3
0
0
0
Open post
Isidore Mohr @isidoremohr@types.pl
· 4mo ago

today 2-5 pm!

@isidoremohr@types.pl

types.pl
1
0
0
0
Open post
Isidore Mohr @isidoremohr@types.pl
· 5mo ago
Replying to
3n^2-2, to be specific, at least if my implementation is correct
0
0
0
0
Open post
Isidore Mohr @isidoremohr@types.pl
· 5mo ago
Replying to
oh nvm it's doable with mutable references to the closures
0
0
0
0
Open post
Isidore Mohr @isidoremohr@types.pl
· 6mo ago
Replying to
@etrolleybus was a big part of my life for about a year! under construction the whole time
0
3
0
0
Open post
Isidore Mohr @isidoremohr@types.pl
· 6mo ago
Replying to
@etrolleybus ppl get so weird about north philly, i've seen ppl talking like anything north of cecil b is a death sentence
0
0
0
0
Open post
Isidore Mohr @isidoremohr@types.pl
· 2mo ago

RE: @claire@types.pl

Check these out! Featuring the theory of uzulangs, computer-assisted quilting, techno-juggling, and more!

types.pl
0
0
0
0
Open post
Isidore Mohr @isidoremohr@types.pl
· 4mo ago

huh does internet archive not work on types.pl? i could see arguments for or against that

0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 07:51:54 UTC