Twisol

6 ms·

31.
by Twisol 10mo ago
Weirdly, playing games is typically something I the feel least guilty doing, precisely because it's a distraction from the other stuff I'd otherwise not be doing. There's just a lot of stuff I want to do, that I struggle to d
32.
by Twisol 10mo ago
> What changed? Personally, I feel too guilty about everything else I'm not doing. (This results in me feeling maximal guilt and doing minimal anything at all.)
33.
by Twisol 11mo ago
That would be IP over some lower level physical layer, not some custom content stuffed into an IP packet :) (It's absolutely worth reading some of those old April Fools' RFCs, by the way [0]. I'm a big fan of RFC 7168, which
34.
by Twisol 11mo ago
UDP pretty much just tacks a source/destination port pair onto every IP datagram, so its primary function is to allow multiple independent UDP peers to coexist on the same IP host. (That is, UDP just multiplexes an IP link.) UDP as a p
35.
by Twisol 11mo ago
They probably can do deep/shallow packet inspection for that purpose (being one of the non-nefarious applications I alluded to), but that's not to say their correct functioning relies on it. Those routers also need to support
36.
by Twisol 11mo ago
> This shows how moeb is a generalization of fix. To be fair, loeb was already a generalization of fix. If `f` is the identity functor, then `loeb` has type `(a -> a) -> a`, and the `fmap` used in its definition resolves to `id`. I
37.
by Twisol 11mo ago
> If it's IPv4, you need to put a number between 0 and 255 to the protocol field from this list: To save a skim (though it's an interesting list!), protocol codes 253 and 254 are suitable "for experimentation and testing&q
38.
by Twisol 11mo ago
As far as I'm aware, sure you can. TCP packets and UDP datagrams are wrapped in IP datagrams, and it's the job of an IP network to ship your data from point A (sender) to point B (receiver). Nodes along the way might do so-called
39.
by Twisol 11mo ago
I like this example :) Another good example might be Git's distinction between "porcelain" and "plumbing"; the porcelain is implemented in terms of the plumbing, and gives a nicer* interface in terms of what people
40.
by Twisol 11mo ago
Everything "potentially leads" to adverse outcomes if not applied with due care and cognizance. That includes KISS and YAGNI. If you're looking for a principle you can apply in 100% of cases without consideration of context,
41.
by Twisol 11mo ago
Yep! I remember the phrase "functional core, imperative shell" being popularized by Gary Bernhardt in ~2012 [0][1]; in his talk Boundaries [0] (around 31:00), he even mentions "hexagonal architecture" by name. [0]: http
42.
by Twisol 11mo ago
> But no advice that you give about "the correct philosophy" is going to instantly transfer enough knowledge to make all large companies write good code, if only they followed it. Good old "Programming as Theory Building&q
43.
by Twisol 11mo ago
> Take the tax calculation for example. That cannot be decomposed into pieces that are generic, and potentially reusable elsewhere. Quite right! However, the tax code does change with some regularity, and we can expect that companies lik
44.
by Twisol 11mo ago
> then the definition of the "shell" and "core" becomes problematic in this comparison I agree -- if you're trying to make the words "shell" and "core" mean the same things between FCIS and GC
45.
by Twisol 11mo ago
I disagree that these two pieces of advice are opposed. I think they are orthogonal at worst, and in agreement at best. "Functional core, imperative shell" (FCIS) is a matter of implementing individual software components that nee
46.
by Twisol 1y ago
Seems so, according to this file: https://github.com/IRS-Public/fact-graph/blob/main/docs/from... > The main changes are: [...] converting the fact-graph to a standalone library [...]
47.
by Twisol 1y ago
Oh! The thread must have been boosted on a resubmission, or something, because for me it shows your comment as having only been posted yesterday D:
48.
by Twisol 1y ago
ICFP and SPLASH are this week, actually! Here's the program website for anyone interested: https://conf.researchr.org/program/icfp-splash-2025/program-... (I have a pretty unfavorable view of LLMs myself, but
49.
by Twisol 1y ago
I guess this links to the "very hard" difficulty, but I lucked myself into a winning solve without needing to backtrack at all. I'm a big fan of things that let me do manually what computers normally do automatically, so this
50.
by Twisol 1y ago
This is dated in October of 2023. I wonder if there's been any progress since then?
51.
by Twisol 1y ago
Yes, Anubis is a dog-headed or jackal-headed god. I actually can't find anywhere on the Anubis website where they talk about their mascot; they just refer to her neutrally as the "default branding". Since dog girls and cat gi
52.
by Twisol 1y ago
"Hypo", meaning low; "glyc-", meaning sugar; and "emia", meaning of the blood. "Low sugar of the blood". (With apologies to chubbyemu.) Since "typo" comes from "typography", it rou
53.
by Twisol 1y ago
I know it wasn't you :) Sorry if I came across that way.
54.
by Twisol 1y ago
Your second paragraph is a much more thoughtful critique, and posting that below the original answer would focus the subsequent conversation on those points. The issue here isn't whether the comment was AI-generated; it's how we c
55.
by Twisol 1y ago
Not enough em-dashes for it to be AI. (Less jokingly, nothing strikes me as particularly AI about the comment, not to mention its author addressed the question perfectly adequately. Your comment comes off as a spurious dismissal.)
56.
by Twisol 1y ago
I've heard that called "validation". In other words, you verify that your solution meets the problem specification, but you validate that your specification is actually what you need.
57.
by Twisol 1y ago
Audica is sick! I definitely enjoyed it a lot more than Beat Saber, for the reasons you give -- it feels way more technical, and (therefore?) much more satisfying to learn.
58.
by Twisol 2y ago
It's in one of the screenshots, in the part about how they could fetch their reviewer's full name and comments.
59.
by Twisol 2y ago
If there are two ways to say something, then people will find ways to make their choice of method into speech as well. To me and my style of coding, there's a difference of intent between the two. A ternary connotes a mere computation,
60.
by Twisol 2y ago
And you do not, under any circumstances, "gotta hand it to them". (highly relevant @dril quotes, for those out of the loop)

More ›