bradrn

31 ms·

391.
by bradrn 4y ago
> Even installing the "Developer Edition" didn't enable to me to install self-built extensions For a different perspective, I’ve successfully done this on both Windows and Linux. In both cases it was pretty straightforward
392.
by bradrn 4y ago
Hmm… is that memory-unsafe? I thought that came under the heading of ‘subverting the type system’. Then again, I suppose they’re more or less the same thing in a strongly-typed and pure language like Haskell.
393.
by bradrn 4y ago
This is pretty much correct. For reference, here’s the original documentation (changed in commit 80ff4a3018cd8909abb1d4e0c32f012a523883ec): -- | Just like unsafePerformIO, but we inline it. Big performance gains as -- it exposes l
394.
by bradrn 4y ago
> To me unsafe generally means “memory safety or type safety is disabled”. And that is exactly what it means. Unsafe functions in Haskell do run in production. They just subvert type safety (and I believe memory safety too, in the case
395.
by bradrn 4y ago
The Haskell ecosystem uses a very similar convention: unsafe functions have names starting with ‘unsafe’ (or, in one particularly horrible case, ‘accursedUnutterable’ [0]). These are generally functions which subvert the type system, so the
396.
by bradrn 4y ago
> Elm is very much pure Huh… you’re quite right. I always thought it was impure. In that case I retract my previous comment (pity I can’t edit it any more!).
397.
by bradrn 4y ago
I think the distinction you’re trying to make is that of ‘impure’ vs ‘pure’; ‘pragmatic’ vs ‘academic’ strikes me as a rather loaded choice of terminology, especially since languages like Haskell are rather widely used practically.
398.
by bradrn 4y ago
Since when was I writing off FP? My main language for personal projects is Haskell. I was just pointing out that the category theory stuff isn’t really relevant at all.
399.
by bradrn 4y ago
I feel I should point out that that ‘functional’ quote is (a) only applicable to pure, strongly-typed functional languages, and (b) pretty much irrelevant unless you happen to be interested in category theory.
400.
by bradrn 4y ago
Apparently not, but we do get the closely related Rhus tree ( Toxicodendron succedaneum ) as an invasive species.
401.
by bradrn 4y ago
It’s used in English, which as far as I’m aware isn’t dead.
402.
by bradrn 4y ago
> I know that vim uses jkl; for the arrows. No, it uses hjkl. But of course the spirit of Vim and Emacs is that you can customise these things. Incidentally, I have quite a similar ‘Vim everywhere’ map, though I use CapsLock rather than
403.
by bradrn 4y ago
It’s somewhat archaic, but you do see people ‘bearing a child’ on occasion.
404.
by bradrn 4y ago
Well, to be honest I’m not quite sure… I never studied Latin. But ‘active meaning’ means very little, as far as I can tell, precisely because it can differ so much even within a single language, to say nothing of how it varies between langu
405.
by bradrn 4y ago
> Can native speakers of a language even think they have deponent verbs without having another language to compare to? Yes: it’s all based on the syntax of the single language in question. Latin has very distinct active and passive conju
406.
by bradrn 4y ago
Another great article by Pullum on the English passive: http://www.lel.ed.ac.uk/~gpullum/passive_loathing.html . (Better than the submitted one, in my opinion!)
407.
by bradrn 4y ago
It gets even more intricate! Until the 15th century or so, there were dozens of different styles of Latin script optimised for slightly different writing technologies [0], some so different to what we’ve now converged on that I hesitate to
408.
by bradrn 4y ago
> how in the hell is "University of the Sunshine Coast" an author? It isn’t — it’s an affiliation! The authors are Patrick Nunn and Roselyn Kumar, both at the University of the Sunshine Coast. The formatting on the paper is adm
409.
by bradrn 4y ago
Do you have any recommendations as to any resources on this?
410.
by bradrn 4y ago
Later in the conversation someone links to a Twitter exchange which I found quite interesting: > (@m_ou_se) I just tried to charge my phone by connecting it to my laptop (with USB-C), but instead of my phone, my laptop started getting
411.
by bradrn 4y ago
> Another is that far-field (i.e. long-distance; “Fraunhofer”) diffraction of coherent light on a semi-transparent planar screen gives you the Fourier transform of the transmissivity (i.e. transparency) of that screen Ooh, yes, I’d forgo
412.
by bradrn 4y ago
It looks like Albert Michelson's Harmonic Analyzer: see https://engineerguy.com/fourier/ (and don’t miss the accompanying video series! It’s pretty cool.)
413.
by bradrn 4y ago
Not really… unless you have a different definition of the word ‘constraint’ than I do. Personally, I don’t see ‘constraints’ as having anything to do with monads: in fact, I see the ultimate goal of monads as allowing you to relax various
414.
by bradrn 4y ago
This article reminds me very strongly of Lockhart’s Lament [0], which at this point I think should be required reading for every mathematician and teacher. The essential message is the same: maths is itself intrinsically fascinating as th
415.
by bradrn 4y ago
I’ve been looking for a tool which does this for ages… if the creator is here, thanks so much for making this! I’ve been using FontForge to inspect fonts previously, but obviously that software is optimised for a different usecase.
416.
by bradrn 4y ago
> I want the supreme flexibility of going from state A to B through some ill-formed textual editing Seems like the author agrees with you (albeit in a different article): > … the traditional structural editors do tend to impose some l
417.
by bradrn 4y ago
This is basically the point (or one of the points) I was trying to make in my sibling comment; thank you for expressing it much more clearly than I did!
418.
by bradrn 4y ago
Problem is, how do you define these representations in the first place? For one thing, some characters have multiple different forms… like a/ɑ, or g/ɡ [0]. Then you have characters which differ only minutely — like Thai ช/ซ
419.
by bradrn 4y ago
> I would say Vim is an imperative editor. It’s interesting you say this, since I’ve always thought of it in precisely the opposite way! A traditional editor is thoroughly imperative: all editing operations are built up by sequencing bas
420.
by bradrn 4y ago
My favourite example: https://www.academia.edu/25619010 , describing a word which ultimately spread from Trans–New Guinea to Latin.

More ›