JoelMcCracken

12 ms·

1. 91.▲
   by JoelMcCracken 2y ago

   I’m not super well versed in continuations, is right-now/go-when analogous to reset and shift, or are these different ideas?
2. 92.▲
   by JoelMcCracken 2y ago

   I read his “The Reefs of Earth” a few years back and it blew my mind. Such an interesting book.
3. 93.▲
   by JoelMcCracken 2y ago

   I haven't done a ton of usage outdoors, but my boox max lumi works for this. IIUC the android it runs is "unlocked" so I think you could use it as a computer if you wanted. I use it as a tablet and a monitor.
4. 94.▲
   by JoelMcCracken 2y ago

   shoot me an email, which is on my profile. I can help. I honestly was where you were a few years ago, and worked through it. A few direct observations based upon what you said: - working with monads takes some practice and understanding. Th
5. 95.▲
   by JoelMcCracken 2y ago

   Kinda wild to me that people who frequent a website that bills itself as a site for news for "hackers" show such a nil-level of ability to comprehend anything themselves.
6. 96.▲
   by JoelMcCracken 2y ago

   Yeah it seemed clear to me it was a research project/demonstration of possibilities. Very cool.
7. 97.▲
   by JoelMcCracken 3y ago

   Yeah imo the way this would be handled ideally is that some other program would generate a source file from the csv. That source file can then be included normally and work with existing caching infrastructure etc. But ya know back when mak
8. 98.▲
   by JoelMcCracken 3y ago

   check out https://shenlanguage.org/learn.html , especially "Coding a Lisp Interpreter in Shen by Mark Tarver", "Shen Tutorial: Sequent Calculus by Neal Alexander", and " Defining Types in Shen by Chr
9. 99.▲
   by JoelMcCracken 3y ago

   Well, first off, I don't think those things in haskell are good, really. They are/were necessary because of various _other_ issues, but they are not "good" features. And e.g. template haskell doing arbitrary IO at comp
10. 100.▲
    by JoelMcCracken 3y ago

    Note: this is all of extremely interesting, extremely powerful, and extremely cursed! But I think it is certainly interesting food for thought
11. 101.▲
    by JoelMcCracken 3y ago

    I don't have a direct answer here, but let me just elaborate upon what I _wish_ existed. I use org mode for notes. extensively. I am not interested in moving to something else (well, I would for the _right_ something else, but that&#x2
12. 102.▲
    by JoelMcCracken 3y ago

    Shen is a very unique language, and one of the ways in which it is unique is that so much of its marketing, information, etc is non-obvious, and less accessible than you might want. I think the main thing that I find compelling about shen i
13. 103.▲
    by JoelMcCracken 3y ago

    this certainly could be useful for me personally, but it would need more functionality. I think the _full_ project could be very useful though. however i would ask, how is this different from e.g. https://standardnotes.com/
14. 104.▲
    by JoelMcCracken 3y ago

    Yeah, you really don't _have_ to be insufferable. I use emacs and evil/vim mode, have done for years, and it's not like I bring it up all the time or whatever, or shame people for using vscode. It is just a tradeoff, like any
15. 105.▲
    by JoelMcCracken 3y ago

    This is why abridged versions exist. It’s a shame for them though, as often so much is lost by omitting digressions. When I was younger, and Walden’s was the only source of books for me, I would sometimes buy one, only to later notice the “
16. 106.▲
    by JoelMcCracken 3y ago

    Did you mean les mis? It had a lot of sewer system exposition (such praise for night soil!), but I don’t remember any such discussion in hunchback. Of course, it’s very possible I’m forgetting something.
17. 107.▲
    by JoelMcCracken 3y ago

    https://news.ycombinator.com/item?id=38546904
18. 108.▲
    by JoelMcCracken 3y ago

    I can invite you if you email me and. I need to know a bit about you first. Email in profile.
19. 109.▲
    UTF-8 turned 20 years old (in 2012)(commandcenter.blogspot.com)

    1 points by JoelMcCracken 3y ago|0 comments
20. 110.▲
    What do we mean by "the foundations of mathematics"?(lawrencecpaulson.github.io)

    139 points by JoelMcCracken 3y ago|139 comments
21. 111.▲
    by JoelMcCracken 3y ago

    Please write more to this story
22. 112.▲
    by JoelMcCracken 3y ago

    Cf https://en.wikipedia.org/wiki/Small_Arms_Protective_Insert
23. 113.▲
    by JoelMcCracken 3y ago

    I admit, I stopped using linux on desktop approx 2007. Since then, its just been macos and servers. I've been considering going back to it though, but I know that I need to do it in measured steps. Care to share any more about your sla
24. 114.▲
    by JoelMcCracken 3y ago

    I used to love slackware, by far the best linux experience. It just worked well.
25. 115.▲
    by JoelMcCracken 3y ago

    Or https://docs.racket-lang.org/rash/index.html , racket ecosystem is great
26. 116.▲
    by JoelMcCracken 3y ago

    I mean, nobody forced them to use their birth year in their username
27. 117.▲
    by JoelMcCracken 3y ago

    Huh, curious, I don't remember them ever dining with the king in the musketeer books.
28. 118.▲
    by JoelMcCracken 3y ago

    Or you can write the tail-recursive version which starts from 1 and builds to n; no need to memoize.
29. 119.▲
    by JoelMcCracken 3y ago

    I’ve been pondering the possibility of an app that could archive magazines over the eras, make them searchable, etc. something like this could be very neat to browse all magazines in public domain.
30. 120.▲
    by JoelMcCracken 3y ago

    This is the first hn headline that I can remember actually making me laugh out loud. Bravo.