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…
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…
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…
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…
>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,…
"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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
>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,…
"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…
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…
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…
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…
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…
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…