> typeof(NaN)
'number'
JavaScript.
10.03.2026 04:02
👍 0
🔁 0
💬 0
📌 0
> typeof(NaN)
'number'
JavaScript.
"Bugs are like prime numbers. There are always more of them, but after the first few billion they do start to thin out quite a bit."
- Brian Foote, www.youtube.com/watch?v=h6Y9...
I still do. 😃
What I’m saying is, this book is hilarious in addition to being a really good introduction to set theory.
I’m reading through “Naive Set Theory” by Paul R. Halmos, and he’s always dropping lines like:
“The slight feeling of discomfort that the reader may experience in connection with the definition of natural numbers is quite common and in most cases temporary.”
Very early stages... I'm going through "Types and Programming Languages" by Pierce, now, and learning me some Haskell. I'd like to start doing something with Agda. But I don't want to get ahead of myself, I'm trying to do all this in my spare time :D
I'm sure somewhere people are talking about this. I am an outsider to academic circles where these conversations are probably happening.
This is a totally orthogonal thought... but I've been studying type theory & dependently typed languages (barely started, but it's fascinating), and it feels like a program that came with proof of its own correctness would be really valuable in a world where LLMs are creating things...
Howard the Duck (1986)
Bill & Ted’s Excellent Adventure (1989)
A Scanner Darkly (2006)
Wrote up a thing about combinators: philcrissman.net/posts/fun-wi...
I was thinking about the ternary fork combinator this weekend and tried converting it to pure S,K, and I combinators. It took forever, but it actually works:
gist.github.com/philcrissman...
This is great. I grew up near Vancouver, so I used to see his interviews pop up in print form in the UBC radio's newspaper, which used to be called "Discorder", before he was on television. They were just as chaotic and weird. Maybe weirder, back then.
harsh but fair
A flag of Minnesota in front of a house.
My first thought was en.wikipedia.org/wiki/Gastown but this also looks interesting
Happy birthday!
If I read that right, Numbers/Pages/Keynote “with Ai & premium content” are part of the bundle. So I guess that‘s why Numbers is in there. I’m guessing that vanilla Keynote, etc, are still going to be freely available, which I hope is the case.
Her: That's why they would need test oranges, to test it. Fake oranges that act just like real oranges.
Me (pause): Have you ever thought about getting into software engineering?
My daughter (9, peeling an orange): They should invent an orange-peeling machine.
Me (practical dad): That would be tricky, it could just rip the orange apart.
1/2
I felt so strongly that I simply _had_ to learn flash, for years. I mean, I _didn't_, I procrastinated until it became clear it wasn't going to be a thing any more.
Unfortunately, the procrastination habit also spills over into other areas, but in this case it paid off!
Nerding out. Happy holidays!
I have a tiny backlog of songs that I still fear if I ever record them some day, I will only then discover they are actually some other song.
I think some chords and notes have a sort of gravity. The song _wants_ to move in that direction.
I once spent a whole evening trying to write a song, working on a chord progression—was trying to work out something that sounded like Harry Nilsson. I was happy with it, but it sounded kind of familiar. Then I slowed down the tempo… and realized the chord progression was Pachelbel’s canon.
I recently started listening to the Type Theory Forall podcast (www.typetheoryforall.com) ... I've started at the beginning, so I'm listening to episodes from several years ago, but they've all been really interesting so far. Recommend.
“School” by Nirvana playing at 5 guys. I don’t hear stuff from Bleach (other than About a Girl) too often in the wild. Great track.
“This function should always return an integer,” typed Tom, gradually.
“I’m going to remove all the nesting from this list,” said Tom flatly.
everyone stand back. i'm about to muster some willpower
