hackingonempty

6 ms·

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

More ›