mrkgnao

31 ms·

1. 241.▲
   by mrkgnao 9y ago

   For others who don't know: taijiquan is more usually called tai chi .
2. 242.▲
   by mrkgnao 9y ago

   Yes, it's a linguistic dangling else. (I think so, at least. Not too sure.)
3. 243.▲
   Kahan summation algorithm(en.wikipedia.org)

   1 points by mrkgnao 9y ago|0 comments
4. 244.▲
   by mrkgnao 9y ago

   Does Racket support non-Lisp-like syntax for DSLs written in it? I've been hearing really great things about how it has the best macro system on earth, but Haskell has spoiled me to the extent that I'm a bit lazy (no pun intended
5. 245.▲
   Gentzen's consistency proof(en.wikipedia.org)

   1 points by mrkgnao 9y ago|0 comments
6. 246.▲
   by mrkgnao 9y ago

   "Thinker's Universal Workers"?
7. 247.▲
   by mrkgnao 9y ago

   GHC already does a lot of loop fusion and optimizing away of linked lists (which is good given the unfortunate overdue of cons-lists over nicer things among Haskell users) which can be extended to work with user code using rewrite rules. Li
8. 248.▲
   by mrkgnao 9y ago

   My first exposure to this was Kramer on Seinfeld talking about how people want to make their own "pizza pies".
9. 249.▲
   by mrkgnao 9y ago

   "Non-strict, not lazy"
10. 250.▲
    The Programming Languages Zoo(plzoo.andrej.com)

    2 points by mrkgnao 9y ago|0 comments
11. 251.▲
    by mrkgnao 9y ago

    For one, I often read Dan Piponi[0] / sigfpe's articles on my phone, and they sometimes have long equations that stretch off the page. If you drag the page in the commonsense way, you end up moving to another post, as you say: I&#
12. 252.▲
    by mrkgnao 9y ago

    The first line of the abstract reminds me of some recent work allowing plain Haskell functions to be sent to the Z3 theorem prover/SMT program: http://newartisans.com/2017/04/haskell-and-z3/ It leverages
13. 253.▲
    by mrkgnao 9y ago

    I'm a graduating senior in India, interested in studying math as an undergraduate. Considering that I know some German (~B1), could this work out for me?
14. 254.▲
    by mrkgnao 9y ago

    cf. the "non-golfing club" joke I can't remember who made
15. 255.▲
    by mrkgnao 9y ago

    > reading religious texts and religious philosophy as texts and philosophy, yes, as works of fiction-unless-evidenced-otherwise, as literature that chronicles a staggering amount of human history, large-scale social organization, belie
16. 256.▲
    by mrkgnao 10y ago

    The conviction that the world, pace certain "intrinsic" limits of the information-theoretic or quantum-mechanical nature, is understandable is a singularly powerful one. It's something lots of people think they believe, but i
17. 257.▲
    by mrkgnao 10y ago

    Compare this low-effort comment: https://news.ycombinator.com/item?id=14124411 to these: https://news.ycombinator.com/item?id=14149200 https://news.ycombinator.com/item?id=14016438 Getting
18. 258.▲
    by mrkgnao 10y ago

    In addition to the more well-known https://en.wikipedia.org/wiki/Sokal_affair although that had different goals.
19. 259.▲
    by mrkgnao 10y ago

    That's true, for bitflag-like things OR does make sense.
20. 260.▲
    by mrkgnao 10y ago

    There is no canonical monoidal operation on booleans (just as the case is in any arbitrary ring), so I'd guess using the bitwise operators explicitly is good for disambiguation.
21. 261.▲
    by mrkgnao 10y ago

    (With a short detour through writing a JIT in LLVM, of course, but I didn't want to edit the title. Sadly, I accidentally added the "from" at the beginning.)
22. 262.▲
    From Monads to Machine Code(stephendiehl.com)

    181 points by mrkgnao 10y ago|33 comments
23. 263.▲
    by mrkgnao 10y ago

    Thanks for correcting my mistake. It seems like there's a way of taking some part of speech, adding a suffix to turn it into a different one, and then adding another suffix to turn it back into the original kind, then declaring that th
24. 264.▲
    by mrkgnao 10y ago

    Manish Goregaokar[0] is a well-known Rust developer, and afaik he studied at IIT Bombay before going on to Mozilla. (Apologies if this is incorrect.) [0]: https://github.com/Manishearth
25. 265.▲
    by mrkgnao 10y ago

    > Offenbarkeit Does that translate to something like "openability"? (I've had the occasional brush with Heideggerian terminology before.)
26. 266.▲
    by mrkgnao 10y ago

    And a suitable inversion tells you that both are almost the same :)
27. 267.▲
    by mrkgnao 10y ago

    https://en.wikipedia.org/wiki/Marginal_utility#Diminishing_m... Interesting.
28. 268.▲
    by mrkgnao 10y ago

    This has a beginning that you may find interesting. https://en.wikipedia.org/wiki/Diaspora_(novel)
29. 269.▲
    by mrkgnao 10y ago

    "I Have No Mouth, and I Must Bleed"?
30. 270.▲
    by mrkgnao 10y ago

    And a black metal band, if memory serves.