jojomodding

7 ms·

91.
by jojomodding 9mo ago
https://www.swissinfo.ch/eng/swiss-made/the-runaway-swiss-tr... More often than you think. https://en.wikipedia.org/wiki/Catch_points Especially when the train to be derailed is slow-moving o
92.
by jojomodding 9mo ago
Sadly not open source licensed
93.
by jojomodding 9mo ago
RISC-V with an MMU. They're building a chip for it to run on, see https://baochip.com/
94.
by jojomodding 9mo ago
shouldn't it be preceded?
95.
by jojomodding 9mo ago
Well, three, the two you mentioned and the metric ton (1000 kg)
96.
by jojomodding 9mo ago
The rumor about going elsewhere is indeed going strong.
97.
by jojomodding 9mo ago
20 years in prison is what you get for murder and even then only when you also fail your first parole hearing. Which is a good thing. Few people deserve that long in prison.
98.
by jojomodding 9mo ago
> being able to amend my answers after grading for a revised score How do you expect that to work? After the exam, you talk to your friends (and to ChatGPT) and know the correct answers even if you could have never produced them during t
99.
by jojomodding 10mo ago
https://plf.inf.ethz.ch/research/pldi25-tree-borrows.html (Note that I am an author of that paper, and also that this is just a proposal of the rules and not yet adopted as normative.) What you seem to be forgetting in
100.
by jojomodding 10mo ago
The standard(s) very often say that a certain piece of C code has undefined behavior. Having UB means that there is behavior that is not necessarily explainable by the standard. This includes e.g. the programming seemingly continuing just
101.
by jojomodding 10mo ago
> it is not an inherent feature of the language, just the implementation So what is it now? If the implementation is correct in allowing you to cause UB with data races, then this is very much a feature of the language, making the langua
102.
by jojomodding 10mo ago
Maybe they just needed a hobby. I for one think it's a pretty cool one.
103.
by jojomodding 10mo ago
Do you have an example Lean statement you struggle with? I would have posed that they're "just" using standard math notation that should be explained in the relevant textbook for the math you're trying to formalize, but
104.
by jojomodding 10mo ago
The point is not really that the compiler is able to spot the Gaussian sum. It uses a general infrastructure to turn many "math loops" that sum/multiply numbers into closed-form solutions. This handles Gauss but is much more
105.
by jojomodding 10mo ago
The part of the blog post where it says > What’s with all these new reference types? > All of these are speculative ideas makes it pretty clear to me that they are indeed not yet part of Rust but instead something people have been thi
106.
by jojomodding 10mo ago
I live in Switzerland too and can't relate at all.
107.
by jojomodding 10mo ago
Fun fact: zenodo, which is used very often to archive (academic) software artifacts, is funded by the EU (+adjacent countries) and is basically part of CERN.
108.
by jojomodding 10mo ago
They also prefix every PDF with a useless page telling you the authors (which are already listed on the first (now second) page anyways) and a list telling you which of the author's universities were members of ACM Open and paid for th
109.
by jojomodding 10mo ago
I guess I trigger the bot detection? All I am served with is a Rick Astley quote. Turns out switching from Firefox mobile to Chrome mobile "fixes" this. Thanks for supporting the free and open internet.
110.
by jojomodding 10mo ago
This was in the olden days when your language's type system would maybe look like C's if you were serious and be even less of a thing when you were not. The hard part about compiling Rust is not really parsing, it's the type
111.
by jojomodding 10mo ago
Consider, for example, the "Hydra" cryptid (second in the list OOP linked). This is a BB(2,5) machine (2 states, 5 symbols). There are other BB(2,5) machines that take more than 10↑↑4 steps to terminate. And the "Hydra"
112.
by jojomodding 10mo ago
I was about to say that I never encounter TLS errors while browsing, but that's not strictly true. There is one such website, and it's only because the webmaster had a stroke and can't maintain it currently. But apart from th
113.
by jojomodding 11mo ago
Perhaps this article was written by the same AI that failed to understand what it was supposed to do in the first place? The post doesn't make a lot of sense and the writing seems fishy. I still don't understand what was wrong wit
114.
by jojomodding 11mo ago
You might want to follow the article and wake up to the slow destruction of the US's constitutional architecture. How can you seriously claim the president has no control over the court when he previously appointed three judges, with t
115.
by jojomodding 11mo ago
I was expecting this article to be about wading through the River Thames with an ox. In order words, making the ox ford the river.
116.
by jojomodding 11mo ago
or 300 light-meters
117.
by jojomodding 11mo ago
30 years is nothing. There are cities that had to wait for thousands of years before they got fiber.
118.
by jojomodding 11mo ago
I feel personally attacked. Not necessarily by the author but more by the part of my brain telling me to do useful work instead of slacking off.
119.
by jojomodding 11mo ago
What makes you believe Huawei is the only company that will ever be able to build 6G hardware for the entire remaining lifetime of the universe?
120.
by jojomodding 11mo ago
Wrong. People that live here (in the EU) need to register. I can stay with friends abroad for some time without having to tell the government, as long as I don't take up residency.

More ›