mrkgnao

42 ms·

361.
by mrkgnao 10y ago
You can obviously write a code generator for all the functions you need once you write an AI good enough: by eliminating extraneous features like generics, Go leaves you free to actually solve problems that matter . (/s) Edit: I won&#
362.
by mrkgnao 10y ago
Glasgow Haskell Compiler
363.
by mrkgnao 10y ago
A thunk is an unevaluated value. Better, it's an unevaluated piece of code that returns a value when it's required. For instance, you can write x = [1..] which gives you a list of all the positive integers. Because of laz
364.
by mrkgnao 10y ago
Are you on NixOS by any chance? There is a problem with /run filling up that you can fix by using TMPDIR=/tmp stack whatever I switched back to Arch a while back, and I'm not sure if this problem still exists on the
365.
by mrkgnao 10y ago
Wasn't he hired by Khan Academy recently? It's great if that helps a wider audience to benefit from his work.
366.
by mrkgnao 10y ago
Excellent work! I've been trying to get my mother (she's a physics teacher) to learn linear algebra properly for a long time. Artin didn't work (ha), Khan Academy moved too slow/bored her, but she seems interested in thi
367.
by mrkgnao 10y ago
It's curious how we're prepared to replace X (with people writing tiling WMs and the like that support it) but somehow the move away from xtermy things (and backwards-compatibility-all-the-way-back-to-way-back-when) hasn't re
368.
by mrkgnao 10y ago
Yes, but what this is is encrypting the network instead of the data. This way, when we improve the network iteratively to reduce predictive error, we can perform all the relevant calculations homomorphically.
369.
by mrkgnao 10y ago
Something like a -> (b -> r) -> r/the Cont monad? E: I meant to reply to a a sibling.
370.
by mrkgnao 10y ago
I'm really looking for something along these lines and would appreciate some input: what's a good way to externally index one's knowledge (at least the "serializable" parts)? Right now I have a few big org files tha
371.
Gordon-Loeb model(en.wikipedia.org)
1 points by mrkgnao 10y ago|0 comments
372.
by mrkgnao 10y ago
"It's Russian, hah."
373.
by mrkgnao 10y ago
There is a certain amount of familiarity expected, sure. But anyone who has read, say, the Monads chapters in Learn You A Haskell (which is about as nonintimidating as a book can get!) should be able to guess what those types - s and so on
374.
by mrkgnao 10y ago
f for a functor is also very common, as is k for "continuations", very generally speaking (I think this is a borrowing from Lisps?): one often sees monadic bind defined as m >>= k = ... In a somewhat more esoteric v
375.
by mrkgnao 10y ago
https://github.com/tibbe/haskell-style-guide/blob/master/has...
376.
by mrkgnao 10y ago
Javadoc-like comments ("Haddocks") are pretty widely used, and Hackage (the Haskell library index) let's you browse them and so on. See [0] for a good example of well-commented but idiomatic Haskell (a snippet from the popula
377.
by mrkgnao 10y ago
https://xkcd.com/1312/
378.
by mrkgnao 10y ago
That 6 is all I needed to see. :)
379.
by mrkgnao 10y ago
HN does have a noprocrast timeout available, although it's almost undocumented.
380.
The Quest to Simulate Tetris in Conway's Game of Life(blog.phinotpi.com)
1 points by mrkgnao 10y ago|0 comments
381.
by mrkgnao 10y ago
The Russian Trump spammer named Vitaly Popov had the lyrics to most of Pink Floyd's Money in the URL that he spammed Google Analytics with.
382.
The quest to simulate Tetris on a programmable Conway's Game of Life computer(blog.phinotpi.com)
2 points by mrkgnao 10y ago|0 comments
383.
by mrkgnao 10y ago
I'm very interested in math, and would say I'm fairly comfortable with abstraction (e.g. categorical thinking). I don't find philosophy of math or foundations very engaging, though. Thanks for the recommendations!
384.
80000 Hours Career Profiles: Economics PhD(80000hours.org)
2 points by mrkgnao 10y ago|0 comments
385.
by mrkgnao 10y ago
No. But that is probably two more than most other languages with a similar compilation model. (I think Rust has two IRs?)
386.
by mrkgnao 10y ago
Classic Life is B3/S23, not B3/S34. Am I reading your diagrams wrong? Also, your matrices for empty and type 1 each have an extra dot after the E on the first row (I think).
387.
by mrkgnao 10y ago
I think it's interesting to note that (anecdotally, at least) things that are "less practical" attract far more in-depth SO answers than those that are more "useful in the real world" (insert connection to capitalis
388.
by mrkgnao 10y ago
I meant non-awkward. :(
389.
by mrkgnao 10y ago
Did you mean the xkcd "crypto nerd" wrench, or is this a reference to something else? E: ah, TIL. https://en.m.wikipedia.org/wiki/Rubber-hose_cryptanalysis
390.
by mrkgnao 10y ago
As always when I see this kind of comment on HN: any references you recommend for someone who's looking to read some philosophy? (Eek, weird sentence. No awkward grammar fixes welcome.)

More ›