[-] V0ldek@awful.systems 8 points 1 day ago

this is not a distinct change of behaviour

This is what I disagree with. The theatrics of justifying police brutality don't change the outcomes of police brutality -- people still die -- but the fact that the theatrics can now be dispensed of in favour of paramilitaries directly using violence to terrorise the people is a distinct change of behaviour towards fascism.

And I think it's important to recognise that because, as many scholars of fascism have warned time and time again, this is not a binary where a switch get flipped and haha, since today you're in a fascist state. It's a progressive erosion of the social contract. ICE as deployed by the Trump regime right now is a basically textbook run: create a paramilitary force, recruit from existing criminal militias to select for loyalists and violent personalities, normalise them as keepers of order, push out or integrate any other enforcement structures so that the paramilitary becomes dominant. Basically the only difference is that Trump didn't have to create ICE, it was already there just waiting to be pushed through the pipeline.

Does this event fundamentally change how you and I perceive America? No, if you were paying attention you knew the rot inside, and you've been shouting that Trump is a fascist since the very beginning. It is, however, a sign that the situation is much worse than it was months ago, that fascism is progressing, and if this is the point at which someone not paying attention wisens up and goes "shit, we are moving towards a totalitarian nightmare" then good, welcome, grab a pitchfork.

[-] V0ldek@awful.systems 2 points 1 day ago

I mean it's so stupid that you had to explain to me that it's based on Y2K because it makes no sense

noungate

Yes, this is why we need to resist stupid names before they enter mainstream or the world will continue to get dumber

[-] V0ldek@awful.systems 2 points 1 day ago* (last edited 1 day ago)

>Reads first paragraph

>Hmm, this sounds like something that is theoretically infeasible to the point of "spending 30 minutes with some basic physics equations on the whiteboard disproves it"

>"$10 million dollars"

>"People did calculations that in an ideal setup..." oh look there it is, no waaay

Like I'm no physicist, you really don't need much more than vague recollections of high-school physics to be like "huh?" at this...

[-] V0ldek@awful.systems 3 points 1 day ago

It's pattern recognition.

Listen enough to chuds and you learn to recognise chuds based on vibes. You can approach people with 100% good faith, but the moment you sniff a chud -- trust your guts.

[-] V0ldek@awful.systems 1 points 1 day ago

Was it Wednesday, my dudes?

[-] V0ldek@awful.systems 3 points 1 day ago* (last edited 1 day ago)

For someone that has a bit of a PL/compiler background -- it's not hard if you're familiar with things like this.

What is worrying is that while the fix does address the test case from the issue, it seems there was no analysis performed as to why the failure occurred. Like okay, this test case passes, but I'm not immediately sure the system is now sound.

If it's hard to reason about then it means you as the developer are supposed to sit the fuck down, figure it out, and document it so that it's no longer hard to reason about for someone who reads it. Anything short of that is a cop out.

I'm not going to actually try to figure out how this DI framework works to do this analysis, definitely not for free.

[-] V0ldek@awful.systems 4 points 1 day ago

It's a very elaborate parkour trick in Haskell that through piles and piles or rigorous category theory manages to achieve Nothing in a type-safe manner.

[-] V0ldek@awful.systems 8 points 1 day ago* (last edited 1 day ago)

There are two things here in my opinion:

  1. American cops are trained murderers, but they are trained, in particular to avoid causing massive PR disasters with their murders*. A paramilitary goon with a rifle in a government organisation so opaque we still don't even know his identity is materially worse than a cop. It also looks much worse, the police have some completely undue public trust, ICE just looks like military forces.
  2. We immediatelly had video with the full event. When cops kill people of colour there's usually no evidence since again, they know how to pull murder off without causing PR disasters. Basically the only reason George Floyd's murder wasn't successfully brushed aside is that we had video of it, and they tried to bury that shit hard. In this case I don't even think the victim being white or a citizen matters, the event itself is so fucking horrifying it'd elicit outrage anyway. I am 100% sure that if there wasn't video, just witness reports, it'd be out of the media cycle already.

* I don't want this to seem like a moral distinction, if anything the decorum granted to police forces is arguably a stepping stone that brought the USA here. Recall Mamdami's recent words: "For too long, those fluent in the good grammar of civility have deployed decorum to mask agendas of cruelty". HOWEVER, to me personally this is a rather chilling escalation. It shows that the PR part doesn't actually matter anymore. America is so far into the fascist pipeline that paramilitary forces can just execute citizens in broad daylight on the street. They don't need to hide it, they don't need to play coy about it, they can just post-facto label the victim as an Enemy of the State and move on. I'm sorry but to me this is like one step away from just rounding people up against a wall for fun. Human life is not only practically worthless to state actors, it's proudly and openly worthless as a matter of policy.

[-] V0ldek@awful.systems 3 points 1 day ago

But... But Y2K = Year 2000, like it's an actual sensible acronym. You can't just fucking replace K with Q and call it a day what the fuck, did ChatGPT come up with this??

[-] V0ldek@awful.systems 2 points 2 days ago

That’s horrifying. The whole thing reads like an over-elaborate joke poking fun at vibe-coders.

wait what do you mean "reads like"

please don't tell me this is earnest?

[-] V0ldek@awful.systems 3 points 2 days ago

GLP-1s

No idea what this is, but being at a rationalist conference cannot be good.

retratrutide

No idea.

might fix her mood swings

Uh-oh, nonono, red flag, red flag, run away from those people!

D.I.Y. guide by the Substacker Cremieux.

spits coffee Excuse me, by WHOM?!

[-] V0ldek@awful.systems 1 points 2 days ago

Y2Q

I'm sorry, what does this stand for? Searching for it just results in usage without definition. I understand it's refering to breaking conventional encryption, but it's clearly an abbreviation of something, right? Years To Quantum? But then a countdown to it doesn't make sense?

12
Oh shit, Steph is back (www.youtube.com)
61

This is a nice post, but it has such an annoying sentence right in the intro:

At the time I saw the press coverage, I didn’t bother to click on the actual preprint and read the work. The results seemed unsurprising: when researchers were given access to AI tools, they became more productive. That sounds reasonable and expected.

What? What about it sounds reasonable? What about it sounds expected given all we know about AI??

I see this all the time. Why do otherwise skeptical voices always have the need to put in a weakening statement like this. "For sure, there are some legitimate uses of AI" or "Of course, I'm not claiming AI is useless" like why are you not claiming that. You probably should be claiming that. All of this garbage is useless until proven otherwise! "AI does not increase productivity" is the null hypothesis! It's the only correct skeptical position! Why do you seem to need to extend benefit of the doubt here, like seriously, I cannot explain this in any way.

21
submitted 1 year ago* (last edited 1 year ago) by V0ldek@awful.systems to c/freeasm@awful.systems

I'm looking for recommendations of good blogs for programmers. I've been asked about what I would recommend by younger folks a few times these past few months and I realised I don't really have a good list that I could just share with them.

What I'm interested in are blogs that don't focus specifically on any particular tech but more things like Coding Horror that are just for devs in general. They don't have to be for beginners. It'd also be interesting to see which of those are most popular in our little circle, so please upvote comments that contain recommendations you agree with.

I'm implicitly assuming stuff shared by folks here is going to be sensible, well-written blogs, and not some AI shill nonsense or other tech grift.

Note that I'm specifically interested in the text medium, podcasts or YT not so much.

21

An excellent post by Ludicity as per usual, but I need to vent two things.

First of all, I only ever worked in a Scrum team once and it was really nice. I liked having a Product Owner that was invested in the process and did customer communications, I loved having a Scrum Master that kept the meetings tight and followed up on Retrospective points, it worked like a well-oiled machine. Turns out it was a one-of-a-kind experience. I can't imagine having a stand-up for one hour without casualties involved.

A few months back a colleague (we're both PhD students at TU Munich) was taking a piss about how you can enroll in a Scrum course as an elective for our doctor school. He was in general making fun of the methodology but using words I've never heard before in my life. "Agile Testing". "Backlog Grooming". "Scrum of Scrums". I was like "dude, none of those words are in the bible", went to the Scrum Guide (which as far as I understood was the only document that actually defined what "Scrum" meant) and Ctrl+F-ed my point of literally none of that shit being there. Really, where the fuck does any of that come from? Is there a DLC to Scrum that I was never shown before? Was the person who first uttered "Scrumban" already drawn and quartered or is justice yet to be served?

Aside: the funniest part of that discussion was that our doctor school has an exemption that carves out "credits for Scrum and Agile methodology courses" as being worthless towards your PhD, so at least someone sane is managing that.

Second point I wanted to make was that I was having a perfectly happy holiday and then I read the phrase "Agile 2" and now I am crying into an ice-cream bucket. God help us all. Why. Ludicity you fucking monster, there was a non-zero chance I would've gone through my entire life without knowing that existed, I hate you now.

66
submitted 2 years ago* (last edited 2 years ago) by V0ldek@awful.systems to c/techtakes@awful.systems

Turns out software engineering cannot be easily solved with a ~~small shell script~~ large language model.

The author of the article appears to be a genuine ML engineer, although some of his takes aged like fine milk. He seems to be shilling Google a bit too much for my taste. However, the sneer content is good nonetheless.

First off, the "Devin solves a task on Upwork" demo is 1. cherry picked, 2. not even correctly solved.

Second, and this is the absolutely fantastic golden nugget here, to show off its "bug solving capability" it creates its own nonsensical bugs and then reverses them. It's the ideal corporate worker, able to appear busy by creating useless work for itself out of thin air.

It also takes over 6 hours to perform this task, which would be reasonable for an experienced software engineer, but an experienced software engineer's workflow doesn't include burning a small nuclear explosion worth of energy while coding and then not actually solving the task. We don't drink that much coffee.

The next demo is a bait-and-switch again. In this case I think the author of the article fails to sneer quite as much as it's worthy -- the task the AI solves is writing test cases for finding the Least Common Multiple modulo a number. Come on, that task is fucking trivial, all those tests are oneliners! It's famously much easier to verify modulo arithmetic than it is to actually compute it. And it takes the AI an hour to do it!

It is a bit refreshing though that it didn't turn out DEVIN is just Dinesh, Eesha, Vikram, Ishani, and Niranjan working for $2/h from a slum in India.

165

I'm not sure if this fully fits into TechTakes mission statement, but "CEO thinks it's a-okay to abuse certificate trust to sell data to advertisers" is, in my opinion, a great snapshot of what brain worms live inside those people's heads.

In short, Facebook wiretapped Snapchat by sending data through their VPN company, Onavo. Installing it on your machine would add their certificates as trusted. Onavo would then intercept all communication to Snapchat and pretend the connection is TLS-secure by forging a Snapchat certificate and signing it with its own.

"Whenever someone asks a question about Snapchat, the answer is usually that because their traffic is encrypted, we have no analytics about them," Facebook CEO Mark Zuckerberg wrote in a 2016 email to Javier Olivan.

"Given how quickly they're growing, it seems important to figure out a new way to get reliable analytics about them," Zuckerberg continued. "Perhaps we need to do panels or write custom software. You should figure out how to do this."

Zuckerberg ordered his engineers to "think outside the box" to break TLS encryption in a way that would allow them to quietly sell data to advertisers.

I'm sure the brave programmers that came up with and implemented this nonsense were very proud of their service. Jesus fucking cinammon crunch Christ.

view more: next ›

V0ldek

joined 2 years ago