> Code duplication is far cheaper than the wrong abstraction
Very true in some sense, but I continue to encourage DRY-bias because I've literally never seen teams duplicate code responsibly and later dedupe it when it's the right time. 95% of the time this sentiment is quoted to justify shipping quick slop and stable reusable bits are never extracted into a shared lib later.
Rational behavior in some situations? Mutually assured destruction’s deterrence isn’t very effective if one side is known to be hesitant to launch the nukes. It’s been argued that MAD is what’s been keeping the world relatively peaceful for the last 75 years, no mass conflicts since WW2!
One of my criteria for presidential candidates is that they seem willing and able to push the button when previously stated red lines are crossed, or at least are perceived to be the type capable of it. One of the characters I’ve hated most in all the books that I’ve read is the woman in The Three Body Problem who jeopardized humanity by being too soft to hit the MAD button.
> "Preparing backup..." taking an unreasonable amount of time is a regular occurrence,
TM heavily throttles disk I/O used for backing up in order to ensure that normal user activity isn't affected. That makes it appear that TM is dramatically slower than you would expect which greatly annoys me. This becomes obvious after you run this command which will make both the preparing and transferring phases go closer to the theoretical speed you'd expect:
1Gb Internet service seems low these days, much less 1Gb LAN. I have 3Gb Google Fiber service and actually get 2+ for individual downloads from some internet services like Steam. Even at 2Gb it's annoying to wait tens of minutes for 100+ GiB games to download. If I go on vacation I come home with 10s of GiBs of photos and videos on multiple devices that start syncing with cloud storage.
During the day I need to pull large data files from the work VPN so it's nice that that can happen at full speed even when Steam and movie streaming are also at full throttle. Combine that with backups and moving various files back and forth to my NAS and I'm very happy to have 10Gb local wiring.
For a very long time I thought Time Machine had become flaky, and I'm sure it's partially to blame, but with my current setup I've literally never observed it corrupt a backup and have to start over.
Before I was using one of the common Synology consumer NAS boxes that are often recommended. The NAS didn't report any errors with the drives or its own hardware, but at least once a month TM would glitch on at least one of my home laptops.
My new setup is an Asus FLASHSTOR 12 Pro Gen2 FS6812X. For a year now it's been running without a single apparent TM glitch while backing up multiple personal laptops and my work laptop. Sometimes I'm plugged in and sometimes I'm backing up over WiFi, but it's always worked.
I tried various recommended settings for the Synology and nothing helped so I strongly suspect that the Synology network protocol(SMB, AFP, etc.) implementations were either buggy themselves or at least not compatible with quirks in Apple's implementations. Synology->Asus fixed all my TM problems instantly and seemingly permanantly!
I'm extremely happy after upgrading my network to 10gbit copper ethernet. It was much more expensive than I thought it should be, but worth it even if I only max it occasionally. Now I can easily fully saturate my 10gbit ethernet doing a first Time Machine backup or transferring files to my M.2 SSD NAS which saves me waiting rime and is satisfying to watch.
It's wild to me that 10gbit isn't the norm by now and tech people who should know better seem to think WiFi matches or even exceeds even 1gbit ethernet. My MBP connects to my WiFi7 setup(Ubiquiti E7) at a nominal 1.5-1.9gbit but Time Machine backups and file transfers are slower than plugging into 1gbit ethernet, probably in large part due to latency and retransmissions. Not to mention that ethernet works with near 100% reliability with dramatically less variation in speed and error rate.
I'm a backend dev and I'm always hearing about how LLMs are dramatically better at frontend because of much more available training data etc. Maybe my perspective isn't as skewed as I've been led to believe and LLMs need close supervision and rework of their output there too.
Toyota just had three large EV announcements and they are putting large incentives on some of them. Feels like they're serious about it and with so many others exiting the EV market lately they may have timed it well.
Kagi is the ONLY search engine I know that currently doesn’t suck and I highly recommend it to anyone who will listen. I would cancel almost any other subscription before Kagi.
> Since if Kagi does search as well as the Google of old, and I can adjust its searches to prioritise results from known good (to me) sites, then that probably is worth paying for
As I was saying in another thread Kagi is what Google would have been if they had kept improving instead of transitioning to enshitifying ~10yrs ago. If I had to pick I’d keep it over Netflix.
I’ve also been using Kagi for the past ~2 years. At first I would always also search Google to see if I was missing out on better results, but after a couple of months I no longer bothered because Kagi did better 99% of the time. It’s worth the cost, I’d keep it over Netflix if I had to choose.
TLDR Kagi is what Google would have been if they had kept improving instead of transitioning to enshitifying ~10yrs ago.
App stores may reduce many of my freedoms, but they also provide me with some other freedoms by limiting the power of big tech companies over me, and the tradeoffs are different for my phone compared to a PC. For example Apple uses their big stick to ensure that apps can't simply refuse to work if you enable privacy setting that limit them. If Facebook refuses to work until you give it full access to your photos and exact location even when the app isn't running the realistic outcome will be that everyone will just give them what they want rather than not using the service. I remember years ago on Android that Google Maps would refuse to work if I didn't allow it to access my location when it wasn't running, and I never want to go back to that world.
One of the main reasons I use Postgres is I've rarely(never?) seen an article like this posted about it. Every time I've touched MySQL I've found a new footgun.
> In my view nonnegative real numbers have good physical representations: amount, size, distance, position
I'm not a physicist, but do we actually know if distance and time can vary continuously or is there a smallest unit of distance or time? A physics equation might tell you a particle moves Pi meters in sqrt(2) seconds but are those even possible physical quantities? I'm not sure if we even know for sure whether the universe's size is infinite or finite?
Sounds like you’re talking about the presumed free speech rights of corporations, which is part of this debate. I think corporations should have much more limited speech than an actual person and the concept of corporate personhood in general needs to be walked back significantly.
Yes it’s important for news organization and such to have unrestricted speech, but that seems solvable by keeping them in a separate category and excluding corps that engage in other lines of business. I don’t want say Google to be have full censorship and editorial privileges just because one of their many products surfaces news.
Ofc I wouldn't us it for extremely high scale event processing, but it's great default for a message/task queue for 90% of business apps. If you're processing under a few 100m events/tasks per day with less than ~10k concurrent processes dequeuing from it it's what I'd default to.
I work on apps that use such a PG based queue system and it provides indispensable features for us we couldn't achieve easily/cleanly with a normal queue system such as being able to dynamically adjust the priority/order of tasks being processed and easily query/report on the content of the queue. We have many other interesting features built into it that are more specific to our needs as well that I'm more hesitant to describe in detail here.
I became fascinated by Lean last week while watching Terrence Tao stream his proof work on Youtube. At least on the surface his thought process and workflow looked very similar to what I do in my IDE when programming, especially when coding in a very strongly typed language like Scala with FP style.
If I can work through math proofs in an IDE with Lean helping check my work I might finally get around to diving into the higher level math I’ve always wanted to. Could open some doors to us working folks that don’t have an instructor to review our proof attempts.
Even worse for me, some of my coworkers were doing that _before_ coding LLMs were a thing. Now LLMs are allowing them to create MRs with untested nonsense even faster which feels like a DDOS attack on my productivity.