HNHacker News
TopNewBestAskShowJobs

cocoto

389 karma · joined October 3, 2019

submissionscomments
cocoto··on Eternal Struggle
Had the exact same bug! Not so rare I think.
cocoto··on Eternal Struggle
Mine broke even without speeding up things, the black ball is now working together with the white ball.
cocoto··on Desktop Linux Keeps Winning the Wrong Battles
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 is high.
cocoto··on Looking back at my transition from Windows to Linux
Thank you so much for proposing earlyoom, that is exactly what I needed!
cocoto··on Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover
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.
cocoto··on Debian 13 “Trixie”
I think the title has been trimmed from the word “realeased”. Might be another case of HN auto title edit botching the original title.
cocoto··on Debian 13 “Trixie”
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 default installer since version 12.
cocoto··on uBlock Origin Lite now available for Safari
Seems to be available now but it was not some hours before.
cocoto··on How to Secure a Linux Server
Backup the private keys, use encrypted USB keys with strong passwords and store the private keys there.
cocoto··on Many countries that said no to ChatControl in 2024 are now undecided
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).
cocoto··on Fairphone 6 is switching to a new design that's even more sustainable
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 should not). Personally I don’t care if a phone feels slower compared to other devices as long as it is not becoming slower because of crap software updates.
cocoto··on WhatsApp introduces ads in its app
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.
cocoto··on After Pornhub left France, this VPN saw a 1,000% surge in signups in 30 minutes
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 father. Personally I think this law is completely unfair but in practice I think the judges will not believe the one opposing the test.
cocoto··on After Pornhub left France, this VPN saw a 1,000% surge in signups in 30 minutes
There could easily be a web standard to allow/disallow NSFW content and the web browsers could broadcast this flag based on settings at OS level similarly to the light/dark theme setting at OS level that can be used by websites and it works on all OS/web browsers implementing this trivial feature.
cocoto··on Longevity Is Now a Factor When Picking an Embryo for IVF
The problem is that you can not ban eugenic tech long term, because the other countries will use this to get better IQ and dominate you.
cocoto··on Why old games never die, but new ones do
The problem here is that you are seeking perfection. Simply play with a non-optimal configuration and enjoy!
cocoto··on O3 beats a master-level GeoGuessr player, even with fake EXIF data
Connecting an LLM to the web or database is something cheap, not something expensive.
cocoto··on Open-Source Is Just That
As seen in the comments here, better to use a term like “source available”. It’s also more clear because the word “open” is way too abstract.
cocoto··on I won't connect my dishwasher to your cloud
Simply rename the device “malware” at this point.
cocoto··on Ask HN: Difficulties with going back to school
I think you now have to pay for education if you come from outside the EU, at least in France. It is still cheaper than the US because it is massively subsidized by the working class. A person coming to EU only for free /cheap education is not welcomed.
cocoto··on NixOS and reproducible builds could have detected the xz backdoor
The backdoor was not targeting Nix but it had to not raise any suspicion during a build in Nix to not be exposed.
cocoto··on What happened to the n in restaurateur?
No, restaurateur is often used here in France, simply for someone owning a business and working in “restauration”. When using restaurateur instead of propriétaire we are emphasizing the work, because someone can be the owner without actually managing/working in it.
cocoto··on Money lessons without money: The financial literacy fallacy
It is political of course, because the left would like to provide to the financially illiterates, such that they don’t have to manage their own money. If everyone is saving/investing, the socialist system is mostly redundant (except for the extremely poor, non-working, ill or disabled people).
cocoto··on A career-ending mistake
Not every programmer can be a good manager, but no non-programmer can be a good manager on a programming project.
cocoto··on A C++ Mixin System
It is specified previously in the text that support for references would be nice for optionals.
cocoto··on M4 Mac mini's efficiency
Is there any noticeable latency in graphics using a VM? As far as I remember VMs were a disaster for latency some years ago (Windows or Linux host).
cocoto··on Where the Digital Sidewalk Ends
Of course data matters but the routing engine is also very important, with the calibration of the weights on the edges of the graph. For cycling it feels like Organic Maps is so much better than Google Maps and Apple Maps, consistently offering safer routes which are also faster in practice because you don’t have to slow down for dangers. Google Maps is notoriously bad in rural/mountain areas, except if you are looking for mountain bikes routes…
cocoto··on Git-absorb: Git commit –fixup, but automatic
Small question to anyone with this workflow. Do you (re)run CI on every affected commit? If no, what is the point of small commits if you lose any guarantees? I much prefer the honest linear non-modified history.
cocoto··on Gnome Files: A detailed UI examination
You can click on the three dot menu at the right of the path, there is an option to open a terminal. You can also switch to icon view and right-click between icons to open a terminal. You can also go to parent folder, right click the folder you were before and open it in a terminal. Many workarounds but I agree it’s not really good UI.
cocoto··on Ask HN: How to store and share passwords in a company?
You also decrease entropy by having a minimum length rule. The point of these rules is only to forbid weak passwords.
← PreviousPage 4 of 5Next →