hackingonempty

3 ms·

1.
by hackingonempty 10d ago
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 se
2.
by hackingonempty 11d ago
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.
3.
Pulse: Proof-Oriented Programming in Concurrent Separation Logic (Output C/Rust)(fstar-lang.org)
1 points by hackingonempty 11d ago|1 comments
4.
by hackingonempty 11d ago
"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 specificatio
5.
by hackingonempty 13d ago
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 certaint
6.
by hackingonempty 14d ago
A similar maneuver is already being used for the White House National Security Ballroom.
7.
by hackingonempty 15d ago
> I don't get how instagram is as popular as it is. Stockholm syndrome.
8.
by hackingonempty 15d ago
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
9.
by hackingonempty 16d ago
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.
10.
by hackingonempty 17d ago
This article ignores the true inventors of the MMO, Trubshaw and Bartle with MUD1 at University of Essex in 1980ish.
11.
by hackingonempty 17d ago
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.
12.
by hackingonempty 19d ago
AI could enable script kiddies to pull this off.
13.
by hackingonempty 19d ago
Why wouldn't it? People are agreeing to indemnify and hold manufacturers harmless all the time. IANAL though.
14.
by hackingonempty 19d ago
> 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 opera
15.
by hackingonempty 19d ago
I would be very surprised if the manufacturer would sell you one without you agreeing to indemnify them.
16.
by hackingonempty 22d ago
Downloading it and making a copy on your disk are separate potentially infringing events from copying into memory and a model.
17.
by hackingonempty 22d ago
I doubt many consumers of these videos are watching them straight through like a normal movie.
18.
by hackingonempty 22d ago
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.
19.
by hackingonempty 23d ago
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 n
20.
by hackingonempty 25d ago
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.)
21.
by hackingonempty 25d ago
HTMX is designed for enhancing web pages, not making full apps on web platform as Elm is. They have different use cases.
22.
by hackingonempty 26d ago
Brad Templeton did this 20 years ago, https://www.templetons.com/pq/build.html
23.
by hackingonempty 29d ago
You can use ReScript with Htmx (or anything else) and get no runtime errors. It has a sound type system, great language.
24.
by hackingonempty 1mo ago
Physicists say a singularity is a classical prediction so most likely wrong.
25.
by hackingonempty 1mo ago
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
26.
by hackingonempty 1mo ago
https://theonion.com/you-people-made-me-give-up-my-peanut-fa...
27.
by hackingonempty 1mo ago
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 abo
28.
by hackingonempty 1mo ago
>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 in
29.
by hackingonempty 2mo ago
> 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
30.
by hackingonempty 2mo ago
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

More ›