Twisol

21 ms·

211.
by Twisol 4y ago
> 16 Nov 2022 06:33:23 UTC > We are currently experiencing a DDoS attack. We have a number of mitigations in place to minimize the attack’s effects. Some customers will see a degradation of services. Joy. But the app is back up for me
212.
by Twisol 4y ago
I like to take example categories from order theory, like with lattices and preorders and such. All such orders are also categories; the objects are the elements of the order, and the arrows are the relationships. However, if x <= y in t
213.
by Twisol 4y ago
> Presumably objects (since beer mugs are objects in the conventional sense), but then what are the arrows? This is definitely one of the most unintuitive parts of early category theory. The "objects" are not automatically the
214.
by Twisol 4y ago
I think this is an interesting topic worth discussing, but also I don't think it's related to your post I replied to, which claimed that ZFC doesn't presuppose any more primitive kind of collection. > sets of beer mugs Set
215.
by Twisol 4y ago
Yes, this is essentially what I'm getting at in my cousin comment -- although the nlab is typically rather impenetrable to non-specialists.
216.
by Twisol 4y ago
To get a little bit technical, the axioms of ZFC, as a "first-order theory", make use of universal and existential quantifiers. These quantifiers have to quantify over some universe, whose constituents we call "sets". Ta
217.
by Twisol 4y ago
> On the other hand, I've not seen a rigorous set of axioms for category theory that didn't presuppose a notion of set or category or "collection". I'm no expert, but I do want to point out that you'll never
218.
by Twisol 4y ago
Category theory might be easier to think about as a different way to think about the same objects we've always studied in mathematics. Since it's a formal theory (just like set theory), we can also study category theory mathematic
219.
by Twisol 4y ago
It's a tradeoff. I've been in multiple situations where two branches independently work fine at runtime, and merge without conflict, but the merge is broken at either compile-time or runtime. I'd rather rebase with cognizance
220.
by Twisol 4y ago
Thanks for mentioning the specific flag! I didn't mention it because I don't use it often enough to remember it (the shape of the log is usually enough), but it does exist if you want it :D
221.
by Twisol 4y ago
This is why I follow a rebase-then-merge approach. The commit graph looks like this: | * |\ | * | | | * |/ * |\ | * |/ | Each PR is neatly delineated, and I can quickly follow things at coa
222.
by Twisol 4y ago
A big part of learning to program early is absolutely how to internalize the syntax you're seeing into a mental model of the program. I bounced off of Java on first encounter for no better reason than "wtf is public static void ma
223.
by Twisol 4y ago
> I read this trivia in the ARRL handbook. Extremely well written covering everything HAM. > [...] a standard mode of unambiguous communication over international frequency spectrums That's exactly the context that's missing
224.
by Twisol 4y ago
That's totally fair! It sounds like these words simply aren't used in Morse communication, which seems reasonable due to its purpose. I imagine HH as a prosign is also fairly unambiguous in grammatical context, even if someone did
225.
by Twisol 4y ago
I'm not a Morse operator, so I wouldn't know. That's why I said the function of these words may simply not be needed. The poster earlier claimed that no English word contains the digraph "hh", however, which is simp
226.
by Twisol 4y ago
More commonly, "uhh", "ahh", and "ehh" (and their elongations) -- though I imagine their function is either fulfilled in other ways in Morse (prosigns?) or simply not needed.
227.
by Twisol 4y ago
Can you go into more detail about what you mean by "duplication of data"? I worked on a team whose product uses Hasura; my understanding is that data still comes directly from Postgres, even if Hasura is sitting in the middle. Whe
228.
by Twisol 4y ago
I think the grandparent was saying that dynamic allocation is a form of optimization, which also makes the code harder to follow. Your anecdote seems exactly in line with their suggestion.
229.
by Twisol 4y ago
> Anyway, the mention of the perennially misunderstood Java LTS is a pet peeve of mine, so I'm sorry if this comment was overly aggressive. I, for one, appreciate the repeat. I usually have to go hunting for one of your much older
230.
by Twisol 4y ago
The fiddly detail here is that big-O notation can be used to measure the usage of any resource, not just time. The poster above noted that an in-place sort might have constant space complexity -- although this only makes sense if you disc
231.
by Twisol 4y ago
Both. Both is good.
232.
by Twisol 4y ago
They might end up offering the changes for merge under a name other than "Asahi Lina". Who knows? I don't see any particular conflict with the immediate development happening under their VTuber identity, but I'm not much
233.
by Twisol 4y ago
I believe it's someone else, but I don't think she's been explicit about the connection. It might be a bit different across the community, but it's usually considered polite not to "dox" (however obvious in som
234.
by Twisol 4y ago
Just to mention it here, too (I wrote more in a cousin comment), Intel's own Software Development Manuals [0] explicitly talks about all three of these things. I don't consider these features hidden when the primary reference for
235.
by Twisol 4y ago
> The cache hierarchy [...] are completely hidden at the level of assembly too A quick glance at Intel's Software Developer's Manuals [0] falsifies this: >> TLB and Cacheability control: CLFLUSH, CLFLUSHOPT, CLWB, INVD, W
236.
by Twisol 4y ago
> C will teach you how computers think. It will teach you how a PDP-11 thinks, at best. The cache hierarchy and speculative execution are completely hidden at the level of C, to start with. You want to learn how computers think, pick up
237.
by Twisol 4y ago
Rust has a bit of a steeper learning curve at the start, but it pays off once you get used to it. C and C++ are deceptively simple at first, but as time goes on you keep discovering more nuances that affect most of your code. There's n
238.
by Twisol 4y ago
In natural language, asking "is there" is implicitly asking for more than just a truth value. It's expected that the response will include an example; a witness to the answer "yes". The indirection is considered pol
239.
by Twisol 4y ago
I'm a very big fan of the "object algebras" approach [0], which is essentially tagless final minus the automatic instance resolution you get with typeclasses. It works great even in fairly restrictive type systems like Java&#
240.
by Twisol 4y ago
I've not used Erlang much, really, but it seems like a really nice fusion of messaging across agents and immutable state within agents. Elixir has long been on my list of languages to properly pick up...

More ›