@j2kun@mathstodon.xyz

· 6mo ago

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

· 6mo ago

Depths of Wikipedia except it's the OEIS.

12

3

6

0

Jeremy Kun @j2kun@mathstodon.xyz

· 5mo ago

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

· 5mo ago

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

jeremykun.com

Jeremy Kun's Link Graph

5

3

0

Jeremy Kun @j2kun@mathstodon.xyz

· 6mo ago

Deterministic Primality Testing for Limited Bit Width

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

jeremykun.com

6

1

5

0

Jeremy Kun @j2kun@mathstodon.xyz

· 5mo ago

Replying to

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

· 5mo ago

Replying to

@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

· 5mo ago

Replying to

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

2

0

Jeremy Kun @j2kun@mathstodon.xyz

· 5mo ago

Replying to

@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

· 5mo ago

Replying to

@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

· 5mo ago

Replying to

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

10

0

Jeremy Kun @j2kun@mathstodon.xyz

· 5mo ago

Replying to

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.

GitHub

GitHub - baskerville/plato: Document reader

Document reader. Contribute to baskerville/plato development by creating an account on GitHub.

1

3

0

Jeremy Kun @j2kun@mathstodon.xyz

· 5mo ago

Replying to

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."

GitHub

GitHub - GCWizard/GCWizard: GC Wizard

GC Wizard. Contribute to GCWizard/GCWizard development by creating an account on GitHub.

1

2

0

1

Jeremy Kun @j2kun@mathstodon.xyz

· 5mo ago

Replying to

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

· 5mo ago

Replying to

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

1

4

0

Jeremy Kun @j2kun@mathstodon.xyz

· 5mo ago

Replying to

@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

· 7mo ago

Replying to

@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

· 43mo ago

Replying to

@mttaggart@fosstodon.org release your inner gremlins!

1

0

Jeremy Kun @j2kun@mathstodon.xyz

· 5mo ago

Replying to

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."

GitHub

GitHub - tmhglnd/mercury: A human-made, free/open, beginner-friendly, minimal and human-readable language for the live coding of algorithmic electronic music performances

A human-made, free/open, beginner-friendly, minimal and human-readable language for the live coding of algorithmic electronic music performances - tmhglnd/mercury

0

9

0

Jeremy Kun @j2kun@mathstodon.xyz

· 5mo ago

Replying to

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

0

8

0

Jeremy Kun @j2kun@mathstodon.xyz

· 5mo ago

Replying to

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.

GitHub

GitHub - amiika/ziffers: Numbered musical notation for composing algorithmic and generative melodies

Numbered musical notation for composing algorithmic and generative melodies - amiika/ziffers

0

7

0

Jeremy Kun @j2kun@mathstodon.xyz

· 5mo ago

Replying to

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

6

0

Jeremy Kun @j2kun@mathstodon.xyz

· 5mo ago

Replying to

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.

oeis.org

0

5

0

Jeremy Kun @j2kun@mathstodon.xyz

· 5mo ago

Replying to

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

4

0

Jeremy Kun @j2kun@mathstodon.xyz

· 5mo ago

Replying to

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

0

Jeremy Kun @j2kun@mathstodon.xyz

· 5mo ago

Replying to

@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

· 5mo ago

Replying to

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

0

Jeremy Kun @j2kun@mathstodon.xyz

· 22mo ago

Replying to

@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

· 3mo ago

Replying to

@zhenyi@mastodon.social buttersafe is so iconic

0

Jeremy Kun @j2kun@mathstodon.xyz

· 112mo ago

Replying to

@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