J.N. Thomas
@hypnagogue.bsky.social
Dad, husband, professor (math and CS), and researcher. Counter of angels on the heads of pins.
Probing the intersection of mathematics, logic, language, and philosophy. Views are, for better or worse, mine alone.
Probing the intersection of mathematics, logic, language, and philosophy. Views are, for better or worse, mine alone.
lol I bought a scintillator crystal from Ukraine that's sealed, unopened NOS made in the Soviet Union because it was just the cheapest I could find and customs very clearly tore open the packaging to examine it and crudely taped it back together.
November 13, 2025 at 12:49 AM
lol I bought a scintillator crystal from Ukraine that's sealed, unopened NOS made in the Soviet Union because it was just the cheapest I could find and customs very clearly tore open the packaging to examine it and crudely taped it back together.
Porch pirates are annoying, but something funny happened the other day: one of them stole a package, which I know from security cameras, took one look at the contents and tossed it into the bushes lol. The package? A large, omnidirectional #LoRa antenna I bought for #Meshtastic.
October 3, 2025 at 2:25 PM
Porch pirates are annoying, but something funny happened the other day: one of them stole a package, which I know from security cameras, took one look at the contents and tossed it into the bushes lol. The package? A large, omnidirectional #LoRa antenna I bought for #Meshtastic.
Meanwhile, pluralists
September 20, 2025 at 10:56 PM
Meanwhile, pluralists
I normally prefer to stick to the more theoretical side of computer science (and most other things), but taking a break from my usual research in logic to work on #LoRa hardware project! Haven't done PCB design since grad school.
Stay tuned!
Stay tuned!
August 26, 2025 at 8:57 PM
I normally prefer to stick to the more theoretical side of computer science (and most other things), but taking a break from my usual research in logic to work on #LoRa hardware project! Haven't done PCB design since grad school.
Stay tuned!
Stay tuned!
I don’t know why it never occurred to me before this to just punch holes in the side opposite to the one you open to drain the water.
August 17, 2025 at 5:40 PM
I don’t know why it never occurred to me before this to just punch holes in the side opposite to the one you open to drain the water.
I remember Chomsky bitching in an interview about how ugly it had gotten, and I was like "how bad can it really be?" Quite bad, as it turns out.
August 9, 2025 at 2:20 PM
I remember Chomsky bitching in an interview about how ugly it had gotten, and I was like "how bad can it really be?" Quite bad, as it turns out.
July 28, 2025 at 2:42 PM
#Tidepooling is one of my favorite things to do since moving to the #PNW.
July 26, 2025 at 4:44 AM
#Tidepooling is one of my favorite things to do since moving to the #PNW.
I have two young daughters. I didn't stand a chance.
July 24, 2025 at 3:03 PM
I have two young daughters. I didn't stand a chance.
I'm just going to take the L, as the youngins say, and show you the not all that complicated thing I was fiddling with now that it looks OK.
July 19, 2025 at 4:56 PM
I'm just going to take the L, as the youngins say, and show you the not all that complicated thing I was fiddling with now that it looks OK.
Not too bad depending on the proof system and semantic assumptions you're trying to reason and prove things about... that is unless you're a masochist and insist on formalizing everything yourself as a "learning exercise." At least I can say I've formalized abstract axiomatic set theory myself?
June 28, 2025 at 9:25 PM
Not too bad depending on the proof system and semantic assumptions you're trying to reason and prove things about... that is unless you're a masochist and insist on formalizing everything yourself as a "learning exercise." At least I can say I've formalized abstract axiomatic set theory myself?
Bought something cool today! It will look cool in my office next to my Klein bottle.
#MathSky #Math #Mathematics #Fossil #Science
#MathSky #Math #Mathematics #Fossil #Science
June 22, 2025 at 10:07 PM
Bought something cool today! It will look cool in my office next to my Klein bottle.
#MathSky #Math #Mathematics #Fossil #Science
#MathSky #Math #Mathematics #Fossil #Science
June 19, 2025 at 2:09 PM
My parents drove up to the PNW to visit from Texas. They're having some difficulty adjusting, lmao.
June 18, 2025 at 5:17 PM
My parents drove up to the PNW to visit from Texas. They're having some difficulty adjusting, lmao.
Logician. Linguist. Computer Scientist.
...crab wrangler?
...crab wrangler?
May 26, 2025 at 9:23 PM
Logician. Linguist. Computer Scientist.
...crab wrangler?
...crab wrangler?
My mom responding to news about me starting a doctorate lmao
May 17, 2025 at 9:18 PM
My mom responding to news about me starting a doctorate lmao
Moving to the #PacificNorthwest was the best thing we could’ve done for our family. The tenure track job is just the icing on top. I love it here.
#Washington #Cascadia #PNW
#Washington #Cascadia #PNW
May 13, 2025 at 11:29 PM
Moving to the #PacificNorthwest was the best thing we could’ve done for our family. The tenure track job is just the icing on top. I love it here.
#Washington #Cascadia #PNW
#Washington #Cascadia #PNW
Caffeinated three year old, but some say the 20oz math mug imbues computative abilities.
May 13, 2025 at 2:16 PM
Caffeinated three year old, but some say the 20oz math mug imbues computative abilities.
This job is a prison.
April 30, 2025 at 4:51 PM
This job is a prison.
Corrupting the youth.
April 29, 2025 at 12:21 AM
Corrupting the youth.
Good. Where he deserves to be.
April 26, 2025 at 11:51 PM
Good. Where he deserves to be.
My local used bookstore has TWO sections dedicated to HL Mencken. One was surprising; imagine seeing another.
April 26, 2025 at 11:29 PM
My local used bookstore has TWO sections dedicated to HL Mencken. One was surprising; imagine seeing another.