mrkgnao

24 ms·

181.
by mrkgnao 9y ago
https://en.wikipedia.org/wiki/Dead_Hand_(nuclear_war)
182.
Rope Science 11: A practical syntax highlighting algorithm(github.com)
1 points by mrkgnao 9y ago|0 comments
183.
SuperMemo algorithm version 2(supermemo.com)
1 points by mrkgnao 9y ago|0 comments
184.
by mrkgnao 9y ago
The correct link to the IOCCC entry is: http://www0.us.ioccc.org/1987/hines/hines.c
185.
by mrkgnao 9y ago
Indeed, Meer and See are excellent words.
186.
by mrkgnao 9y ago
This looks really beautiful: what's it written in? Also, "Num in IO", nice. Now we wait for someone to write a "(Num in IO) in IO" action.
187.
by mrkgnao 9y ago
Context: the submission was originally titled "Google Brain: Experimental Limits of RNNs [Technical]".
188.
by mrkgnao 9y ago
http://www.tylervigen.com/spurious-correlations
189.
Monsanto Canada Inc V Schmeiser(en.wikipedia.org)
1 points by mrkgnao 9y ago|0 comments
190.
by mrkgnao 9y ago
> borrow to someone lend. I think some European languages have the same word for both lend* and borrow (German?): is that actually the case?
191.
by mrkgnao 9y ago
Ah, an ad for the next Markdown-APL.
192.
by mrkgnao 9y ago
Good compilers don't keep immutable things immutable at runtime, but turn uses of clean high-level functional code into tight C-like loops. https://donsbot.wordpress.com/2010/02/21/smoking-fast-haskel...
193.
by mrkgnao 9y ago
No, it's meant as a warning against the trappings of explosive popularity. A language like C++/Java/JS is difficult to modify because of how entrenched the usage of the language becomes. In that sense avoiding "success a
194.
by mrkgnao 9y ago
http://stacks.math.columbia.edu
195.
Mathematicians deliver formal proof of Kepler conjecture, open for 300 years(eurekalert.org)
3 points by mrkgnao 9y ago|0 comments
196.
by mrkgnao 9y ago
"The Rust Evangelism Strikeforce lingers in the distance, not sure how to leverage the color of Martian dust to their advantage but convinced of the feasibility of the endeavor."
197.
by mrkgnao 9y ago
I've been experimenting with answering that question. An extremely heavily-commented approach to defining equality for things like Double (where there are multiple sensible ways to compare things) will probably be a better introduction
198.
by mrkgnao 9y ago
From the homepage: > Lyra is a non-profit, non-invasive communication service which aims to enable deep and meaningful conversations. Seems like a Slack/wiki hybrid.
199.
by mrkgnao 9y ago
Doesn't mono-traversable/classy-prelude solve this?
200.
by mrkgnao 9y ago
AFAIK -XDuplicateRecordFields and -XOverloadedRecordFields solve this now, creating a typeclass for each of the record labels. In this case, the compiler would generate a HasName class. (This is conceptually similar to classy lenses, but
201.
by mrkgnao 9y ago
I'm under the impression that SPJ made that comment thinking of adoption (for a future "regrettably popular" Haskell), since the difficulty of reasoning about laziness does put people off. I might be wrong though: maybe he wa
202.
by mrkgnao 9y ago
Megaparsec is more actively maintained than Parsec (which it's a fork of). You could try that. It's not as fast as attoparsec, but it's close.
203.
by mrkgnao 9y ago
Trifecta has poor documentation. I've been thinking about reading the Idris parser to learn trifecta/parsers.
204.
by mrkgnao 9y ago
Blogger is actively hostile to phone browsers. For horizontal scrolling, you can try dragging at an angle (to fool the page-change JS) and then vertically scrolling to negate the vertical component of the first motion. It becomes pretty nat
205.
by mrkgnao 9y ago
What made me move back to Google from DDG is the (by construction?) inability of the latter to learn what you're interested in. For things like documentation search, Google quickly starts tailoring results to $LANG.
206.
by mrkgnao 9y ago
Yes! More "real-world" Haskell is always good. This seems like a good time to bring up Shake, Neil Mitchell's build system: http://shakebuild.com/ It can be used like CMake (as a build script generator) or li
207.
by mrkgnao 9y ago
> conspiracy theories around popcount and the NSA Whoa. Some links (with sometimes not-very-well-thought-out allegations): https://groups.google.com/forum/#!topic/comp.arch/UXEi7G6WHu... https:/&#x2F
208.
by mrkgnao 9y ago
Haskell can, in fact, express the CardValue example using DataKinds. (I haven't written it out, though.)
209.
by mrkgnao 9y ago
Would that be related to an existential type of the form foo :: a -> (forall b. Show b => b) from Haskell?
210.
by mrkgnao 9y ago
They are much closer to the curves and solids we're familiar with from everyday experience. For example: you have well-defined tangents at every point for a smooth curve, but a self-intersecting curve doesn't. So many techniques a

More ›