Nathan🌸
@shimmermathlabs.com
Indie software developer • math lover • ML builder • 48 • NB they/them
Currently working on circuit simulation.
Currently working on circuit simulation.
kid almost had a meltdown when they thought they lost their new skullpanda in the park. luckily i found it chilling at home on the bed.
thank you santa, you are real.
thank you santa, you are real.
December 25, 2025 at 10:21 PM
kid almost had a meltdown when they thought they lost their new skullpanda in the park. luckily i found it chilling at home on the bed.
thank you santa, you are real.
thank you santa, you are real.
successfully wore a dress at my dad's place! achievement unlocked.
so i can wear a dress, hoop earrings, sparkly bracelets, and put my hair up in a bun with a flower clip and no-one says a word, we just go play disc-golf at the park like normal. good, I guess?
so i can wear a dress, hoop earrings, sparkly bracelets, and put my hair up in a bun with a flower clip and no-one says a word, we just go play disc-golf at the park like normal. good, I guess?
December 23, 2025 at 11:13 PM
successfully wore a dress at my dad's place! achievement unlocked.
so i can wear a dress, hoop earrings, sparkly bracelets, and put my hair up in a bun with a flower clip and no-one says a word, we just go play disc-golf at the park like normal. good, I guess?
so i can wear a dress, hoop earrings, sparkly bracelets, and put my hair up in a bun with a flower clip and no-one says a word, we just go play disc-golf at the park like normal. good, I guess?
wait a minute, rust has coroutines??? how did i miss this, coroutines are so cool
doc.rust-lang.org/beta/unstabl...
doc.rust-lang.org/beta/unstabl...
coroutines - The Rust Unstable Book
doc.rust-lang.org
December 21, 2025 at 6:52 AM
wait a minute, rust has coroutines??? how did i miss this, coroutines are so cool
doc.rust-lang.org/beta/unstabl...
doc.rust-lang.org/beta/unstabl...
Reposted by Nathan🌸
its scary how many different topics and fields of math there are, i desire to know all while knowing so little
December 20, 2025 at 1:20 PM
its scary how many different topics and fields of math there are, i desire to know all while knowing so little
this is getting crazy!
new safe and Sophie Germain prime of 8192 bits, with 4096 bits set, transitioning between 0-1 at least 4096 times. this one is a bit twisty, it transitions MORE than required 💖
are you seeing this @ari.lt ????
new safe and Sophie Germain prime of 8192 bits, with 4096 bits set, transitioning between 0-1 at least 4096 times. this one is a bit twisty, it transitions MORE than required 💖
are you seeing this @ari.lt ????
December 20, 2025 at 1:48 AM
this is getting crazy!
new safe and Sophie Germain prime of 8192 bits, with 4096 bits set, transitioning between 0-1 at least 4096 times. this one is a bit twisty, it transitions MORE than required 💖
are you seeing this @ari.lt ????
new safe and Sophie Germain prime of 8192 bits, with 4096 bits set, transitioning between 0-1 at least 4096 times. this one is a bit twisty, it transitions MORE than required 💖
are you seeing this @ari.lt ????
whew, thought there might be incriminating stuff in there for a minute
December 19, 2025 at 10:57 PM
whew, thought there might be incriminating stuff in there for a minute
i love black tiny text on a black background for a product that has 1 name.
December 19, 2025 at 7:57 PM
i love black tiny text on a black background for a product that has 1 name.
just watched a recent Venus Theory video on music streaming. it is so much worse that i knew, holy cow, and i thought it was BAD. my heart goes out to musicians.
www.youtube.com/watch?v=plle...
www.youtube.com/watch?v=plle...
It's Not Just You: Music Streaming Is Broken Now
YouTube video by Venus Theory
www.youtube.com
December 18, 2025 at 11:50 PM
just watched a recent Venus Theory video on music streaming. it is so much worse that i knew, holy cow, and i thought it was BAD. my heart goes out to musicians.
www.youtube.com/watch?v=plle...
www.youtube.com/watch?v=plle...
Reposted by Nathan🌸
Reboosts welcome! Any UK academics able to host me for 1–2 weeks in January while my visa processes?
I am a researcher in programming languages and formal methods, working on proof maintenance on interactive and automated verification tools. Happy to give a talk & collaborate.
kirancodes.me
I am a researcher in programming languages and formal methods, working on proof maintenance on interactive and automated verification tools. Happy to give a talk & collaborate.
kirancodes.me
Kiran's home page~ - To Proof Maintenance for all and beyond!!!
kirancodes.me
December 16, 2025 at 10:49 PM
Reboosts welcome! Any UK academics able to host me for 1–2 weeks in January while my visa processes?
I am a researcher in programming languages and formal methods, working on proof maintenance on interactive and automated verification tools. Happy to give a talk & collaborate.
kirancodes.me
I am a researcher in programming languages and formal methods, working on proof maintenance on interactive and automated verification tools. Happy to give a talk & collaborate.
kirancodes.me
wow, these lecture notes from the 3rd century are great.
December 16, 2025 at 10:26 PM
wow, these lecture notes from the 3rd century are great.
as a teenager i used to fantasize about being Susan Calvin, famed robopsychologist of the asimov books. i was always annoyed that computers were so far away from my imagination.
today my spouse has a paying job tricking chatbots into giving wrong answers. it's honestly hard to believe.
today my spouse has a paying job tricking chatbots into giving wrong answers. it's honestly hard to believe.
December 16, 2025 at 7:03 PM
as a teenager i used to fantasize about being Susan Calvin, famed robopsychologist of the asimov books. i was always annoyed that computers were so far away from my imagination.
today my spouse has a paying job tricking chatbots into giving wrong answers. it's honestly hard to believe.
today my spouse has a paying job tricking chatbots into giving wrong answers. it's honestly hard to believe.
if you see this, we IMPLORE YOU to post a picture from whatever device you're using without explanation.
December 16, 2025 at 5:42 PM
if you see this, we IMPLORE YOU to post a picture from whatever device you're using without explanation.
i wouldn't normally quote post hateful content, but c++ deserves it, and this rant is great.
I'm regularly reminded that I'm not hating to my full potential. This person made a YouTube channel to rant about C++ for two hours youtu.be/7fGB-hjc2Gc?...
The worst programming language of all time
YouTube video by Lazo Velko
youtu.be
December 16, 2025 at 3:08 AM
i wouldn't normally quote post hateful content, but c++ deserves it, and this rant is great.
Reposted by Nathan🌸
it is so much fun to "forage" for rng seeds that create bits of melody that sound nice when looped. also wow the visualization is fun
December 14, 2025 at 5:21 AM
it is so much fun to "forage" for rng seeds that create bits of melody that sound nice when looped. also wow the visualization is fun
today i learned about Berkson's paradox.
you see this in stats when the sampled population is pulled from a bigger one based on multiple criteria. example: diseases seem to be negatively correlated in hospital, but that's because something sent people there
en.wikipedia.org/wiki/Berkson...
you see this in stats when the sampled population is pulled from a bigger one based on multiple criteria. example: diseases seem to be negatively correlated in hospital, but that's because something sent people there
en.wikipedia.org/wiki/Berkson...
Berkson's paradox - Wikipedia
en.wikipedia.org
December 13, 2025 at 12:22 AM
today i learned about Berkson's paradox.
you see this in stats when the sampled population is pulled from a bigger one based on multiple criteria. example: diseases seem to be negatively correlated in hospital, but that's because something sent people there
en.wikipedia.org/wiki/Berkson...
you see this in stats when the sampled population is pulled from a bigger one based on multiple criteria. example: diseases seem to be negatively correlated in hospital, but that's because something sent people there
en.wikipedia.org/wiki/Berkson...
falling down the fujara pipeline
www.youtube.com/watch?v=PRfy...
www.youtube.com/watch?v=PRfy...
Making a Handmade FUJARA FLUTE ~The Complete Process ~ The Birth Of A Flute / Part 3
YouTube video by Winne Clement
www.youtube.com
December 12, 2025 at 7:58 PM
falling down the fujara pipeline
www.youtube.com/watch?v=PRfy...
www.youtube.com/watch?v=PRfy...
lately i keep hearing a distant motor sound kind of like the neighbors are using an automatic garage door. i just realized last night; that is the sound of the sump pump keeping our home dry in the current PNW flooding. respect.
December 12, 2025 at 12:15 AM
lately i keep hearing a distant motor sound kind of like the neighbors are using an automatic garage door. i just realized last night; that is the sound of the sump pump keeping our home dry in the current PNW flooding. respect.
i revamped my website to use astro (@astro.build) . migrating from hugo, so far i like it.
shimmermathlabs.com
shimmermathlabs.com
December 10, 2025 at 6:50 PM
i revamped my website to use astro (@astro.build) . migrating from hugo, so far i like it.
shimmermathlabs.com
shimmermathlabs.com
i very carefully tucked in my 9yo's pants into rain boots before they left for school in the rain. out the window i saw them stop at the end of our driveway, carefully untuck the pants, then continue on to school. you do you, kid
December 10, 2025 at 6:13 PM
i very carefully tucked in my 9yo's pants into rain boots before they left for school in the rain. out the window i saw them stop at the end of our driveway, carefully untuck the pants, then continue on to school. you do you, kid
functional programming is when you pretend to understand what monoids in the category of endofunctors are
What is functional programming to you? Everyone I ask seems to give me a different answer.
December 10, 2025 at 2:20 AM
functional programming is when you pretend to understand what monoids in the category of endofunctors are
everyone who is more into type systems than me is a masochistic out of touch dweeb, everyone who is less into type systems is a loosey goosey vibe-coder one commit away from bringing down the internet.
It'simple:
Everyone who is more into functional programming than me is a dork with math envy afraid of actual hardware, everyone who is less into functional programming than me is an uncultured philistine stuck in 1982 writing C.
Everyone who is more into functional programming than me is a dork with math envy afraid of actual hardware, everyone who is less into functional programming than me is an uncultured philistine stuck in 1982 writing C.
December 9, 2025 at 11:29 PM
everyone who is more into type systems than me is a masochistic out of touch dweeb, everyone who is less into type systems is a loosey goosey vibe-coder one commit away from bringing down the internet.
when i have impure thoughts i just grab a &mut reference.
December 9, 2025 at 7:37 PM
when i have impure thoughts i just grab a &mut reference.
big retraction at Springer Nature, bunch of papers using a sketchy dataset of kids faces with and without autism (lol)
www.thetransmitter.org/retraction/e...
www.thetransmitter.org/retraction/e...
Springer Nature retracts, removes nearly 40 publications
The dataset contains images of children’s faces downloaded from websites about autism, which sparked concerns at Springer Nature about consent and reliability.
www.thetransmitter.org
December 9, 2025 at 1:27 AM
big retraction at Springer Nature, bunch of papers using a sketchy dataset of kids faces with and without autism (lol)
www.thetransmitter.org/retraction/e...
www.thetransmitter.org/retraction/e...