Twisol

15 ms·

121.
by Twisol 3y ago
Right, but then for commutativity I would expect them to use `merge(merge(a, b), c) = merge(merge(a, c), b)`, whereas what they actually have is the usual `merge(a, b) = merge(b, a)`. They're sort of mixing and matching from the axioms
122.
by Twisol 3y ago
I'm still only halfway through the XC3 DLC >_< Thanks for the nudge, haha.
123.
by Twisol 3y ago
Is Alvis named after the character of the same name in Xenoblade Chronicles? (Spoiler warning if you haven't played: the XC Alvis is also an AI.)
124.
by Twisol 3y ago
Nice article! The statement of idempotence is a little nonstandard, I think -- I'm used to it being stated as `merge(a, a) = a`. The form in the article makes more sense if you have set of operations acting on a state, so that `apply
125.
by Twisol 3y ago
You don't need to understand monads to do IO. From [0]: > There is nothing that has to do with monads at all in printing a string. The idea that `putStrLn "hello world"` is monadic is as absurd as saying that `[1,2,3]` is
126.
by Twisol 3y ago
(for those who can't read Japanese, and at risk of over-explaining, the parent called part of the program cute.)
127.
by Twisol 3y ago
> If consumers actually cared about their IoT devices receiving security updates, companies would be doing it. I don't think this is true. Security issues don't matter until they do , and consumers -- by which I mean "peo
128.
by Twisol 3y ago
Yeah, the F* to B* already is a bit weird -- if anything; B* is the voiced version of P*, and they're both just hanging off of F* / H*.
129.
by Twisol 3y ago
Yes -- the dakuten and handakuten marks are very systematic modifiers of the readings of the underlying glyphs. The dakuten more or less voices the leading syllable (ka -> ga, ta -> da), and the handakuten only applies to H*-column ka
130.
by Twisol 3y ago
I learned hiragana and katakana by drilling RealKana [0], together with the Flash-based Drag-n-Drops [1] back when Flash was still a thing. It looks like the original author of [1] has non-Flash versions now [2]. RealKana is great for drill
131.
by Twisol 3y ago
They're probably hoping for a reaction like "Oh man, I gotta know the rest, let me pull out my credit card", but my reaction is just "Seriously? I wasn't giving you my money before, and I definitely won't now
132.
by Twisol 3y ago
This is all true, although nothing about the reading "x has type t" implies that "x" can only have one type. It is a separate metatheorem about your system of inference rules that terms have unique types -- and not eve
133.
by Twisol 3y ago
I read `A |- x : t` as "In context A, x has type t". An entire inference rule (i.e. the horizontal bar separating some premises from a conclusion) is read as as "if P, Q, ... hold, then R holds"; or, sometimes, "We
134.
by Twisol 3y ago
That doesn't look contradictory. An expression is a (syntax) tree, and every variable use has a unique path from the root to that use. This path crosses some sequence of binders, which we can label with integers. If you assign integers
135.
by Twisol 3y ago
I interpreted `published` along the lines of blog posts, in which an article can be either a draft (visible only to the author) or published (visible to the world). This seems different from dev/prod venueing, where having separate dat
136.
by Twisol 3y ago
Ah, sure. Well, I've asked to "borrow a tissue" many times, and neither interlocutor expected the tissue to be returned. Maybe it's regional.
137.
by Twisol 3y ago
I've heard "bum a ride" here in America, although it's a rare word in a rare phrase.
138.
by Twisol 3y ago
The thing about a "database", relative to any other assembly of data, is that it typically has a universal query system whose particulars are not dependent on the schema of the data you're querying over. This is pretty much t
139.
by Twisol 3y ago
Horizons! https://ssd.jpl.nasa.gov/horizons/ IIRC, the Telnet interface is technically more fully-featured than the others, although that's probably simply because it would have come into existence first.
140.
by Twisol 3y ago
> Cat’s eye movements were coded using actions defined in CatFACS, an anatomically based system designed to objectively measure facial actions based on their underlying muscle movements. Whoever named this system was clearly aware of the
141.
by Twisol 3y ago
From the article: > Yes, we have officially added an iOS version of Thunderbird to our future development roadmap. Expect more concrete news about this toward the end of 2023. So it doesn't exist yet, but they're going to make
142.
by Twisol 3y ago
Whoa, I haven't thought about BYOND in ~20 years. I'm incredibly impressed it's still going (same website and everything)!
143.
by Twisol 3y ago
Yes, exactly -- the responsibility to keep up with Java versions does not, unfortunately, lie with Manifold alone. The deep magic they rely on also needs to remain accessible.
144.
by Twisol 3y ago
A team I was on decided against Manifold precisely because we wanted to keep up with Java's twice-yearly version updates, and we didn't want a bespoke compiler plugin to lock us to an older version. I think Manifold is extremely c
145.
by Twisol 3y ago
> Rust's use of typeclasses (which it calls traits for some reason) Scala and (apparently) PHP call them traits too, among many others [1] -- Rust wasn't the first here. [1] https://en.wikipedia.org/wiki/Tr
146.
by Twisol 3y ago
PH really is underrated. It's one of the only Zeldas I've gone back to for repeat playthroughs, and it's fun every time. You're absolutely right that the Ocean Temple is an integrated speedrun experience -- and even then
147.
by Twisol 3y ago
This seems pretty revisionist. I loved Majora to bits as a child, and I don't recall this being a contrarian opinion whatsoever on the Zelda Universe forums at the time. Maybe there's a difference between critical and popular rece
148.
by Twisol 3y ago
I think a fair number of people, including myself, consider MM > OoT. They are very different games, but MM excels in areas that OoT doesn't. You're right that this inversion is rare though. I think Phantom Hourglass is a great
149.
by Twisol 3y ago
E-graphs are pretty awesome, and worth keeping in your back pocket. They're like union-find structures, except they also maintain congruence relations (i.e. if `x` and `y` are in the same set, then `f(x)` and `f(y)` must likewise be in
150.
by Twisol 3y ago
> I've seen interleaved lexing and parsing, where the recursive descent parser asks for the next token, which is computed on demand. You even get this for free in a lazy language like Haskell, where your parser can accept a list of

More ›