@hartkp@mathstodon.xyz
@hartkp@mathstodon.xyz avatar

hartkp

@hartkp@mathstodon.xyz

Eg e' matematiker/I'm a mathematician.
Also: mathsplainer

This profile is from a federated server and may be incomplete. Browse more on the original instance.

hartkp, to random Norwegian
@hartkp@mathstodon.xyz avatar

C-embedding, Lindelöfness, Čech-completeness.
What more do you want?
https://arxiv.org/abs/2404.19703

ColinTheMathmo, to random
@ColinTheMathmo@mathstodon.xyz avatar

Grrr.

Seduced by a lovely word that turned out to be wrong.

731

⬜⬜⬜⬜⬜⬜➡️➡️➡️➡️➡️➡️⬇️⬜⬜
➡️➡️➡️➡️➡️➡️⬆️⬜⬜⬜⬜⬜➡️➡️➡️

https://www.andrewt.net/puzzles/cell-tower/?p=731

Current streak: 77 (Iridium)

Best streak: 93

hartkp,
@hartkp@mathstodon.xyz avatar

@ColinTheMathmo
Howl(ing) in frustration maybe?

ColinTheMathmo, to random
@ColinTheMathmo@mathstodon.xyz avatar

Stuck for ages on the "F". Just. Ages.

727

➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️

https://www.andrewt.net/puzzles/cell-tower/?p=727

Current streak: 73 (Tantalum)

Best streak: 93

hartkp,
@hartkp@mathstodon.xyz avatar

@ColinTheMathmo Just couldn't get f..., eh?

ColinTheMathmo, to random
@ColinTheMathmo@mathstodon.xyz avatar

I marked a word in this, didn't commit it, stared for ages to see hoe to complete the area around it, then realised it was wrong!

So I'm really happy with this result:

725

➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️

https://www.andrewt.net/puzzles/cell-tower/?p=725

Current streak: 71 (Lutetium)

Best streak: 93

hartkp,
@hartkp@mathstodon.xyz avatar

@ColinTheMathmo My streak is XL now, it'll shrink to L in ten days I hope.
725

➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️

https://www.andrewt.net/puzzles/cell-tower/?p=725

ColinTheMathmo, to random
@ColinTheMathmo@mathstodon.xyz avatar

Well, that was more of a meander ...

716

⬜⬜⬜⬜⬜⬜⬜⬇️⬜⬜⬜⬜⬜⬜⬜
⬜⬜⬜⬜⬜➡️➡️⏹️➡️➡️⬇️⬜⬜⬜⬜
➡️➡️➡️➡️➡️⬆️⬜⬜⬜⬜➡️➡️⬇️⬜⬜
⬆️⬜⬜⬜⬜⬜⬜⬜⬜⬜⬜⬜➡️➡️➡️

https://www.andrewt.net/puzzles/cell-tower/?p=716

Current streak: 62 (Samarium)

Best streak: 93

hartkp,
@hartkp@mathstodon.xyz avatar

@ColinTheMathmo
A walk in the park.

ColinTheMathmo, to random
@ColinTheMathmo@mathstodon.xyz avatar

Managed this one, although it took longer than two minutes. Again, seduced by an incorrect word, then unable to see how to proceed, so sat starting at it for a time until I spotted my mistake.

Good job I didn't commit to it:

710

➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️

https://www.andrewt.net/puzzles/cell-tower/?p=710

Current streak: 56 (Barium)

Best streak: 93

hartkp,
@hartkp@mathstodon.xyz avatar

@ColinTheMathmo
@christianp has a point, it is ... artistic

hartkp,
@hartkp@mathstodon.xyz avatar

@ColinTheMathmo @christianp

I added a flourish this time ...

711

⬜⬜⬜⬜⬜⬜⬜⬜➡️➡️⬇️⬜⬜⬜
➡️➡️➡️➡️➡️➡️➡️➡️⬆️⬜➡️➡️➡️➡️

https://www.andrewt.net/puzzles/cell-tower/?p=711

hartkp, to random Norwegian
@hartkp@mathstodon.xyz avatar

#CellTower 707

➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️

https://www.andrewt.net/puzzles/cell-tower/?p=707

hartkp,
@hartkp@mathstodon.xyz avatar

@ColinTheMathmo I've noticed that the game gets, shall we say, impatient when you don't start right away. The `hint' symbol pops up after some time.
I try to do the whole thing first in my head and only start clicking away when I think I have all words.

hartkp,
@hartkp@mathstodon.xyz avatar

@christianp @ColinTheMathmo @ppscrv And deviate from the straight and narrow? That's <inexpressable>

christianp, to random
@christianp@mathstodon.xyz avatar

How did mathfrak S, 𝔖, end up looking nothing like S in any other script?

hartkp,
@hartkp@mathstodon.xyz avatar

@christianp And what about (\mathfrak{A})? I always mistake it for a U.

ColinTheMathmo, to random
@ColinTheMathmo@mathstodon.xyz avatar

This was hard! I found myself multiple times stopping and staring, trying to work out how to proceed.

Pleased with the result:

694

⬜⬜⬜⬜⬜⬜⬜⬜⬜⬇️⬜⬜⬜⬜⬜⬜
➡️➡️➡️➡️➡️➡️➡️➡️➡️⏹️➡️➡️➡️➡️➡️➡️

https://www.andrewt.net/puzzles/cell-tower/?p=694

Current streak: 40 (Zirconium)

Best streak: 93

hartkp,
@hartkp@mathstodon.xyz avatar

@ColinTheMathmo got it without backing up this time, was tempted by PEEING on the right-hand side though

ColinTheMathmo, to random
@ColinTheMathmo@mathstodon.xyz avatar

Woo hoo !!!

664

➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️

https://www.andrewt.net/puzzles/cell-tower/?p=664

Current streak: 10 (Neon)

Best streak: 93

hartkp,
@hartkp@mathstodon.xyz avatar

@ColinTheMathmo Me too
664

➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️

https://www.andrewt.net/puzzles/cell-tower/?p=664

thor, to random
@thor@berserker.town avatar

Nothing beats cheese and wine on a Friday night.

hartkp,
@hartkp@mathstodon.xyz avatar

@thor Det er torsdag fremdeles ...

christianp, to random
@christianp@mathstodon.xyz avatar

arg, I'm in the office today and I've left my TODO file on my home PC without any way of accessing it remotely

hartkp,
@hartkp@mathstodon.xyz avatar

@christianp Sit back and relax then!

ColinTheMathmo, to random
@ColinTheMathmo@mathstodon.xyz avatar

I have a Linux file system with lots of files. "du" reports it to be 520GB on disk.

I want to find a number T such that if I delete all files bigger than T, the remaining files have a "du" of between 140GB and 150GB.

How would you accomplish that without actually deleting any files?

hartkp,
@hartkp@mathstodon.xyz avatar

@ColinTheMathmo Sounds like Lebesgue integration ... zap through the output of ls -lR a few times summing the sizes of files below a certain bound and increasing the bound between zaps

hartkp, to random Norwegian
@hartkp@mathstodon.xyz avatar

Even streng zijn:
https://www.wisfaq.nl/showrecord3.asp?id=98021

ColinTheMathmo, (edited ) to random
@ColinTheMathmo@mathstodon.xyz avatar

EDIT: IT'S BEEN IDENTIFIED!

Read the comments for the answer.

OK, Mastodon ... time to do the Hive Mind Thing.

Watching an episode of "Robin Hood" staring Richard Greene, they had this image of a castle. It's probably just a stock shot, but I was wondering if anyone could identify it.

I've tried a Google Image search, but that didn't give anything.

So ... suggestions? Evidence?

If you're comfortable doing so, please boost for reach.

hartkp,
@hartkp@mathstodon.xyz avatar

@ColinTheMathmo Looks like Spissky Hrad

hartkp,
@hartkp@mathstodon.xyz avatar

@ColinTheMathmo Here's a picture from the Wikipedia page.
When you're outside the walls on the left, the view is quite like the picture you showed.
https://en.wikipedia.org/wiki/Spi%C5%A1_Castle#/media/File:Spis_castle_reconstruction.png

hartkp,
@hartkp@mathstodon.xyz avatar

@ColinTheMathmo That would settle it for me. It just so happened that that picture matched my memory of that castle so well. But when you superimpose it on the blueish picture the walls of Spissky Hrad would stretch to the right, I missed that.

ColinTheMathmo, to random
@ColinTheMathmo@mathstodon.xyz avatar

Made it to 50!

(But not 50 factorial ... that would be silly)

610

➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️➡️

https://www.andrewt.net/puzzles/cell-tower/?p=610

Current streak: 50

hartkp,
@hartkp@mathstodon.xyz avatar

@ColinTheMathmo You mean (50)!, rather than (50!).

hartkp, to random Norwegian
@hartkp@mathstodon.xyz avatar

150 years ago today Georg Cantor sent a letter to Richard Dedekind with a seemingly innocent question in it:
https://hartkp.weblog.tudelft.nl/2017/11/29/on-this-day-in-1873/

hartkp, to random Norwegian
@hartkp@mathstodon.xyz avatar

Elementarity my dear Watson ...

thor, (edited ) to random
@thor@berserker.town avatar

https://www.youtube.com/watch?v=GYNJuP6m9JU

the only real Norwegian word in this Monty Python skit about the "Norwegian Party" is right at the start, where he says "Norge" - which means Norway, lol

whatever the fuck he's imitating sounds a lot like Dutch

hartkp,
@hartkp@mathstodon.xyz avatar

@thor Well, you'd have the wrong intonation/melody and there were no guttural G's there either.
This is what I sound like when teaching: https://fa.ewi.tudelft.nl/~hart/onderwijs/AM3590/2021-2022/20210831-uur_1.mp4

hartkp,
@hartkp@mathstodon.xyz avatar

@thor Min kompis i Bergen sier bare G, G, G, G, når han imiterer NL

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • JUstTest
  • kavyap
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • tacticalgear
  • khanakhh
  • Youngstown
  • mdbf
  • slotface
  • rosin
  • everett
  • ngwrru68w68
  • Durango
  • megavids
  • InstantRegret
  • cubers
  • GTA5RPClips
  • cisconetworking
  • ethstaker
  • osvaldo12
  • modclub
  • normalnudes
  • provamag3
  • tester
  • anitta
  • Leos
  • lostlight
  • All magazines
    •