mrkgnao

41 ms·

31.
by mrkgnao 9y ago
I agree with you on namespacing: I've found myself having to add prefixes myself when working with a bunch of similar datatypes with identically-named constructors (e.g. terms and types in a compiler have many similarities). Saying &qu
32.
by mrkgnao 9y ago
> This rebuttal isn't very good. I'm inclined to agree, and I do find your points more "airtight". (I see you've been downvoted; it wasn't me.)
33.
by mrkgnao 9y ago
There's a point-by-point rebuttal in the comments that is also worth looking at: https://gist.github.com/vjeux/cc2c4f83a6b60d69b79057b6ef651b... In my own opinion, I think the author would be better served by stic
34.
by mrkgnao 9y ago
I know, but it's good to understand the _trivial_ fractional ideals first. :) (I like your blog, btw!)
35.
by mrkgnao 9y ago
Borderline surprised this is on the frontpage. :) Here are two comments from yours truly on what "ideals" are and why they make sense to think about for number theory: https://news.ycombinator.com/item?id=14016396
36.
by mrkgnao 9y ago
In Haskell: fac :: Int -> Int fac x = case x of 0 -> 1 n -> n * fac (n-1) or even {-# LANGUAGE LambdaCase #-} fac :: Int -> Int fac = \case 0 -> 1 n -> n * fac (n-1)
37.
by mrkgnao 9y ago
The goal of Principia Mathematica was not "to prove that 1+1=2". It was meant to be a new set (ha!) of foundations for mathematics. https://en.wikipedia.org/wiki/Principia_Mathematica
38.
by mrkgnao 9y ago
Some extensions are considered bad ideas later, e.g. -XImplicitParams. Some extensions can make existing code fail to compile, e.g. -XOverloadedStrings. Some extensions are fairly specialised and their use can cause error messages that are
39.
by mrkgnao 9y ago
Why was there such a spike in Haskell searches in August 2015? https://trends.google.com/trends/explore?date=today%205-y&q=...
40.
by mrkgnao 9y ago
> Linux is licensed under GPL, so the best improvements end up in the main tree Without taking sides in the debate, grsecurity/PaX patches are a counterexample.
41.
by mrkgnao 9y ago
A (not necessarily original) example would be nice.
42.
Space Shuttle Operational Flight Rules, Volume A (2002) [pdf](jsc.nasa.gov)
1 points by mrkgnao 9y ago|0 comments
43.
by mrkgnao 9y ago
> Compiler would infer the types, and the programmer would read it and say, oh, I agree with this type, but I disagree with this type, that's perhaps wrong, this should be rather that type. Then the compiler would infer types again,
44.
by mrkgnao 9y ago
Does Guile (or even Chicken) do anything similar? (My only exposure to it is from Andy Wingo's blog, and I don't know much about Scheme.)
45.
by mrkgnao 9y ago
MagicHaskeller[0] (which seems to sadly be offline at present) is a similar project that infers Haskell functions from properties like reverse "abcde" = "edcba" Other, older projects include Exference[1] and Djin
46.
by mrkgnao 9y ago
The response to the recent Rich Hickey talk definitely points toward "dynamic typing as its own solution" (instead of a stop-gap until someone makes static typing less "verbose") being a popular view nowadays. https:&#x
47.
by mrkgnao 9y ago
Haskell lends itself pretty well to "backend"[0] work, and there are more than a few organisations using it to write servers, trading systems, and so on. It definitely fits his metric, which is "> 1000 industrial users&quo
48.
by mrkgnao 9y ago
> What you get "for free" from such languages may not be significant enough to justify the cost of adoption Idris can often infer entire functions from their types if the domain is amenable to accurate type-based specification.
49.
Generating mazes with inductive graphs(jelv.is)
3 points by mrkgnao 9y ago|0 comments
50.
by mrkgnao 9y ago
Sometimes people even write a systemd unit for it. Feature, not a bug, etc.
51.
by mrkgnao 9y ago
Essentially, Nix treats every version of a package, or every "instance" of a package compiled with different flags, or different "build inputs", as a completely different dependency . So foo-1.0, foo-2.0, and foo-2.0-de
52.
by mrkgnao 9y ago
I can get it down to 1ms, so there's probably something wrong with my setup. (I just look for how the cursor moves; on the delayed one, I can discern the presence of the cursor on the next line for a split second.) Maybe monitor refres
53.
by mrkgnao 9y ago
Um, just to be clear: can I write a program that depends on both A and B? Nix lets you do that.
54.
by mrkgnao 9y ago
I used Arch Linux for a while (~3 years) before making the jump to NixOS. Many things I got from AUR packages are binary-cached in stable Nixpkgs, not to mention "compilers" (GCC, clang, and various versions of GHC in my case). I
55.
by mrkgnao 9y ago
I believe GP was asking if you could have packages A and B installed simultaneously if - A depended on version X of C - B depended on version Y of C - X != Y
56.
by mrkgnao 9y ago
I looked a few things up after Michael's post, and it seems there are a lot of resources and codified idioms around writing chess engines in C. (E.g. tons of bit-twiddling hacks, many related to the fortuitous existence of 64-bit integ
57.
by mrkgnao 9y ago
NurdRage, a relatively popular YouTuber, also replicated the Epipencil experiment on his channel. https://www.youtube.com/watch?v=aoQajOum6wA The reason I'm bringing him up is that he synthesised Daraprim (pyrimethamin
58.
Using Haskell to debug a C chess engine(michaelburge.us)
125 points by mrkgnao 9y ago|5 comments
59.
Declaratively building a Snake clone in the terminal(samtay.github.io)
10 points by mrkgnao 9y ago|2 comments
60.
by mrkgnao 9y ago
I'm not sure whether I agree or disagree, but I'm reminded of how it's said that Fermat's Last Theorem wasn't really the goal (or even that the truth or falsity of FLT doesn't imply anything interesting on its

More ›