mrkgnao

21 ms·

151.
by mrkgnao 9y ago
Do-notation strikes again.
152.
A Little More Nuance(kieranhealy.org)
1 points by mrkgnao 9y ago|0 comments
153.
by mrkgnao 9y ago
The Yi editor contains a minimal Emacs-like interface. https://github.com/yi-editor/yi/
154.
by mrkgnao 9y ago
For those who have not heard of him, a good introduction is his set of improvisations on Bach's Goldberg Variations. "Goldberg Variations / Variations": https://www.youtube.com/watch?v=V8WGcjB6ryI Discus
155.
by mrkgnao 9y ago
That's the way I format my bigger HN comments. Didn't know [this](wasn't) part of the Markdown standard, though. Thanks!
156.
by mrkgnao 9y ago
HN doesn't support full Markdown. :(
157.
by mrkgnao 9y ago
Here's an overview I wrote a while back. https://news.ycombinator.com/item?id=14149200
158.
by mrkgnao 9y ago
The clear dark pattern here should also have been addressed: Kite is listed with all its shiny features, whereas the alternative simply gets called inaccurate and incomplete. Local analysis does have some clear advantages over Kite, even ex
159.
by mrkgnao 9y ago
> The problem is that ligature substitution is “dumb” in the sense that it only considers whether certain characters appear in a certain order. It doesn’t have any awareness of the semantic context. True, which is why Iosevka has languag
160.
by mrkgnao 9y ago
You mean the screen flicker is from ... Iosevka? :(
161.
by mrkgnao 9y ago
You can probably tweak a couple numbers in parameters.toml or something. I made my own weight in between normal and medium, for example.
162.
by mrkgnao 9y ago
"LSP for indentation" :)
163.
by mrkgnao 9y ago
Hey! Tech-death isn't what I listen to nowadays, mostly, but it's where I started from. I learned to appreciate complexity in music from there, and branched out to other things. Still do enjoy the occasional Gorguts listen, though
164.
by mrkgnao 9y ago
Idris isn't difficult to use for things that don't require tons of library support (since there aren't many libraries to speak of yet), unlike Agda, which is far from a programming language in the usual sense (it's a pro
165.
by mrkgnao 9y ago
To pick just one: mutable state by default is very difficult to justify as being a decision intended to promote security in a tool that is literally meant to construct financial/contractual instruments.
166.
by mrkgnao 9y ago
Related: Christian Muenzner is an extreme metal guitarist who was diagnosed with focal dystonia in his left hand. He was part of Obscura, one of my favorite metal bands ever. https://en.wikipedia.org/wiki/Christian_Munz
167.
by mrkgnao 9y ago
They're called "caller tunes" in India. Used to be really popular a few years ago. Now they're a bit less common.
168.
by mrkgnao 9y ago
Her work was in (the more visualizable parts of?) geometry/topology.
169.
by mrkgnao 9y ago
I hope to study (non-inter-universal) Teichmueller theory some day, as a side quest on my own journey (which is vaguely directed in some sense toward number theory at present). It's the best way I can think of to honor her memory: to l
170.
by mrkgnao 9y ago
not* provided?
171.
by mrkgnao 9y ago
HN supports a funky subset of Markdown. :(
172.
by mrkgnao 9y ago
The URL is slightly misleading: yes, you can call Haskell from C++. https://stackoverflow.com/questions/3859340/calling-haskell-...
173.
by mrkgnao 9y ago
I didn't think "algorithmic differentiation" meant automatic differentiation. Instead: https://arxiv.org/abs/1610.07690
174.
by mrkgnao 9y ago
> It takes three callback functions: "before", "during", and "after". Does this remind anyone of MonadBaseControl from the Haskell package monad-control?
175.
by mrkgnao 9y ago
, yes Purescript :) For those new to this, good search terms are "row polymorphism", "extensible records", and "polymorphic variants".
176.
by mrkgnao 9y ago
I'm pretty sure that's just "administrative" and imposed by the syntax (e.g. think Java/C++ function declaration syntax), instead of being something the compiler can't infer. Thanks for clearing this up, though
177.
by mrkgnao 9y ago
Haskell: factorial n = if n < 2 then 1 else n * factorial (n - 1) I think the OCaml version will look almost exactly like the F# one.
178.
by mrkgnao 9y ago
> infer recursive functions Any of the mainstream functional languages (which are most likely to have type inference) can infer the types of all functions, unless you use funky language extensions that make type inference undecidable.
179.
by mrkgnao 9y ago
Mods: Terence* Tao. Not sure why this is so common: perhaps the Terry form of the name?
180.
Notes on fusion in Haskell(teh.id.au)
3 points by mrkgnao 9y ago|1 comments

More ›