Twey

29 ms·

211.
by Twey 2y ago
It's not random, you just get +1 charge every time you click an attack — including if the attack doesn't have enough charge to fire.
212.
by Twey 2y ago
My favourite litmus test for ‘can LLMs reason about code?’ is to make up a programming language with familiar syntax but weird semantics. E.G.: - all variables contain signed integers - all variable names have block scope - there is no vari
213.
by Twey 2y ago
I interpret a ‘fence’ here to mean a hoop the programmer explicitly has to jump through — something like Rust's `unsafe`. It doesn't need to be difficult to do but it should be difficult to do by accident :)
214.
by Twey 2y ago
> Agreed, OOP is orthogonally opposite of pure functional programming. Objects have state. Big revelation. I don't think that's quite true. Having state or not isn't a dichotomy but a continuum about the size of the scope
215.
by Twey 2y ago
The irony of the comments in this thread decrying this as a classic example of too much abstraction is that the reason you rarely see three-star variables in C is that, while it's common to have long chains of pointers (and in language
216.
by Twey 2y ago
If you feel comfortable with Math A but not Math B you might enjoy _Graphical Linear Algebra_[1], which is specifically that bridge! As someone who is decent at Math B but mostly incompetent at Math A I suspect it comes down to the old anal
217.
by Twey 3y ago
As GP implies, NixOS supports running multiple instances of any service you like, but the way some of the modules are written doesn't make it easy. Thankfully one of the advantages of NixOS is that it's pretty easy to add a config
218.
by Twey 3y ago
You can take this idea further by trying to find computational analogues of more complex algebra structures and operations. For example, the derivative of a type function gives the type of ‘one-hole contexts’ of that type[0], which gives ri
219.
by Twey 3y ago
My `Accept-Language` looks like `en-GB,de-DE;q=0,8,…` and for some reason Notion: - interprets this as me preferring German - tries to retrieve a non-existent German version of the page The HTTP semantics RFC[1] is quite clear
220.
by Twey 3y ago
On that page I see entries such as: - Grease - HUMP - Lovetoys - Löve Bone - Gspöt - Möan - fLUIds To be fair, I doubt most children will question the names! And this is a small enough subset of the libraries that one ca
221.
by Twey 3y ago
This isn't really a fundamental disagreement. If we think of array functions as functions `Array<Index1, Element1> → Array<Index2, Element2>`, then essentially all you need to be able to say is that a function is generic ov
222.
by Twey 3y ago
It would be really interesting to see some empirical data on this! I think there's a continuum on which one can position a piece of writing, from ‘starting from a prerequisite of the piece, jump directly to the target concept’ (Feynman
223.
by Twey 3y ago
There's a problem in the teaching of monads that containers are the easiest ones to explain, but also the least interesting in practice :) >To make monads interesting you have to show specific instances of monads like Maybe. While i
224.
by Twey 3y ago
A really nice approach to this I've seen recently is Google's research on [Dex]( https://github.com/google-research/dex-lang ).
225.
by Twey 3y ago
I've honestly had people say this to me within the last year!
226.
by Twey 3y ago
I'd agree if we were talking about learning the full language, but a little lightweight notation often pays for its cognitive cost quite quickly. It's a trade-off, of course, but I can see why an author would choose this point on
227.
by Twey 3y ago
I used the ‘(correct)’ there to notate a little bit of pedantry :) You can of course write interesting things about monads in languages without HKTs, and use them as a bridge to explain the operations of real monads — but those things will
228.
by Twey 3y ago
I think the argument is that IP is pretty much never the best choice due to a slew of architectural decisions that turned out not to be great in hindsight (or, at least according to Day, sometimes in foresight). Things like buffet bloat, d
229.
by Twey 3y ago
A (correct) description of monads requires talking about higher-kinded types, which rules out those languages immediately, unless MyPy has come a long way since I last looked. Apart from that, frankly, I think that Haskell syntax (or just m
230.
The Recursive Internetwork Architecture (RINA) Is Now an ISO Standard(iso.org)
2 points by Twey 3y ago|2 comments
231.
by Twey 3y ago
Every ten years it's discovered that another idea PL researchers have been harping on about about for forty years is very nice and practical once people get used to it :) I remember when anonymous functions (indeed, first-class functio
232.
by Twey 3y ago
There's a lot of talk in these comments that assumes that certain people are just ‘built different’ and can grok complicated new concepts that are unrelated to anything they know by virtue either of being smart or of being nerds with n
233.
by Twey 3y ago
I see — so it seems like what confused me about your comment is that your definition of ‘closely connected’ doesn't mean in a theoretical sense, i.e. that there's a well-understood mapping between them, but is more about a cultura
234.
by Twey 3y ago
The ‘puzzle’ of imperative languages is often ‘how do I keep less state?’. Because they're so verbose, figuring out what the code _does_ (in terms of actual transformations to the data) usually involves imperatively running the progra
235.
by Twey 3y ago
I made the comment — and find yours interesting — because the usual criticism is CT is the opposite, that it provides new language for accomplishments in other fields of mathematics but offers little in the way of novel results itself: a gr
236.
by Twey 3y ago
Async/await comes originally from F#, brainchild of the Cambridge MSR lab that also maintain(s|ed) GHC. Async/await is just a limited monad syntax, and its originators were well aware of that fact. Insofar as monads are a categori
237.
by Twey 3y ago
I think this is a rather peculiar comment — category theory is interesting precisely _because_ it's closely connected to other branches of mathematics, and can be used as a lingua franca to translate concepts and discoveries between th
238.
by Twey 3y ago
s/general/grammatical/
239.
by Twey 3y ago
‘Whose’ here is general but takes on a slightly different genitive meaning of something belonging to (or used by, related to, etc.) the referent. ‘I saw a cat, which toy had black fur’ → the cat is a toy, and the cat-toy has black fur; vs ‘
240.
by Twey 3y ago
Oh no, that is a very unfortunately named project! Neither ASDF, not a virtual machine… but I suppose it is kind of Another System Definition Facility

More ›