bradrn

49 ms·

511.
by bradrn 4y ago
Just out of curiosity, what language is this? I don’t recognise it at all.
512.
by bradrn 4y ago
I’ve never used this, but it looks like a very similar idea to Haskell’s Servant library [ https://docs.servant.dev/en/stable/ ]. Could someone who knows more enlighten me as to how correct this comparison is?
513.
by bradrn 4y ago
Impressive, thanks for clarifying!
514.
by bradrn 4y ago
After a week of work, how much of this have you managed to accomplish so far? (Very little, I assume, but I could be wrong.)
515.
by bradrn 4y ago
> So several sages together came to these cherry picked conclusions. To clarify my post: I meant that out of the thousands of thousands of opinions recorded in the Talmud, that list selectively quoted five or six phrases which make it
516.
by bradrn 4y ago
I completely agree with your assessment of why spreadsheets fail. Completely unstructured data plus a mixture of exploration and analysis is a recipe for disaster. > These complexities arise because Excel is super un-opinionated about wh
517.
by bradrn 4y ago
Sorry, you’re quite right; they did indeed use that word. My apologies for the misreading. (Still, it’s a bit of a misleading translation on their part… women aren’t property in Jewish law, as I already said.) > And the word is unfamilia
518.
by bradrn 4y ago
> This is a description of rape, there is no point in discussing the hypothetical including whether the man "acquires" the woman (as if she were property), otherwise. Huh? No-one said anything about ‘acquiring’ people. In Jewis
519.
by bradrn 4y ago
Yes, exactly! That would be a very good label.
520.
by bradrn 4y ago
> The Talmud concludes that the rape isn't the punishable offense, it's only whether the man injured the woman when he fell on her from the roof. Anyone who uses this excuse will obviously not have "fallen on her", an
521.
by bradrn 4y ago
Upon searching for a few words here, this list appears to have been copy-pasted between a bunch of antisemitic sites. It looks like ‘Hadarine’ isn’t even a real book — the only results are for very similar lists on the aforementioned antise
522.
by bradrn 4y ago
> Whenever one finds an absurd "rule", there is, generally, a reason [that it was proposed]. ‘Generally’, but not always! Especially in the Talmud. As explained in the article, the Talmud has a strong tradition of using hypothe
523.
by bradrn 4y ago
> Every cell can contain text, data or formulae; every cell, row and column may be endlessly multiplied and referenced. These two qualities make spreadsheets an indeterminate material matrix — the textured all-over-ness of a Pollock pain
524.
by bradrn 5y ago
Link to paper: https://doi.org/10.1038/ncomms3614 . The underlying reason for this seems to be that Eucalyptus roots are unusually deep and aggressive (something I have personally witnessed), and any gold they pick up
525.
by bradrn 5y ago
Relatedly, I recently discovered https://algassert.com/quirk — it does require a bit of quantum computing knowledge to use, but the UI is excellent, and I found it incredibly useful for ‘getting a feel’ of how various quant
526.
by bradrn 5y ago
At first I thought this was related to the famous Dead Salmon study [0]. The article turned out to be completely different, and certainly much more amazing. [0] Neural correlates of interspecies perspective taking in the post-mortem Atlant
527.
by bradrn 5y ago
See also Justin B Rye’s more in-depth criticism of Star Trek, from a slightly different perspective: http://jbr.me.uk/trek/0.html > My basic theme is the cracks in Star Trek's foundations. … Yes, television is
528.
by bradrn 5y ago
That’s actually caused by incorrect rendering: Manchu text should be written vertically, but Wikipedia seems to wrongly render it as horizontal text (at least for me). On the other hand, the Chinese character 馬 does look very horse-like
529.
by bradrn 5y ago
My favourite example: the Latin word musa ‘banana’, which originates from New Guinea of all places. It was passed language by language through Indonesia, India and Arabia to eventually end up in Europe. [Source: https://www.a
530.
by bradrn 5y ago
Except that would make it incorrect: rust is what forms when metal gets oxidised , not reduced.
531.
by bradrn 5y ago
As far as I could see when I experimented with it, SuperCollider is excellent for creating sounds, but isn’t too good at sequencing these sounds into music. It can do it, but its sequencing support seemed verbose, inflexible and poorly inte
532.
by bradrn 5y ago
Let me repeat the comment I made two weeks ago when I first saw this: > Wow, glicol looks amazing! One of the few music languages I’ve seen which actually tries to balance low-level synthesis with higher-level sequencing. (The only other
533.
by bradrn 5y ago
> Can you give examples of what a "ergative–absolutive alignment" looks like, or case-stacking? It sounds fascinating... It is fascinating! I can certainly try to explain these… So, ergativity first. In English — as in pretty m
534.
by bradrn 5y ago
What’s more, this becomes immediately obvious when you look at its grammar, which is unlike that of any other European language currently in existence. It has an ergative–absolutive alignment, compared to the nominative–accusative alignment
535.
by bradrn 5y ago
> I haven’t seriously put thought into that use-case. … Do you explicitly require a map or list comprehensions or do you “broadcast” automatically, and if you do, what are the pitfalls? It’s all automatic. Basically, any function a→b can
536.
by bradrn 5y ago
I tend to switch between colour schemes depending on the conditions. During the day, I prefer Gruvbox light soft; at night, I prefer Solarized dark. When using my laptop screen (and some other times too), I find Emacs default colours best.
537.
by bradrn 5y ago
> Inflex is statically typed, it’s pretty much PureScript with more familiar-to-Excel syntax, with row types used for records and also polymorphic variants, which aren’t in PureScript but are in OCaml. Numbers and ordering and comparison
538.
by bradrn 5y ago
I have in fact seen Inflex already! And I must admit to being quite surprised at seeing pretty much exactly the same UI I had imagined, already implemented. But I suspect there are still some major underlying differences between Inflex and
539.
by bradrn 5y ago
Despite how many flaws the language itself has, the MATLAB IDE is probably as good at this as Spyder, if not actually better.
540.
by bradrn 5y ago
For a while now I’ve been experimenting with the idea of a strongly typed spreadsheet. There is no grid model; instead computation occurs in discrete cells, where each cell can store one value, with ‘value’ defined as in programming langu

More ›