hackingonempty

This years RAAM (Race Across America) winner finished in 8 days 19 hours, that's almost 350 miles per day.

Normal people no, but top ultra endurance cyclists can do 300 miles a day for two weeks straight. Especially if they are not self-supported and/or the course is not too hilly.

Just like running your own mail server doesn't help when nearly everyone you talk to uses GMail, simply not using these devices yourself is likely not to make much difference.

"Pulse is a new programming language embedded in F*, inheriting many of its features (notably, it is higher order and has dependent types), but with built-in support for programming with mutable state and concurrency, with specifications and proofs in Concurrent Separation Logic."

https://github.com/FStarLang/FStar/tree/master/pulse

Maybe they can use their brilliant super AI to address some real and present threats that are being ignored like nuclear annihilation, the loss of the prohibition of the acquisition of territory by force established after WWII, the certainty of all of the fossilized carbon being dug up out of the ground and released into the environment, the resurgence of measles and a poor posture for the next pandemic, ETC...

A similar maneuver is already being used for the White House National Security Ballroom.

> I don't get how instagram is as popular as it is.

Stockholm syndrome.

Here's a video of an amateur cyclist going all out for about a minute after spending about five minutes getting up to speed, pushing his bike to 76.11 mph.

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

The Cochrane review of "physical interventions to interrupt or reduce the spread of respiratory viruses" that infamously does not find a significant effect for masking does find significant effects for hand washing.

This article ignores the true inventors of the MMO, Trubshaw and Bartle with MUD1 at University of Essex in 1980ish.

Trump wants all of the leaders of the world to kiss his ass and make a deal. Tariffs are about the only cudgel he has short of using the military.

AI could enable script kiddies to pull this off.

Why wouldn't it? People are agreeing to indemnify and hold manufacturers harmless all the time. IANAL though.

> They could, but running local operations isn't his forte, preference or interest, it seems. Even if he had a massive fleet of these, he'd have to navigate local laws, demand, operations and logistics.

Doesn't Tesla operate its own dealer network?

I would be very surprised if the manufacturer would sell you one without you agreeing to indemnify them.

Downloading it and making a copy on your disk are separate potentially infringing events from copying into memory and a model.

I doubt many consumers of these videos are watching them straight through like a normal movie.

Strike 3, the studio involved, files more lawsuits in the USA than anyone else. I think that makes them the biggest Copyright Trolls of all time. They run their own BitTorrent monitoring operation.

In the USA, thousands of people are killed every year by car drivers. This is tolerated without a peep, relatively speaking, even though 20 times as many pedestrians are killed by drivers as are killed by mass shootings that dominate the news and voter issues.

So I predict the number of people we will tolerate being killed every year to have good AI will be more than zero, much more.

This post is on Phil Wadler's blog (of haskell and monads fame) but it is entirely a 2023 quote from Jaron Lanier (of VR fame.)

HTMX is designed for enhancing web pages, not making full apps on web platform as Elm is. They have different use cases.

Brad Templeton did this 20 years ago, https://www.templetons.com/pq/build.html

You can use ReScript with Htmx (or anything else) and get no runtime errors. It has a sound type system, great language.

Physicists say a singularity is a classical prediction so most likely wrong.

Road damage scales hypercubically with axle weight, so an 11 ton 2-axle bus does ~1400 times more damage to the road than a 1.8 ton Tesla.

https://en.wikipedia.org/wiki/4th_power_law

Mirror life is a serious risk that could be recognized by our leaders. For example, the natural SARS-COV2 virus killed a million people in the USA alone.

Mass shootings, on the other hand, is a shocking but tiny problem that only kills about 350 people a year in the USA.

>The key hardware fact: The CM4 uses the BCM54210PE Ethernet PHY which has full IEEE 1588v2 hardware timestamping support. This is what makes sub-microsecond PTP possible on the CM4. The BCM54210PE timestamps packets right at the wire inside the PHY, before the packet touches the kernel network stack. This eliminates the jitter that comes from kernel scheduling and interrupt handling.

Very cool feature I wasn't aware of because I'm not a true Chime Head.

> You and your sibling reply are the same comment and I don't like talking to bots. You sound like a redditor from 15 years ago, but your account isn't new, so I'm not sure.

Sound advice otherwise, but you could have left this part out of the comment :D

You're right and said maintainers probably have never heard of Greenspun's Tenth Rule either.

https://en.wikipedia.org/wiki/Greenspun's_tenth_rule

> The quick rule: if you need bidirectional, low-latency communication (chat, collaboration, games), WebSocket; if you only push from the server, SSE is simpler and cheaper to operate.

For most apps just use SSE and the built-in code for making HTTP requests (Fetch) instead of hacking up your own client side JS to make requests over a WebSocket. The latency is the same because modern browsers multiplex HTTP requests over a single TCP connection that is left open.

Maybe if you are making many client requests per second there is an advantage to not sending full headers/cookies/etc... on each request but not if you're sending requests in response to user clicks/touches.

Any sufficiently complicated SPA contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of Fetch.