momentoftop

12 ms·

31.
by momentoftop 3y ago
Specifically, Awk is a good solution to a problem that should never have existed in the first place. Why am I having to write these bespoke parsers for the random mess of output formats that you get from the UNIX command line? Well, the fac
32.
by momentoftop 3y ago
I was at Edinburgh when this came out, and it went round the mailing list. Wadler replied saying he wasn't aware of the fact, and wanted to know the proof. I was sharing an office a few floors down with Roko of Basilisk fame, who was t
33.
by momentoftop 3y ago
Are you thinking of preprocessors? Back then, it would have been via Camlp4 and Camlp5.
34.
by momentoftop 3y ago
You're thinking of Haskell. F# was modelled after OCaml, which doesn't attract monad transformer stacks, and doesn't have a zoo of compiler extensions.
35.
by momentoftop 4y ago
Ah, thanks for the link. I suggested the reason that Isabelle/HOL does this is because it requires total functions and you don't have a convenient way to do refinement types. But that's not an adequate explanation, because Le
36.
by momentoftop 4y ago
The theorem a/b * c/d = ac/bd doesn't hold if x/0 = 6, though. The theorem prover HOL Light is a close cousin of Isabelle/HOL and doesn't adopt this, and just says that x/0 is some unspecified number.
37.
by momentoftop 4y ago
Exactly. Functions in these logics are total, so if you want division to be a function (and you probably do), it has to assign something to division by 0. It would be acceptable to assign an unspecified object from the domain, for which you
38.
by momentoftop 4y ago
The Isabelle/HOL theorem prover assigns 0 to x/0 for all x, without contradiction.
39.
by momentoftop 4y ago
It's a request to the owner of some reference in a Git repository to pull in some changes from some reference in some (possibly other) Git repository. You can do this via email, but centralised Git hosts like Github have their own inte
40.
by momentoftop 4y ago
I understand the principle. I'm saying that the test on this page isn't demonstrating uniqueness, and so isn't demonstrating fingerprinting. The first time I heard about fingerprinting was with EFF's panoptoclick, which
41.
by momentoftop 4y ago
I don't understand the test on this page. It says we should be worried because a fingerprinting website generates the same hash even after you clear your cache and site-data, and even if you go into a private tab. But I'm not over
42.
by momentoftop 4y ago
OCaml has dune/opam, OCamlfmt and Merlin. I don't know how Rust can blow these out of the water, but would be interested in comparing killer features. I mean, OCaml's autoformatter just autoformats arbitrary Ocaml files. How
43.
by momentoftop 4y ago
It's a bunch of optimisation passes, I believe mostly around inlining. Ocaml is historically quite passive on that.
44.
by momentoftop 4y ago
Nix can replace opam, which is the dependency manager supporting isolated ocaml environments. I generally try to use Ocaml now without opam, and just using Nix. You'll still want dune, though I could see an argument for generating the
45.
by momentoftop 4y ago
LaTeX predates HTML by a decade and supports pictures, charts, quotes and far more, and doesn't force me as an author to make finicky decisions about presentation. I just write the content, and then set the document class to whatever t
46.
by momentoftop 4y ago
You can do tail call optimisation when the last thing you do before you return is a call. That tail call is not necessarily recursive, let alone a call to yourself. Whatever it is, its position means your current stack-frame can be reclaime
47.
by momentoftop 4y ago
Yep, though it's got type-classes specifically from Haskell.
48.
by momentoftop 4y ago
That article went round the Edinburgh mailing list when it was published, and Phil Wadler, who got monads into Haskell, replied saying something like "I didn't know this. Does anyone have the proof?" The actual quote that mon
49.
by momentoftop 4y ago
As soon as it lands in transmission, I will start seeding my favourite peertube videos 24/7, and I hope others will do the same. Unless peertube videos are typically being seeded like this, I'm sceptical of the platform.
50.
by momentoftop 4y ago
Here's one crossover: the Blair Witch Project was marketed as an Alternate Reality Game, as were many of the later low budget found-footage horrors. It turns out that the top-of-the-list creepypasta "Slender man", in the form
51.
by momentoftop 4y ago
> Some projects use tons of variation of `>>=`, other use `let%bind` It gets better. Since 4.08, the preference would be `let*`.
52.
by momentoftop 4y ago
> This is useful for compiler programmers, or maybe also those writing source code analyzers/optimizers, but is that it? On occasion I have had to write DSLs for the user input, but in these cases the (non-programmer) users didn&#x2
53.
by momentoftop 4y ago
My understanding (it's been well over a decade since I read Brian's paper) was that 3-lisp was the direct inspiration for the CLOS Metaobject Protocol. The semantics of CLOS are given in terms of CLOS, and as a reflective object s
54.
by momentoftop 4y ago
Throughout the Wolfenstein codebase, he spelled "column" with two "l"s.
55.
by momentoftop 4y ago
If the proof is that size, I'd leave it out of my thesis proper, and just provide a link to it as a stable artifact.
56.
by momentoftop 4y ago
I think it's all too easy to say they should have just used an existing language. The most obvious feature of the nix language is that it's lazy, because they want their enormous collection of configuration dictionaries computed o
57.
by momentoftop 4y ago
They're already getting decent reproducibility of their curated package set, but some of us want to pin to a particular version of this, especially when creating our own private packages. That's where I'm finding I really w
58.
by momentoftop 4y ago
For most realtime 3d animation, I wonder whether it's that the camera effectively has an infinite shutter speed, so you lose the natural motion blur you get when real film and our retinas get exposed to short durations of changing ligh
59.
by momentoftop 4y ago
It's pretty easy to reason about that particular example if you have a type system. In a simply typed language, "f f x" is just a type error, so it doesn't do anything. In the polymorphic lambda calculus, the typing will
60.
by momentoftop 4y ago
ReasonML is now Rescript, and is still using the 4.06 compiler. I think the idea is to move ahead largely independently of Ocaml, and that a move to 5.0 now is probably seriously ambitious given the runtime overhaul.

More ›