Large corporations have the reigns of power seized by the political class: MBAs, sales executives, and CEOs that have never stepped foot in a workshop or factory in their entire lives… or even a shopping center, for that matter.
These people care only about each other: power, influence, money, etc.
Actually using or - gasp - improving the product is beneath them.
Or do you seriously think the billionaire CEO of some white goods company knows or cares about the quality of the wash the cheap Chinese-made washing machine does? He’s got staff laundering his clothes!
Similarly it’s very clear nobody with real power at Microsoft uses their own tools. I see their seniour product managers turn up to Microsoft Ignite with Apple Macs, for crying out loud!
>but if you overstay a visa you should expect detention.
I really dont get this view.
Like you could substitute detention with a 1 dollar a day fine, or community service. Why does the punishment for this particular crime, have to be detention. Why is it worse than making your local council mad for not taking out the bins. The severity of the punishment is just ludicrous compared to the crime of participating in a community, and the US isnt the only place with this brainrot.
The community isn't harmed by an overstay as it is with say, shooting people or stabbing people. In fact it seems widely recognised that these people contribute in the net positive.
It also seems like there's an overwhelming consensus that its easier to sort out immigration issues from inside the target country, outside of detention with access to legal representation.
Their "VP of Community" wrote this in 2020: https://kristoff.it/blog/addio-redis/ I didn't come across it until 2022. Still, particularly that and other writing from him and others convinced me the Zig community is full of goobers. That's not so bad, I have my tastes in immature humor and can sometimes be a goober too, but the application in that post's clearly-marked over-the-top skit still is just bizarre and doesn't encourage me to interact with them. To be more fair to the author and the community though, especially with respect to this GitHub migration, his more serious writing is better: https://kristoff.it/blog/the-open-source-game/ (2021). Some nice things said about Rust and the Rust community, even. In that he outlines a core position of "software you can love" being what he wants to create and inspire people to create, and how nothing else, particularly neither "big tech" nor "open source", really caters to that. The migration off of GitHub is predictable in the sense that GitHub stopped being something a lot of people loved a while ago -- of course some still love it, this tent creates obvious tension. (Though I don't know that Codeberg is any better and worthy of love. A few libraries I use have migrated to it and it seems fine at least, though them using Anubis is annoying and I've gotten the fail page of "Internal Server Error: administrator has misconfigured Anubis." a number of times. It does not spark joy in me.)
> Well, I genuinely think the word "feminism" means different thing in Korea to the places I've lived at. It has much more inflammatory undertone there whereas in NZ, its just a term. When I see "anti-feminism" for Korean politician, I construe it to be "anti radical feminism". That's what I was trying to get at.
Any active, non-historical example of feminism is likely to be considered radical. I think for us to have a reasonable discussion, you’d need to define what radical feminism means to you.
Otherwise what you’re saying is practically equivalent to “Koreans are fine with good feminism, but draw the line at bad feminism”. Which, besides being tautological, is just a rephrasing of the pendulum thing.
> I think there are still gender inequality in Korea.
It seems we agree the issue that feminism aims to solve still exists in South Korea?
> The reason I'm defending them is that I just don't want people to label fair bit of young Korean men to be misogynist and write them off. Their struggles are real and if we keep marginalising them I don't think it would get any better.
I think it’s very possible to understand a person to be a misogynist while also recognizing that they have real struggles. I think people can change and even if they don’t, you can still be empathetic.
I don’t see any inherent marginalization in noticing misogyny. Real problems exist. But a lot of the blame is likely misdirected.
Poster here. I re-read this paper about once a year. I continue to think that it may be one of the most important papers I've read. As someone who works on high-reliability safety-critical real-time systems (automotive, avionics), being able to work in an environment where I could prove semantic properties of assembly code is pretty close to my dream -- the cost of demonstrating code correct is already so much higher than the cost of writing the code that the incremental cost of going to assembly seems minor, if there's even a small payback in time to demonstrate correctness. In practice, I think my dream language would be a relatively rich macro assembler plus a (guided, greedy) register allocator, designed entirely to allow simplify and allow semantic proofs. I don't really have a sense as to whether Coq (Rocq) is the right answer today, vs other options; or if there's a newer literature advancing this approach; but I'd truly love to see a deeper focus of making low level languages more useful in this space, rather than moving towards more constrained, higher level languages.
Our entire system for measuring the value of cognitive work is denominated in human time. But not even machines realize they’re not on human time. That’s a problem.
Depends on the work? Software salaries in the US are so far beyond anywhere else in the world that it puts you in a significantly different lifestyle.
One year of a kafkaesque process to make $500k/year instead of 70k Euros is a trade worth it to tons of people to make the go at it. And that’s for stable corporate jobs, it gets even more favorable if you want to start a company.
>>Claiming that that damage makes people maga is quite a different thing.
This is very obviously not what's being discussed. Please read the experiments and the summary conclusions before inventing a fantasy about the scientific method. If you keep making outlandish and false assertions like this, I'll have to ignore the response.
They've abandoned GitHub for Codeberg because GitHub has ICE as a customer. Codeberg uses Paypal which is a member of the ICE "Virtual Global Taskforce".
There is a purity spiral that organizations can enter when they start doing this, which ends up with you shoving yourself into a cold dark corner of the internet and still not being completely detached from the badness because Cisco provides infrastructure for nearly every major weapons manufacturer and defense department globally.
> I agree that the writing in the blog post is more colorful than precise, but sanitizing every bit of expression dulls the internet. Humans invented language for a reason.
Where do you draw the line, then? Is a racist screed acceptable to you as long as the following paragraph references technical issues correctly?
The language in the blog post is insulting. Imagine how you would feel if you were the person who wrote this code, and now you are being called a monkey in front of thousands of people on the internet. Certainly you've made mistakes in your code before...or are you saying you've always written flawless code without errors?
These codes of conduct always seemed a bit superfluous to me, but after reading comments like these I can totally see why they are necessary.
This is called marketing and pushing a brand. It's nothing new.
It could even be faked. There was a clothing brand who said their stuff was all hand made, artisanal, only to be found out they sent their stuff to China to make. Now the Chinese workers are ranting about getting credit for their quality work.
It's why I think it's a sign of maturity to be able to get past all the narratives and spin to a product, all the while living less materialistically.
Safest bet is to assume that OpenAI is lying about everything. Don't know why but would guess that (1) they often consider it to be to their advantage and (2) they have no moral compunction against it. It's just the way they are.
I agree, but there are alternatives that are even worse, like agrarian communism under Pol Pot. I'm not saying there's no scope for improvement with billionaires and their role in society, I just dispute that billionaires are some unique and unitary source of problems. For example, if a tax law was passed that caused an exodus of billionaires (capital flight), I do not believe that the median living standards would rise. I do not believe things would get much better. So this is not so much a disagreement in values but more about the facts of the matter.
That said, I'm trying to wrap my head around how projects like do work via wasm, given that wasm has so few types (numbers, arrays) and no I/O or system interface. I'm definitely missing something.
Apart from his skills and Zig work, this guy sounds like an angry teen or Linus wannabe .His tone makes Zig look like a one egoistic man show even it is not.
