the-alt-one

Even when Apple does the wrong thing they get advertised.

>When it comes to dealing with some governments who jumped onto this newfangled digitalization bandwagon, it looks like they have taken all the shit parts from the online processes, all the shit parts from the old paper-based processes and jumbled them together into the most abominable, inefficient form ever, while pretending to be so 21st century.

This isn't the case in many European countries. So many things are super easy to do in Sweden digitally. Denmark was also pretty good, one thing I liked about Denmark's system was how easy it was to get a hold of a real human.

>And don't get me started on home automation, the only things the existing home automation solutions really automate are frustration and despair.

The real home automation solutions are the washer, drier, and dish washer. Maybe also the robot vacuum (I've heard good things but never used one myself). These are all excellent, though I don't use my drier in favour of a rack.

I have no clue how many calories running burns, but the act of moving around leaves you less time to eat :). Getting fat in the dark winters of Sweden is more likely for me, because I'm just bored and don't want to go outside as much so I sit inside and eat chocolate.

Yeah, I know that I made some heavy handed assumptions based on where we are (HN). Especially considering that 1 and 2 would make 4 more likely to be true, and 1 and 2 is likely true on HN AFAICT.

>For reasons that I don't want to get into right now, it's not easy for me to find work that pays well.

Just to be clear: I wasn't expecting you to defend your behavior in this particular case, that would be cruel and unsympathetic of me to say the least. I was only interested in how in general this treatment can occur in places where people are well paid and highly educated (with the implication that they're likely to find work regardless).

And why do highly educated people with well paid jobs accept this treatment? Is it because they want to treat others the same too? Before you ask: Yes, I am naive and ignorant :-).

>expat-English

So this is a big thing in EU politics: https://en.wikipedia.org/wiki/Euro_English

Regardless of skill, you're always going to have to be tolerant of others and their limitations. You probably have a couple of good people in your company with dyslexic tendencies, for example.

>At my last workplace, I was chewed out for doing so because apparently I was "wasting time".

Here's more of a general cultural topic: When people say "I was chewed out at work", then what does that entail?

I'm Swedish, I'd call "being chewed out" to be asked questions on how I'm doing some part of my job, for example planning. Is this what people mean?

I'm exaggerating a bit, but in Swedish workplaces you can have a relatively light touch and still have great effect imho.

"Monads don't compose" is a common sentence (google it!), for example here: https://stackoverflow.com/questions/7040844/applicatives-com...

Maybe you already knew about this and is still asking, though?

>Should I be focusing on my GitHub portfolio? What ought to be my main focus?

Having a good time. Learn for the sake of education, not for getting a job. You're so privileged by picking CS, you'll get a job anyway.

You only have one life and this time only now, use it! Socialize, be political and foolish. Make fun experiments and share with people, make friends.

All bovines for meat production have to be free range during pasture season in Sweden. I believe the same is true for Ireland.

Anyway, grass fed pasture beef is a bit leaner, does have a strong flavour, but the tender cuts are still tender. It's not close to grass fed lamb w.r.t. gaminess.

Old egg laying hens are tougher and have thicker skin, yes. Just put them in a stew.

It's very satisfying though.

Uuhm yeah, they do. I can call my union representative right now to get help.

True, also on /r/programming. Actually, HN is typically more union friendly than /r/programming IME.

"Software devs don't need unions!"

- Hacker News

I'm pretty sure the actual interest is "Not having people die and overloading the healthcare system", but okay lmao

Very funny.

KTH has a course called Language based security ( https://www.kth.se/student/kurser/kurs/DD2525?l=en ) which indeed does come from people involved in formal methods.

Formal methods is a huge area though, but in essence it's about establishing proofs of correctness.

Yes. I've worked with children who was diagnosed with ADHD. They truly are many SD:s outside of the mean behavior.

First of all: Axiom is cool as heck.

Free software like git still works, there is no "MS flavor" of git based on git's source code. This is because git is GPL:d. I'm far more worried about how MIT licensed software leads to companies doing absolutely no sharing.

We're also seeing AGPL becoming more popular. This is great, no more saas bollocks using GPL software without sharing their code.

My hopes for the future is that FLOSS software will become part of the cooperative structure which allows for competition.

Maybe I'm very naive :-).

Makes sense, Peloton is a ridiculous product.

Yeah, because a cheese burger has cheese. What does a transpiler have? What is the common factor between all transpilers? Who decides on this layering of which languages are higher level or lower level? C2Rust doesn't call itself a transpiler, it calls itself a translator.

This term seems completely useless to me.

Eh, I don't really see what this term gives us... So C2Rust is a compiler too, since Rust is compiled to LLVM?

Most compilers don't have to worry about registers nowadays, since they compile to LLVM or C.

Being unionized doesn't mean that pay is non-negotiable or anything of the sort. Yes, the union typically establishes a baseline pay based on experience, but individuals can still negotiate their own wages.

Are the techniques used different in such a case? Shouldn't it just be the same?

Basically F(C) = R such that eval_C(C) = eval_R(R) where = means something like "discernible effects".

Wouldn't an optimization pass be a transpiler then?

So why is it a transpiler and not only a compiler?

Why is this a transpiler and not a compiler?

>Public school teachers are largely unionized which would eliminate differences in pay between men and women.

No, it wouldn't. Why would it?

>were body-builders using free weights, they would have to charge them at very least 2x.

At same spaces, yes! Good quality barbells and weights, while expensive, keep for over 30 years. Bodybuilding and powerlifting doesn't take much space, so you don't need a large space, and the customer base is dedicated and can often tolerate their gyms being a bit out of the way. Machines, however, like to break and are incredibly expensive compared to barbells and weights.

A/B testing can be done with feature flags. Gradual rollout, specific customer opt-in, and so on.