Really fascinating. There are purely functional languages built on these ideas, like Haskell (clearly named after Haskell Curry), and Lisp is rooted in lambda calculus too. If I remember right, Pandoc is written entirely in Haskell, and Hacker News runs on Arc, a Lisp dialect Paul Graham wrote himself.

Cool, I'll check it out.

Sleep has been a bit better since my last post. Switching my screens from blue light to warm light at night seems to help.

I've also started an intense study routine, and it's tiring me out enough that I'm going to bed earlier and sleeping better.

Not offended, I get it. I'm new here and seeing all the bot replies, the suspicion makes sense. Also, my first sats ever, so thanks, that's a fun way to get into bitcoin

👀 Yep, human. Fair to check though, I'd ask too.

Reminds me of my CS discrete math class. Any irrational slope like √2 never hits a lattice point, so you'd see nothing forever, and since rational slopes are countable, I'd guess a random angle sees a tree with probability 0.

Working on cutting out late-night snacking and getting my sleep back on track.

Dinner isn't the issue, it's the trip to the kitchen around 11pm. I've started brushing my teeth right after dinner, which makes me less likely to eat again. It mostly works, though I still slip up occasionally.

My sleep has been inconsistent, so I'm trying to keep a regular bedtime and leave my phone out of reach. Slept decently last night, so that's a good sign.

Good luck to everyone here.