cocoto

6 ms·

61.
by cocoto 9mo ago
You can use the number 0.{concatenation of all 1 bit strings ordered}{concatenation of all 2 bits strings ordered} = 0.0100011011… Now an interesting problem would be to have the most “compact” number, where you can find all the strings of
62.
by cocoto 9mo ago
Personally I see std::move more like removing ownership because it’s not explicit from its call where the ownership is transferred.
63.
by cocoto 9mo ago
Battery life is the best selling point of MacBooks and the reason these are selling like crazy. I’m a full time Linux user and I’m even considering buying a macbook and running a Linux VM full time because of the battery.
64.
by cocoto 9mo ago
I also have one bought used. It’s the only way to have 4k and 200% scaling on Linux without everything being too big or too small. Size and ppi are perfect but sadly other aspects are becoming really dated (bad colors and contrast, high lat
65.
by cocoto 9mo ago
> One naive belief many people have is that proofs should be "intelligible" but it's increasingly clear this is not the case. That’s one of the main reason why I did not pursue an academic math career. The pure joy of solv
66.
by cocoto 9mo ago
Not true, most tools are deterministic. For instance my programming language LSP just works 100% of the time with no failure. It doesn’t hallucinate any types, methods or variables.
67.
by cocoto 9mo ago
I’m now an iOS user but the problem is actually the same here : apps not respecting communication channels to push ads (mostly to their own app or service). I usually fully block notifications from most apps but for some apps the notificati
68.
by cocoto 10mo ago
Sadly arm strength and endurance is way worse than legs, this should obviously work with pedals like a bicycle. I would even be ready to buy one to replace my daily commute when working from home.
69.
by cocoto 10mo ago
Such sites would be illegal if not sharing the header back from the source website and be banned as much as adult websites incorrectly setting this header. It’s not a real problem.
70.
by cocoto 10mo ago
> Kids can access the internet in all kinds of places outside the home, and outside the purview of their parents supervision. Schools, libraries, friend's houses, public wifi anywhere. Then these places should make sure kids are not
71.
by cocoto 11mo ago
The award is well deserved, VLC was a godsend a few years ago but I’m not sure what VLC brings to the table nowadays. All other players play videos just fine on Linux now. I guess VLC is only a thing on Windows because the default software
72.
by cocoto 1y ago
If for instance higher ups from all companies require you to hire only whites with straight blond hair, a certain weight/size and with green eyes, you will quickly need to hire the bottom of the barrel of this group to expand your team
73.
by cocoto 1y ago
I love Haskell but when writing C++ I always avoid functional style gibberish. I feel like this style of programming only works in languages properly designed for that.
74.
by cocoto 1y ago
Completely false, buses are way louder than multiple cars. Buses make tons of noise when accelerating and many have obnoxious added sounds at stops for security reasons. As a full cyclist I would gladly prefer no bus and more cars. Moreover
75.
by cocoto 1y ago
Edit: Under 10s with CP-SAT after removing many variables (had multiple variables for the same pieces).
76.
by cocoto 1y ago
I tried modeling the problem as a mixed-integer linear program (one binary variable for each possible piece position) and CP-SAT solved this one in two minutes.
77.
by cocoto 1y ago
Box cakes are widely available in most of Europe. They taste more than ok but sure nobody here would claim it’s a family recipe.
78.
by cocoto 1y ago
Had the exact same bug! Not so rare I think.
79.
by cocoto 1y ago
Mine broke even without speeding up things, the black ball is now working together with the white ball.
80.
by cocoto 1y ago
Gnome is way simpler to use than Windows. If you let grandma or a kid with no prior Desktop experience, I’m pretty sure they will find Gnome more intuitive. The problem is that it is too different for a Windows user, so the switching cost i
81.
by cocoto 1y ago
Thank you so much for proposing earlyoom, that is exactly what I needed!
82.
by cocoto 1y ago
The way it works is that if you trust the theorem prover to be bug free, then you only have to verify that the theorem was correctly stated in the program. The proof itself becomes irrelevant and there is no need to verify it.
83.
by cocoto 1y ago
I think the title has been trimmed from the word “realeased”. Might be another case of HN auto title edit botching the original title.
84.
by cocoto 1y ago
The installation is slightly easier (but still hard because of USB install) and the website has a more appealing design. Except from that what is better in Ubuntu for the average casual user? Proprietary blobs are now included in the defaul
85.
by cocoto 1y ago
Seems to be available now but it was not some hours before.
86.
by cocoto 1y ago
Backup the private keys, use encrypted USB keys with strong passwords and store the private keys there.
87.
by cocoto 1y ago
The far right in France doesn’t want ChatControl. In fact I think only the soft left, middle and soft right want ChatControl (and it is not even a consensus for among these groups).
88.
by cocoto 1y ago
Your phone feels slow either because you are now used to faster devices or because the software used is becoming bloated. There is no reason a phone feels slower except for these two reasons (or maybe if thermal got worse over time but it s
89.
by cocoto 1y ago
Criticizing Signal for its crypto payment system is ridiculous. The option is totally optional and completely buried as it is literally the last option when messaging. It’s better to criticize the rule against third-party clients.
90.
by cocoto 1y ago
Protecting the kids I think, because if the dad is not known then the mother will have to pay for the child alone (subsidized by the government). In France around 3% of kids are raised from dads not knowing that they are not the biological

More ›