simias

51 ms·

211.
by simias 5y ago
But what if the statement is "this statement can't be proven"? You haven't proven the statement, you've proven that it can't be proven. See https://youtu.be/HeQX2HjkcNo?t=926 for instance which
212.
by simias 5y ago
>If a mathematical statement has no proof within ZFC we (usually) don’t call it a “truth”, regardless of if it is true or not. I'm not sure I understand what this changes to the overall situation. Remember that a formal system also
213.
by simias 5y ago
For sure, but what details matter is often subjective. I've looked around my desk and surely the vast majority of the objects here use the simpler rounded corner but I really fail to see how it's bad craftsmanship. If anything I&#
214.
by simias 5y ago
I find it vaguely amusing that the author (and apparently yourself) claim that using simply rounded corners would be a "lack of care and detail". I mean if you prefer Apple's fancier corners then great, but shaming a manufact
215.
by simias 5y ago
Your link contradicts what you're saying, no? >Согласно закону, предвыборная агитация должна быть завершена в 00:00 по местному времени первого дня голосования.
216.
by simias 5y ago
They obviously could, but these days everybody uses CDNs and shared resources so they'd probably end up blocking a lot more than just this app. For instance the app could well function completely offline if it embedded the list of cand
217.
by simias 5y ago
I can't weigh in on the rest of your experience but I think the blame for the time synchronization issue lies squarely at your ISP's feet. Requesting that the time be properly synchronized to digitally sign something doesn't
218.
by simias 5y ago
>Unfortunately not at all. Because distributions set up disk encryption the way they do, and only bind it to a user password, an attacker can easily duplicate the disk, and then attempt to brute force your password. I think this "no
219.
by simias 5y ago
That's excellent advice that many have learned the hard way... Honestly even as a non-manager it's a very bad idea. When I was a junior one of my colleagues was called to the manager's office. I assumed it would be for some m
220.
by simias 5y ago
I've only barely started with this video but I'm currently two thirds of the way into Penroses's "The Emperor's New Mind" and I've read a bunch of other opinion pieces on the subject along the way. I think
221.
by simias 5y ago
I confess that it crossed my mind. Torrents are obviously network-oriented and are often used to interact with, uh, untrusted content (the torrent files but also the trackers and peers that exchange data with the client). The surface of att
222.
by simias 5y ago
Parler was a haven for hate speech, I don't have any problem if tech giants refuse to enable such applications (and would have a problem if they did nothing). If the parler devs were more competent they could've made their own web
223.
by simias 5y ago
I agree with the top post in the linked thread, in these situations I tend to assume incompetence rather than malice. Furthermore this type of censorship would actually be the best way to boost mastodon if only thanks to the Streisand effec
224.
by simias 5y ago
Having short titles where you can't cram a lot of information is a feature IMO, since it means that you generally have to actually open the link and see what it's actually talking about. I suspect (without having any evidence) tha
225.
by simias 5y ago
If the bug wasn't documented and the user effectively relied on "undefined behavior" I don't think it constitutes a breaking change. Like if a function called with certain parameters causes an unexpected crash, and a use
226.
by simias 5y ago
The problem is how you define "good economic governance". For instance a controlled amount of inflation is generally considered to be good for a currency, as it incentivizes investing your money instead of hoarding it non-producti
227.
by simias 5y ago
I really like like the idea of a "high latency" social network, effectively bringing back the feeling of old snail mail (but more public). 2 weeks seems unnecessarily extreme to me though, even 24h would probably be enough to seve
228.
by simias 5y ago
Ditto. Mine is really quiet too on low settings, which is great if you want to leave it on while you sleep. They also have a carbon layer that's supposed to help with odours and that pollution that can't meaningfully be caught by
229.
by simias 5y ago
I've had the displeasure of having to write quite a bunch of JS over the past few years (I'm mainly a system programmer usually). I do think that the JS "standard library" is ridiculously under-featured and makes dealing
230.
by simias 5y ago
The key difference for me is that you have to explicitly handle Results somehow, you can't just pretend that the function is infallible and hope that something up-stack is going to deal with all the failure modes. Also while you can ha
231.
by simias 5y ago
Rust solves this issue by having a ? operator to bubble up Errors. Before that there was the try! macro with the same semantics. That cuts the boilerplate to a minimum while having a well defined and explicit control flow. I agree that if y
232.
by simias 5y ago
I assumed it would be about some porn company abusing Google maps for advertisement but it's really just some dude's exhibitionist fetish. I just looked and you can report images from Google Maps, I wonder if nobody bothered to fl
233.
by simias 5y ago
That's missing the point of release versions. Git commits are not obviously ordered (you need access to the repo to do this), they don't tell you if it's a small patch release or a huge change. Contrast: v0.4, v1.0, v1.0.1, v
234.
by simias 5y ago
I would probably handle the situation like an adult. By quitting. People dealing with the consequences of their actions are a fact of life. I want my place of work to be a safe pace and I'm not ashamed to admit it. If I want to confron
235.
by simias 5y ago
I sometimes have to implement a sorting algorithm when I write bare metal code that doesn't have any sort of standard library available. Of course, being a 1337 hacker, I then resort to the state of the art bubble sort. Or maybe an ins
236.
by simias 5y ago
I assume they meant throwing an exception like divisions by zero usually do, i.e. a hardware trap. I always thought that overflows should be checked in hardware, I suppose it's not a stretch to extend that to truncation. It's cont
237.
by simias 5y ago
What flags you have in mind? Because this code doesn't generate any warning with GCC 11.1.0 with -Wall -Wextra: int main(void) { int some_int = 1234567; char c = some_int; return c; }
238.
by simias 5y ago
My understanding is that PDF is a monster of a document format, and it's clearly not (usually and historically) meant to be reflowed. Even copy/pasting from PDFs can be very disconcerting because the viewer may not have a good ide
239.
by simias 5y ago
FAT32 doesn't support files bigger than 4GiB, that's a huge limitation these days. But I don't disagree that calling NTFS "portable" is a bit of a stretch, although hopefully that'll change if good quality open
240.
by simias 5y ago
I haven't messed with NTFS in years but from what I remember the Linux kernel driver was read-only, right? I assume this new one will allow write access? I vaguely remember having to use fuse to write to NTFS partitions in the past.

More ›