Recent submissions

Comment · 3 days ago
and then it's roughly just a rectangle of 100 by 100 containers, still big, but maybe not sooo big :-)
Comment · 7 days ago
Who decides what the interests of the nation are? Who decides what the interests of the people are? You? I?

This is generally not possible to do consistently, as if A prefers option 1 and B prefers option 2, you're at an impass...

And I'd take the inefficiencies of democracies over dictatorships any day...

Comment · 11 days ago
Comment · 13 days ago
If I would have to rate difficulty of Traffic enforcement, I would have put it quite low... What makes it so difficult?
Comment · 1 month ago
The oral exams scale better than one might expect, at least if you're not just doing multiple choice exams and you have to actually grade the exam. The time spent on grading the exam could have also been spent on an oral exam... For bachelor level it's usually 15-20min (usually quicker for the well prepared students), and for master courses it is 30min.

Usually you know after a few minutes if it's going to be a fail, and then otherwise you only need to figure out where on the passing scale the student ends up.

Comment · 3 months ago
This looks interesting. I am not really familiar with lean, etc... Could I use this to formalize/verify a proof from a paper?
Comment · 3 months ago
Mostly yes, you still need to check capitalisation of special words... But this should be independent of the actual citation style.
Comment · 3 months ago
Comment · 4 months ago
I think the actual solution is closer to, you buy a team specific ticket/option: if your team advances you get the ticket, if some other team advances their fans get the tickets.
Comment · 4 months ago
A 10 year old definitely,and 5year old is close, but not unrealistic, To drive a car you don't need to be able to read... To drive a car on the road with other people is a whole other story :-)
Comment · 6 months ago
if you count all parts, bottom, keyboard, cover, battery its more like 500 to 600.
Comment · 6 months ago
The attachment mechanism is usually standardized, so you can just switch between brands.

Nowadays a larger factor might be how close the next dealership/repair shop is. Some things are time critical, and when it breaks in this time, then you don't want to drive hours to have it fixed/get a part/ have a mechanic available.

There are some differences between the brands... And you can always be Clarkson and get a Lamborghini, even when it makes no sense ;-)

Comment · 7 months ago
i am curious: is the performance gap between x86 cpu inference and apple silicon, or, a imho more apples-to-apples comparison, e.g., amd strixpoint halo vs apple silicon?

i would expect the "pure" cpu inference to be behind, but an approach like strix halo/dgx spark to be much closer?

Comment · 7 months ago
I am fully on your side, but tests are not 100%: False positives and false negatives.

The way out is obviously better tests and not less tests :-)

Comment · 7 months ago
What one has to keep in mind as well, that even though tractors are really heavy they spread that weight across a large area (using low tire pressures and having massive tires to begin with). So, iirc, the per area impact is even lower then a human. It impacts a lot larger area, though!

Plowing vs tilling is also very much about soil erosion and depends very much of the location you are in.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton