deredede

11 ms·

91.
by deredede 2y ago
Sorry, you are right of course! I somehow confused bit and byte, I have updated my comment. Thanks for pointing that out.
92.
by deredede 2y ago
Is there a Coq formalisation for enough of Rust that would be usable here? I thought people were still figuring that out.
93.
by deredede 2y ago
I am French, I know :) But in my experience this simply causes some giggling in the classroom for a few days and that's it, which is not the experience I have seen recounted regarding Coq in the US. There are multiple differences betwe
94.
by deredede 2y ago
You are assuming a lot here: as far as I remember, someone proposed a name change, then these accounts came up supporting the change. It's not like people were complaining left and right on the mailing lists, but when the opportunity
95.
by deredede 2y ago
It is also very likely (if not definitely known) that the name was chosen at least in part because of the English meaning of the word, making the "people have no idea what the word means" argument moot. Outside of France, most use
96.
by deredede 2y ago
The decision to change the name has been taken by the Coq team, but I believe they do not want the new name to be used until it has been acted administratively, legally and technically (e.g. the documentation should mention the new name and
97.
by deredede 2y ago
If we want "the little guys" to have our data we can give it to them, it's not as if their only option is to steal it.
98.
by deredede 3y ago
Not if the system is built for DNS first. If a company/individual/organisation has a domain name, they are expected to use the domain. It is much less of an issue if someone has kik.users.registry.com when the company publishes pa
99.
by deredede 3y ago
Domain expiration is rare, and virtually only happens when the related projects are dead anyways; freeze existing packages (no more updates until the original key for the domain comes back online, with manual override by registry administra
100.
by deredede 3y ago
It's even better due to the way percentages work - if you undercrank by 10% you get a bit over 11% more time (after 100% of the original time, you still have 10% of the reel left, but you keep undercranking, so by the end of the 10% ex
101.
by deredede 3y ago
I think of git commits as both diffs and snapshots. If you see the repo's history as a graph, a commit is a node (snapshot) with an edge to its parent (diff - kinda; also let's ignore merges), which is itself a commit. I think men
102.
by deredede 3y ago
If this is not what you're referring to, you might be interested in CHICKEN Scheme's implementation, which is unlike any other I've seen: instead of compiling tail calls to jumps, they are just regular calls, and the call sta
103.
by deredede 3y ago
See [1] (Filip's commit message introducing ShadowChicken is also quite well written if a bit more technical [2]). [1] https://webkit.org/blog/6240/ecmascript-6-proper-tail-calls-... [2] https://bu
104.
by deredede 3y ago
There is something surreal about the idea that the war would end by taking away some rich kids' iPhones.
105.
by deredede 3y ago
It's a bit of a can of worms (but you're right, I should have said "deck/discard pile manipulation"). Shortcuts are supposed to be used to speed up and smooth play, there should be no information exchange, and so as
106.
by deredede 3y ago
This is only true if the series of actions you take in the combo are fully deterministic. If the combo includes non-deterministic steps (usually anything related to deck shuffling) you can't use shortcuts and have to actually perform t
107.
by deredede 3y ago
On the other hand, I find the bash one clear and concise. That PowerShell example is so verbose, it'd drive me crazy to do any sort of complex manipulation this way! To each their own, I guess.
108.
by deredede 3y ago
While it may not be strictly correct semantically, I'd expect most people to understand "Go expert" as "expert Go programmer", not as some sort of Go historian.
109.
by deredede 3y ago
Things shouldn't change if the nixpkgs version didn't change, you didn't disable the sandbox, and you don't have master branches of random repos as dependencies. If that's the case, sounds like a major nix bug. If t
110.
by deredede 3y ago
A commit is not a method, it is a change set potentially affecting many files. Pointing people to the commit used to implement feature A lets them understand the whole story of which components need to change (and how) to implement similar
111.
by deredede 3y ago
As the saying goes, there are two hard problems in computer science: cache invalidation, naming things, and off-by-one errors.
112.
by deredede 3y ago
The term "type safety" was coined in a context where "does random things then ultimately segfaults (if you are lucky)" is a possible alternative.
113.
by deredede 3y ago
Type safety originates from academia, where it refers to the fact that unexpected (ill-typed) operations are prevented. It does not necessarily require any sort of static checking, even though the two are often associated. Type safety means
114.
by deredede 3y ago
> Meta won’t be seeing any of my money, whereas companies like Google, who seem to employ at least some humans in their advertising department — will That is a convoluted way to say you'll do business with companies that accept your
115.
by deredede 3y ago
Do not use the same queues for I/O jobs and compute jobs, they are not competing for the same resources.
116.
by deredede 3y ago
Even if you get lots of Bs, if B takes 15s to run, and you ever get n_worker requests for B at the same time immediately followed by a single A, you lose, even with plenty capacity to spare. You need either dedicated workers for low latency
117.
by deredede 3y ago
The "IMO" here is used instead of "I think" or "I believe" to indicate that this is not a fact claim but a (presumably educated) guess. Not a very correct use of "IMO", technically, but a fairly commo
118.
by deredede 3y ago
The part about checking the number of affected rows hints at using `UPDATE ... WHERE ...` which should act as an atomic CAS regardless of isolation level. Edit: To clarify, I mean `SELECT id WHERE used = 0` followed by `UPDATE ... SET used
119.
by deredede 3y ago
This is about using Uber eats for groceries, not for restaurant meals.
120.
by deredede 3y ago
Cache may not be that important (although I believe that nowadays clearing the cache also clears the local storage, so the same would apply) but there are sites that use long-lived cookies to deliver a personalized experience without needin

More ›