pseudohadamard

7 ms·

1.
by pseudohadamard 3d ago
I (briefly) used Eiffel in the 1990s. It had some of, if not the, worst tooling I've ever experienced for a programming language, and I've used COBOL compilers and MVS. A pretty nice language, but the software tool support initial
2.
by pseudohadamard 3d ago
I was expecting a diatribe about the (UK) police: "Next week, right, I'm going to blow up a panda in Croydon".
3.
by pseudohadamard 3d ago
Ditto for Trail of Bits, worked with them recently and they do some really impressive quality work, and have some very sharp guys working for them.
4.
by pseudohadamard 4d ago
Maybe they should hand things over to Seth MacFarlane, he's kept the spirit of Star Trek alive better than Paramount ever could.
5.
by pseudohadamard 4d ago
Dear God, what is that font they've used? Eyesore? Atrocity? Deformity? Even reading the title hurt.
6.
by pseudohadamard 5d ago
Not the military stuff but Arab tribal society, read "The First Muslim" by Lesley Hazleton, about Arab society around the year 600. It's an absolute eye-opener.
7.
by pseudohadamard 5d ago
Also easier if you can hold up bits of it with strings from the ceiling, which is what the EPA is doing for data centers here.
8.
by pseudohadamard 5d ago
Pretty much every reply to the parent has now given a very different reason for why the problem exists. Anyone else want to give it a try? Bonus points for mentioning meatballs and/or lutfisk.
9.
by pseudohadamard 5d ago
Sort of like needing the US for F-35 parts? Given the choice between being dependent on China or the US, I know which one I'd choose - China is running a business, the US is running... God knows what it is they think they're runni
10.
by pseudohadamard 7d ago
It also needs an update of STACK, the UB checker discussed in it. It was published as an academic research project ten years ago and never updated, which is a huge pity. The closest we've got today is an AI telling you that what you&#
11.
by pseudohadamard 7d ago
Absolutely spiffing language, old chap! Must invite the designer over to my club some time.
12.
by pseudohadamard 7d ago
It does the job. I couldn't care if it was written by chickens pecking on a keyboard, as long as it works.
13.
by pseudohadamard 7d ago
In terms of mass media coverage, if this really is the bingo-card GDPR violation it appears to be then the fines for LG will be... staggering, as in corporate-survival-level staggering, which means they'll be fighting it tooth and nail
14.
by pseudohadamard 7d ago
When we were kids we, so most of the kids from the neighborhood, would spend all day down at the beach with no adults around. When it was time for dinner the family that owned the house at the top of the hill would draw the curtains in the
15.
by pseudohadamard 7d ago
That's pretty much it. However it's being pushed very, very hard by oil and gas companies in order to deflect any responsibility away from them. The amount of CO2 this place removes, assuming it can actually be run at full project
16.
by pseudohadamard 7d ago
In terms of standard rhetoric, for people outside AU, this is the "Australian bases under Australian control" fairy tale. Yeah, the gardeners are Australian, so the grass is definitely still under Australian control.
17.
by pseudohadamard 7d ago
"The US [...] retained some vestiges of the rule of law, chiefly in matters of business, so that the capitalist economy had the basic rules it needed to keep going. But the prerogative state - Trump's political machinery - enjoye
18.
by pseudohadamard 7d ago
Nice to see at least one country that has a government that thinks ahead and is proactive. Here our local government is busy issuing building permits for inundation zones (seriously!) because the land is cheap to build on for some reason an
19.
by pseudohadamard 7d ago
I've been looking at model checkers and program proof assistants on and off since FDR and Isabelle/HOL and the like, and there were similar tools going back another decade before that. If you're verifying part of an ASIC or a
20.
by pseudohadamard 7d ago
> My Samsung TV has some stupid voice assistant inside of it called Bixby. It'd be seriously cool if someone hacked the Samsung TVs and replaced Bixby with Begbie.
21.
by pseudohadamard 7d ago
I have a 12-year-old Samsung TV I got off Craigslist for under $100 that displays images, and that's it. Oh, and it plays video off a USB stick if you plug one in. Friend of mine used to hassle me about my TV, and how his one has much
22.
by pseudohadamard 7d ago
Same with any prepay SIM I'm aware of, to activate it you need a phone because why would anyone ever use a SIM with anything that isn't a phone, like an e-book reader for your elderly mother to read her romance novels on? And befo
23.
by pseudohadamard 7d ago
The weird thing is that this pretty huge story has essentially zero visibility to the public until now since it's only been covered in tech media. I wonder how long it'll take for general-public media to wake up to it to warn the
24.
by pseudohadamard 7d ago
At the time there were two root programs, Microsoft's and Netscape's. To get into them, for Microsoft you had to go through a painful third-party audit process, SAS 70 from memory, for Netscape you turned up in Mountain View with
25.
by pseudohadamard 9d ago
Came here to say the same thing. It's a Trump-regime government body, how can we know whether the figures are real or not?
26.
by pseudohadamard 10d ago
Every few years, going back to at least the 1980s, there's some new feature-length article about how $new_thing or $different_old_thing will make de Beers irrelevant within the next few years. I'm not old enough to know about earl
27.
by pseudohadamard 10d ago
It's also whether it matters if you have people available to replace the things. Any conflict that gets to the point of taking out satellites will almost certainly trigger Kessler syndrome, at which point whether you can launch any mor
28.
by pseudohadamard 10d ago
ai;dr
29.
by pseudohadamard 10d ago
For anyone else reading this and rolling their own crypto (hint: don't! No really, just don't!): >a lax PKCS#1 v1.5 RSA signature verifier that failed to enforce the total encoded length (256 bytes) or pin the digest to its cor
30.
by pseudohadamard 11d ago
Yes, but most of them in the early 1940s.

More ›