- Yep. I punch literally everyone I meet in the face.
I have the power to do it. Why would I not?
- > as a code reviewer [you] are only expected to review the code visually and are not provided the resources required to compile the code on your local machine to see the compiler fail.
As a PR reviewer I frequently pull down the code and run it. Especially if I'm suggesting changes because I want to make sure my suggestion is correct.
Do other PR reviewers not do this?
- Borgo [1] is basically that.
Though I think it's more of a hobby language. The last commit was > 1 year ago.
- The first link is a mistake. It's supposed to be the thing being discussed here: https://www.hackerneue.com/item?id=45170164.
The 2nd link seems reasonable to me? Why does a study about 25k workers in Denmark (11 occupations, 7k workplaces) not count as evidence? If there was a strong effect to be found globally, it seems likely to be found in Denmark too.
Also, what about the other links? The discussions about the strange accounting and lack of profitability seem like evidence as well.
If anything, this article struck me as well-evidenced.
- Hey it'd be great if you could rank the choices individually rather ranked-choice-style than picking just one first-past-the-post-style. I'm sure you could still compute a score, but it'd lead to less frustration from the quiz taker.
E.g. the debugging question: I use all of those methods to some degree. But I "think logically about the code" (or whatever that choice was) nearly 100% of the time, so I felt compelled to pick that one even though I didn't feel like it represented me all that well.
- Sorry off topic but I love the styling of this site.
- > Critiquing beyond burgers for their macro breakdown doesn't make sense to me.
They're selling a meat replacement. Replacing the meat in my diet with their product does not work for my goals without additional planning to compensate. Therefore it's not a good replacement for me. A criticism need not apply in all cases to be valid.
> I'd still be able to hit 150g/day at least without really trying.
What are your calorie goals? If you're in a surplus, maybe. But I'm currently in a deficit with 150g protein / 1600 calorie. I do not find that I can hit this goal "without really trying", _especially_ without protein powder.
And to clarify, it's 100% possible to hit my goals eating vegetarian/vegan. But with meat in my diet it's much easier because their high protein content gives me more flexibility with the rest of the diet. If I wanted to do it vegetarian, I wouldn't use beyond meat because it'd be even harder than other options.
- Thanks for breaking that down.
As someone doing weightlifting, this is the primary reason I don't bother with vegetarian meats. They actually taste pretty good IMO, but they don't offer nutritional benefits commensurate with animal meat.
It's a shame, really. I'd gladly incorporate them if I could get a similar protein : calorie ratio.
- This particular professor has been teaching for 30 years. I'm not sure I find your explanation all that convincing in light of that, especially since this isn't an isolated opinion.
I'm much more interested in how much the average student has had a phone to distract them during their lifetime. For the incoming 2025 class of 18 year olds, the iPhone came out the year they were born. So potentially 100%. I expect that plus the availability of LLMs is a deadly combo on an engaged student body.
- > as well as the promotion of weird ideologies by the DoE
What weird ideologies?
- As someone working in a niche area, I can confirm. It's shocking how little tech adoption there is in my industry. Plenty of low hanging fruit.
However I still sympathize with the parent comment. The niche-industry-exception state of affairs will become less true over time. And then you're left with the same set of incentives (minus dedicated hobbyists).
- I haven't read this yet but I see one of the two authors is George R. R. Martin? That's cool! Does he normally contribute to this kind of thing? I had no idea.
- Oh _that's_ what's happening. I was wondering why so many images were broken but I hadn't investigated.
- I appreciate write-ups of failed experiments like this. They're sorta like null results in science, but for engineering. And they can help others from needlessly walking down the same path.
If everyone only wrote about their successes, we'd all have to independently rediscover failures behind closed doors.
- I bet reddit.com/r/ProgrammingLanguages/ would like this.
- I hadn't seen this before, it's fantastic! Thanks!
- I think because a full proof covering existence and uniqueness will either be really long or require tools from outside the scope of the text. E.g. there's a somewhat concise proof using linear algebra which I'll partially reproduce below. (I like this proof because the equation is derived from first principles rather than starting with an ansatz.)
---
Let x_n be a sequence defined by the recurrence relation:
Observe that if we define a sequence of two-element vectors of successive elements:x_{n+1} = a * x_{n-1} + b * x_n
then we can form the relation in terms of matrix/vector multiplication:[x_0] [x_1] [x_2] [x_1], [x_2], [x_3], ...
Let's name the sequence of vectors as y_n and call the matrix M:[x_1] = [[0 1]] [x_0] [x_2] [[a b]] [x_1]
We can get the next term in the sequence with another multiplication:y_1 = M * y_0
By induction we have:y_2 = M * y_1 = M * (M * y_0) = M^2 * y_0
M has characteristic polynomial:y_n = M^n * y_0
with roots:r^2 - br - a = 0
Therefore we have by diagonalization:r_1 = (b - c)/2 r_2 = (b + c)/2 c = √(b^2 + 4a)
where S is the matrix of eigenvectors. From here, we can finish our existence and uniqueness proofs from the existence and uniqueness of the eigenvalues of M.y_n = S * [[r_1^n 0 ]] * S^(-1) * y_0 [[0 r_2^n]] - In fact, I came to the comments to ask. Thank you!
- Can you say more? I’m interested.
I have the technical background to write Latex and Typst documents but I honestly didn't want the headache. Plus I'm the type to futz with styling all day long instead of putting down actual content. RenderCV was simple to use and did exactly what I wanted.