iiinova — where your digital self keeps evolving

Benjamin Leis ✅ @benleis.mathstodon.xyz.ap.brid.gy · 1h

I'm hosting this month's Carnival of Mathematics on my blog at mathoffthegrid.net Stop by and take a look.

mathoffthegrid.net

Benjamin Leis

Going off on tangents since 2014

000

Benjamin Leis ✅ @benleis.mathstodon.xyz.ap.brid.gy · 02/10/2026

The first session of the quarter at HMA is over. I think I have about 25 kids spread across the A and B blocks which is a great ratio. I'm doing some algebra2 material in one and number theory in the other. My particular goal with class assignments was to repeat the material I used last year so […]

mathstodon.xyz

Original post on mathstodon.xyz

000

Benjamin Leis ✅ @benleis.mathstodon.xyz.ap.brid.gy · 23/09/2026

Another video showing some of the recent UI changes I've made to ilist-plus my package for extended ilist-imenu navigation. github.com/benleis1/ilist-plus TLDR: I now automatically unfold the current section as you wander about the file and have some […] [Original post on mathstodon.xyz]

000

Benjamin Leis ✅ @benleis.mathstodon.xyz.ap.brid.gy · 13/09/2026

So I implemented the java dape configuration needed to run and debug unit tests as well in #emacs Link to configuration is here: github.com/benleis1/emacs-init/blob… Link to my rundown about eglot […] [Original post on mathstodon.xyz]

001

Benjamin Leis ✅ @benleis.mathstodon.xyz.ap.brid.gy · 07/09/2026

I recently added a zoom in/out on the modeline because I adjust so often when docking and I'm used to the UI convention. The first attempt just used the context menu for controls but I really wanted a slider. However, for a while I just wasn't sure how to do […] [Original post on mathstodon.xyz]

000

Benjamin Leis ✅ @benleis.mathstodon.xyz.ap.brid.gy · 05/09/2026

If anyone is feeling brave I would love some early feedback on the new #emacs package I set up at github.com/benleis1/ilist-plus This has the new hierarchical side window for navigating elisp files like init.el. I want confirmation that others can load […] [Original post on mathstodon.xyz]

010

Benjamin Leis ✅ @benleis.mathstodon.xyz.ap.brid.gy · 03/09/2026

night #3 with the elisp imenu-ilist changes. After testing on emacs 31 I had to rip out all of hideshow and implement it myself. Version 30 worked fine but the new hs code (which has been significantly rewritten) is either buggy or too difficult for me to plug into my code. I couldn't get it to […]

mathstodon.xyz

Original post on mathstodon.xyz

000

Benjamin Leis ✅ @benleis.mathstodon.xyz.ap.brid.gy · 30/08/2026

One more small quality of like improvement I set up while twiddling with modus themes: improved hierarchical imenu entries for elisp. This all keys off the regular emacs heading levels comments and makes navigating the init.el file a lot easier for me. #emacs […] [Original post on mathstodon.xyz]

imenu-list with improved section awareness

000

Benjamin Leis ✅ @benleis.mathstodon.xyz.ap.brid.gy · 28/08/2026

Another piece of #emacs config file "spring cleaning" for this week. I've streamlined my modeline after moving away from doom-modeline to one built directly out of the basic components. Here's my old modeline. The parts I liked were the icons where […] [Original post on mathstodon.xyz]

100

Benjamin Leis ✅ @benleis.mathstodon.xyz.ap.brid.gy · 24/08/2026

Things are in motion for the fall HMA sessions. We had a staff get together last night and apparently about 70 returning students and 75 new applicants to screen. I'm mulling over how ambitious to be about the curriculum this time around. It's tempting to really rework the Algebra and Geometry […]

mathstodon.xyz

Original post on mathstodon.xyz

000

Benjamin Leis ✅ @benleis.mathstodon.xyz.ap.brid.gy · 08/08/2026

Every few years I appear to create a small emacs package. This time, motivated by navigating my Jekyll files I wrote a navigation sidebar for navigating sets of markdown and org files. Video here: youtu.be/_Ksn2YwVfYc?is=Nkme1tjqsYI… Github: github.com/benleis1/wikimode […]

mathstodon.xyz

Original post on mathstodon.xyz

000

Reposted by Benjamin Leis ✅

Admin Jerry @admin.hear-me.social.ap.brid.gy · 04/08/2026

We're losing 2 notable Mastodon servers within 3 months of each other. mastodon.cloud with about 4,000 active users is closing in 6 days. And toot.community with about 1,700 is closing in 3 months. Unsure why mastodon.cloud is closing, but toot.community seems to be admin burnout and financial […]

hear-me.social

Original post on hear-me.social

0014

Benjamin Leis ✅ @benleis.mathstodon.xyz.ap.brid.gy · 26/07/2026

More waterfalls from today's hike along the Lewis River

000

Benjamin Leis ✅ @benleis.mathstodon.xyz.ap.brid.gy · 14/07/2026

We went on a sailing tour on the weekend and the owners 5 year old daughter took a liking to me. She also had the soul of a Mexican lucha libre wrestler and expressed this by repeated body slams with an occasional head butt thrown in. She was cute and could not have weighed that much but I think […]

mathstodon.xyz

Original post on mathstodon.xyz

000

Reposted by Benjamin Leis ✅

Dan Piponi @dpiponi.mathstodon.xyz.ap.brid.gy · 10/07/2026

Fun puzzle: You have a coin that turns up heads with probability p. You don't know p. How can we use this to generate a random variable that is 0 or 1, and is 1 with *precisely* probability exp(-p)? You're allowed auxiliary random number generators that sample any distribution you like. And […]

mathstodon.xyz

Original post on mathstodon.xyz

112

Benjamin Leis ✅ @benleis.mathstodon.xyz.ap.brid.gy · 10/07/2026

I'm also trying to bridgy.fed to crosspost to bluesky. I wonder if anyone will notice on that side.

200

Benjamin Leis ✅ @benleis.mathstodon.xyz.ap.brid.gy · 10/07/2026

Btw: due to my vacation schedule the Seattle MathJam will be occurring on 7/21 this month (7pm Ravenna 3rd place Pub) . We'd love to have new people.

010