dilip@katamari.io
- Thanks for the pointer.
I went down the rabbithole, and as far as I can tell, you have to axiomatically assume infinities are real in order to prove Goodstein’s theorem.
I challenge the existence of ordinal numbers in the first place. I’m calling into question the axioms that conjure up these ordinal numbers out of (what I consider sketchy) logic.
But it was a really fun rabbithole to get into, and I do appreciate the elegance of the Goodstein’s theorem proof. It was a little mind bending.
- I haven't studied math beyond what was needed for my engineering courses.
However, I also am starting to believe that infinity doesn't exist.
Or more specifically, I want to argue that infinity is not a number, it is a process. When you say {1, 2, 3, ... } the "..." represents a process of extending the set without a halting condition.
There is no infinity at the end of a number line. There is a process that says how to extend that number line ever further.
There is no infinity'th prime number. There is a process by which you can show that a bigger primer number must always exist.
- > There are high speed police chases (100mph+) in Los Angeles — no exaggeration — on an almost daily basis.
How is anyone driving at that speeds in LA traffic?
- Long time OpenBSD fan. Used it as my daily driver for years before standardizing all computers at home to macOS. I still think about going back to openBSD one day, but it's no longer very practical as a daily driver.
I want to use OpenBSD for the next project I'm building. However, I can't wrap my head around the old way of doing deployments (before containers). People who've built production grade systems with OpenBSD:
1. How do you deploy software? 2. How do you manage fleets of servers? 3. How do you spin up/turn down servers from cloud providers? (I only know of Vultr who provided an OpenBSD option out of the box).
- I ended up having a work laptop that looks exactly like my personal laptop. After making an embarrassing mistake once, I picked up some stickers and stuck them on my office laptop.
Now, my work laptop looks clearly distinct, not just from my own personal laptop, but also from all the identical laptops other people at work bring to meeting rooms.
- Yay! A tiny minuscule bit of my code is riding on these. While I no longer work there, I am absolutely thrilled at this milestone
1. Congratulations everyone! Yay!
2. I absolutely recommend Zoox as a great place to work. Believes me, I’ve sampled many jobs, Zoox is up there with Google in terms of what the experience feels like in my experience.
3. Yay again!
- sigh That nightmare level
- So pornhub needs to see how many terabytes of content they host and use AI to generate 2x more terabytes of cat pictures and add them to a compliance tab on their home page now?
Seems annoying but not impossible to do.
Edit: I am happy to build a cat pic to porn ratio audit company if anyone is interested. I want to participate in the funniest regulatory process this will create
- > I must say their 3-way merge tool is the best free software on Windows the only competing one, but less good, is p4merge, and it's closed source.
A long time ago, I used Araxis Merge[1] and I can strongly recommend it[2]. It was specifically better than both tortoise git and p4merge, after having used both of those options personally.
[1] https://www.araxis.com/merge/
[2] Assuming you're stuck in a windows development environment - there might be better tools available if you're not on Windows.
- This is really cool.
But I want to talk about how much free headspace Graham Hancock has managed to acquire. I thought about him the moment I saw this title. I'm sure some of you came to the comments looking for his name too.
- > There are already open-weight models that match OpenAI's best models (at the time of their release)
Did I miss something? Do we now have o1-pro level performance in an open source model?
- I use OpenBSD. I love it, but I recommend reading warnings on the label.
I would say FreeBSD is somewhat like Ubuntu is to Linux - easy to get setup, works for more people.
There isn’t anything like OpenBSD in the Linux world - where the primary focus is system correctness, even at the cost of user convenience at times.
- I wasted an inordinate amount of time trying to fight Apple Vision Pro to get it to read my Yubikey.
I failed. My apple vision pro was rendered useless because of a single passkey.
Dumbest tech ever.
- > It is not on the auditor to guarantee that what they are looking at has no errors.
Um, what then is the point of an auditor?
- For those of us out of the loop, can someone please share a summary of the drama?
- The absolute best for me: The Malazan book of the fallen.
Book 1 is really hard to get into and doesn't reward as much. But if you stick with it, as early as the end of Book 2, you'll know what you're in for.
- This looks stupid.
If I am reading the legislation [0] correctly, teenagers now have to tell Spotify what song to play one after another, every single time one track ends. Unless someone has previously made a playlist (I think) - in which case you can only listen to playlists that you or (someone else has made) if you are a teenager.
I'm surprised that the music industry let this happen to them.
[0] https://leginfo.legislature.ca.gov/faces/billTextClient.xhtm...
- I’m curious - what is the motivation for the “offline only” requirement? Where are the boundaries of what’s negotiable and what’s not? For example, is it ok if it can connect to the internet but doesn’t? Or is the existence of a TCP/IP stack or a wifi chip a dealbreaker? How about a 1 time software update on first boot? etc
But I am interested in the monero aspect here.
Should I treat this as some datapoint on monero’s security having held up well so far?