@j2kun@mathstodon.xyz

Jeremy Kun @j2kun@mathstodon.xyz · Jun 15, 2026

Replying to @zhenyi@mastodon.social

@zhenyi@mastodon.social buttersafe is so iconic

0

Jeremy Kun @j2kun@mathstodon.xyz · May 10, 2026

Replying to @jjacobsson@mastodon.gamedev.place

@jjacobsson@mastodon.gamedev.place on their way to reimplementing C++ I see

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 27, 2026

Trying something new and fun: instead of a "link tree" (a list of links to social accounts), I tried making a "link graph" and organizing them by the two most important axes of my online vibe: technical detail and whimsy

https://www.jeremykun.com/linkgraph

Feedback plz

5

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 27, 2026

Replying to @j2kun@mathstodon.xyz

@christianp perhaps there should be an index of all the OEIS entries that cite a FUN paper

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 27, 2026

Replying to @christianp@mathstodon.xyz

@christianp ha, "keyword: dumb"

1

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 17, 2026

Replying to @j2kun@mathstodon.xyz

Tbh I was shocked this one got such a low id. I still haven't figured out how they picked the id numbers when they transitioned to OEIS from the handbook

3

2

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 16, 2026

https://oeis.org/A000052

@catsalad@infosec.exchange

4

1

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 15, 2026

Replying to @regehr@mastodon.social

@regehr @thalia @dougmerritt well thank you for that effort!

2

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 15, 2026

Replying to @thalia@discuss.systems

@thalia @dougmerritt have you heard of the SMT backend added to MLIR? (Or maybe you were involved in that?)

1

3

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 15, 2026

It is really shocking to me how often software engineers equate "building a compiler" purely with the front end (parsers, DSLs, syntax ergonomics)

8

15

3

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 13, 2026

Replying to @svat@mathstodon.xyz

@svat ooh that's a good one. I've found a few more but saving it for a future thread

1

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 13, 2026

Replying to @j2kun@mathstodon.xyz

There are many hard-coded OEIS sequences and formulas in it, which leads to the amusing mental image of cache hunters standing in the wilderness, trying to decode a clue based on the look-and-say sequence, maybe using a stick to draw formulas in the dirt.

1

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 13, 2026

Replying to @j2kun@mathstodon.xyz

Finally, the GC wizard (https://github.com/GCWizard/GCWizard) is a geocaching app that serves as "an offline tool to support geocachers with in-field mysteries and riddles."

1

0

1

Jeremy Kun @j2kun@mathstodon.xyz · Apr 13, 2026

Replying to @j2kun@mathstodon.xyz

The Kobo e-reader has a document viewing program called Plato (https://github.com/baskerville/plato/) It has a pen tool for markup, and for whatever reason, they use A000041 (the number of partitions of n) as the options for pen size. No reasoning was given in the commit/PR that added this.

1

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 13, 2026

Replying to @j2kun@mathstodon.xyz

My real question is: how does music that relies on these weird sequences actually sound? I can't imagine a melody decided by the Inventory Sequence sounds very good. Every time someone does music based on the digits of pi, it's kind of meh. But let me know if you've tried this.

0

1

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 13, 2026

Replying to @j2kun@mathstodon.xyz

And then there's the Inventory Sequence, A342585 (http://oeis.org/A342585) (oh goodness what is going on there), which seems very much NOT music-theory ish.

0

1

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 13, 2026

Replying to @j2kun@mathstodon.xyz

It has the de Bruijn sequence (A000695), Recamán's sequence (A005132), Thue-Morse (A010060), Dress's sequence (A001316), and many more. There are a bunch of 10-adic decimal expansions like A225410, the 10-adic integer x such that \(x^3 = 7/9\), which seems...music-theory ish?

0

1

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 13, 2026

Replying to @j2kun@mathstodon.xyz

Then there's ziffers (https://github.com/amiika/ziffers) which is an extension for Sonic Pi. In their ziffers/lib/enumerables.rb there are a lot more, and weirder sequences.

0

7

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 13, 2026

Replying to @j2kun@mathstodon.xyz

As far as OEIS sequences, they have A000045 (Fibonacci), A006190 (Fibonacci-like), A000032 (Lucas), A000129 (Pell), which are all Fibonacci-like.

0

1

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 13, 2026

Replying to @j2kun@mathstodon.xyz

The first project is called mercury (https://github.com/tmhglnd/mercury) which is advertised as having "an extensive library of algorithms to generate or transform numbersequences that can modulate parameters."

0

1

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 13, 2026

Replying to @j2kun@mathstodon.xyz

There are not one, but two live-coding music frameworks that use OEIS sequences as a source for "anything that can be sequenced" in music. I'm guessing that's used for choosing pseudorandom melodies, interesting rhythyms, or how to overlap tracks in different ways.

1

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 13, 2026

I went hunting for references to the OEIS in open source code, and found some weird ones.

Archived at: https://www.jeremykun.com/shortform/2026-04-13-0700/

11

13

6

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 13, 2026

Replying to @shriramk@mastodon.social

@shriramk yes, in 2010! Not quite as exciting as just after the wall fell, I'm sure, but I have Hungarian family so I was able to get my citizenship and experience the mother country

3

2

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 13, 2026

Replying to @shriramk@mastodon.social

@shriramk it reminds me of the title of a history of Hungary I read, I think the subtitle was something like "1000 years of victory in defeat"

1

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 13, 2026

Replying to @shriramk@mastodon.social

@shriramk I didn't know you did Budapest Semesters! What an experience

1

4

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 12, 2026

Replying to @GossiTheDog@cyberplace.social

@GossiTheDog IMO it's not nothing but not apocalypse. Enough for forward thinking groups to start taking it seriously and considering risks.

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 08, 2026

Niobium Microsystems (disclosure, I am partnering with them on FHE stuff) announced that, instead of a "cloud" computing platform they are starting a "fog" computing platform, which is the same as the cloud but where the cloud provider can't see any of your data because it's protected by homomorphic encryption.

That's a bit of a fun play on words.

12

0

6

0

Jeremy Kun @j2kun@mathstodon.xyz · Apr 08, 2026

Deterministic Primality Testing for Limited Bit Width

https://www.jeremykun.com/2026/04/07/deterministic-miller-rabin/

6

1

5

0

Jeremy Kun @j2kun@mathstodon.xyz · Mar 31, 2026

Depths of Wikipedia except it's the OEIS.

12

3

6

0

Jeremy Kun @j2kun@mathstodon.xyz · Feb 12, 2026

Replying to @troglet@mastodon.social

@troglet@mastodon.social @0xabad1dea@infosec.exchange It was also trained on decades of course notes from compiler courses, thousands of student course projects sitting on GitHub, hundreds of textbooks about compilers, the mailing lists of discussions of all those compiler engineers, etc.

1

0

Jeremy Kun @j2kun@mathstodon.xyz · Nov 24, 2024

Replying to @antirez@mastodon.social

@antirez@mastodon.social what for? Random projections is always something I read about but never seen used in a principled manner for an application that someone really cares about

0

Jeremy Kun @j2kun@mathstodon.xyz · Mar 19, 2023

Replying to @mttaggart@fosstodon.org

@mttaggart@fosstodon.org release your inner gremlins!

0

Jeremy Kun @j2kun@mathstodon.xyz · Jul 11, 2017

Replying to @christianp@mathstodon.xyz

@christianp@mathstodon.xyz I suppose, that makes sense, but even a colorblind observer could determine the color of the die with the right tools. I feel like the important lesson isn't so much that it depends on the observer, but that you get to pick the model to isolate and accentuate the features of the problem that you want to study. My favorite example is the seven bridges problem: you have to *say* that swimming/flying/boating/teleporting isn't allowed.

0

Jeremy Kun

Posts

Remote instance