edwcross

6 ms·

31.
by edwcross 11mo ago
Which, in a subject like algebra, is extremely suspicious ("how could both of them get the exact same WRONG answer?").
32.
by edwcross 11mo ago
Always stunned by how much teachers can accuse without proof and invert the "innocent until proven guilty". Honestly, students should have a course in "how the justice system works" (or at least should work). So should t
33.
by edwcross 11mo ago
Warning: this website froze my Firefox and I had to kill it. It started running at 100% CPU and then my browser stopped responding. I tried closing the tab but it kept running.
34.
by edwcross 11mo ago
The article does not mention much about firmware. The main reason I stopped using Lineage is because I got a Pixel and wanted to keep maximum picture quality with it. Open-source photo applications, from what I understood, cannot access all
35.
by edwcross 11mo ago
The post mentions cgrep several times, but I don't see a link to the code. Is it available somewhere? Github has several repositories named cgrep, but the first results are written in other languages than C (Haskell, Python, Typescript
36.
by edwcross 1y ago
Croissants are sugar-free kouign-amanns, then?
37.
by edwcross 1y ago
A city I lived in had this, but when the restaurant owner retired, they explicitly forbade the ground floor from being used for some food-related business. It turns out the residents upstairs were always complaining about the smell. NIMBYis
38.
by edwcross 1y ago
I'm increasingly pessimistic about everyday reach of Linux. Around me, all I see are Windows users, volunteers teaching old people how to use several tools... on Windows. Public institutions relying on Windows, upgrading to Windows 11,
39.
by edwcross 1y ago
I tried running the suggested code (curl -sL ...) but inadvertently did not check it was missing quotes around '\r'. So after a while I started seeing some errors: [error] No valid link found according to patterns for 'aboad&
40.
by edwcross 1y ago
Did you mean "unrecoverable"? I first read your comment as "ok, the solution is trivially easy so the article is unnecessary", but the rest of your comment implies the opposite.
41.
by edwcross 1y ago
On the free side, you also have Frama-C ( https://www.frama-c.com ) and its Eva plug-in, based on abstract interpretation, and Mopsa ( https://mopsa.lip6.fr ), also based on abstract interpretation.
42.
by edwcross 1y ago
Two possibilities: - The basket has its own weight; - They are older, and so are their muscles, therefore the basket "feels" heavier.
43.
by edwcross 1y ago
TVs back then supported a given standard (NTSC, PAL) and a lower resolution. CRTs couldn't "buffer" the image. Several aspects made it so that "cheating" was not possible. It was either fast, or nothing. Image quali
44.
by edwcross 1y ago
In machine integer arithmetics, one must also beware division by -1, which can convert MIN_INT into MIN_INT with a signed overflow and violate some arithmetics invariants, such as sign (negative divided by negative is _usually_ positive).
45.
by edwcross 1y ago
> seriously, google "cologne KVB windows trashcan" I did, and didn't get any relevant results. I had to google "koeln kVB windows papierkorb" to get several photos with screenshots of such screens.
46.
by edwcross 1y ago
> really enjoyed reading some real pacemaker code Where can one find such code? Is all of it locked under NDAs?
47.
by edwcross 1y ago
Indeed. If I search Google for terms in my specific language other than English, I expect to find results that are relevant to my country. Auto-translated Reddit posts that "fake" being from that language are deeply annoying, beca
48.
by edwcross 1y ago
Hello, sir! Since you are so nice, would you please reimburse my daughter for the 300€ she spent without authorization? I mean, the Robux were bought at 11 PM, all in a burst, as a typical addiction pattern. She didn't even get to use
49.
by edwcross 1y ago
Would you mind citing which kind of cheese you eat? Because much cheese has little to no lactose, and also goat lactose does not necessarily have the same effect as cow lactose. Finally, the fats and proteins in cheese affect digestion and
50.
by edwcross 1y ago
I'm in Europe and I see no way to get such tests. Other than lying and saying that you are at risk of contamination ("My hobby was glassworking"), I never saw any kind of test that you could pay yourself. Everywhere the gover
51.
by edwcross 2y ago
Well, if this is not mentioned at all during history classes, at least it prevents them from being taught that "British brought prosperity and development to all of its colonies, making the world better for everyone" and "the
52.
by edwcross 2y ago
Most countries still do not mandate that new apartments include charging ports for parking spots. So densely-populated areas will still be plagued with non-EC compatible buildings for decades to come. That's what "city life"
53.
by edwcross 2y ago
Microsoft killed Skype for me a few months ago: the Linux version simply stopped working, and unless I install a Snap-based one (which I cannot do remotely on family computers), it's now useless. Also, my Skype credit simply disappeare
54.
by edwcross 2y ago
You don't always need to blame corruption. Inefficiencies of all kinds (due to lack of education, lack of infrastructure, etc) also cause most 3rd world countries to have this kind of situation where services are paid for at least twic
55.
by edwcross 2y ago
Funny you mentioned TrustInSoft but not its open-source origin (which is still under development and evolving in a different direction), Frama-C. I cannot compare it to IKOS, but their usefulness depends a lot on the type of code and verifi
56.
by edwcross 2y ago
Given the amount of injuries related to mountain biking, is there some specific insurance needed for it? It seems one of those "net-negative for the society activities", like trampolines.
57.
by edwcross 2y ago
Just an anecdote, but 10 years following about 200-300 laptops, with about 90% of them using SSDs, I only had 2 drive failures, both with SSDs: one of them became completely unusable (all data lost and impossible to recover anything, even a
58.
by edwcross 2y ago
It _is_ possible to do some checks at compile time, but not for all programs. Or, you can check all programs, but only be _sure_ about your results on some of them. Or, you can add some constraints and force the programmer to write extra in
59.
by edwcross 2y ago
Don't worry, in Europe, the incumbent manufacturers have a much better way to prevent EV sales: lack of charging spots. Unless you are rich enough to own a house and install your own charger, the law still does not mandate, even for ap
60.
by edwcross 2y ago
A "super-parallel Python port" of C-Reduce, cvise ( https://github.com/marxin/cvise ), is actually written in Python.

More ›