swatson741

7 ms·

1. 61.▲
   Wonderful Medieval Illuminated Manuscripts (2021)(thecollector.com)

   2 points by swatson741 1y ago|0 comments
2. 62.▲
   Chinese Language on the Web (2016)(chenhuijing.com)

   7 points by swatson741 1y ago|0 comments
3. 63.▲
   Effective learning: Rules of formulating knowledge (1999)(supermemo.com)

   159 points by swatson741 1y ago|35 comments
4. 64.▲
   by swatson741 1y ago

   He's more like a juggernaut talking thru people than a demigod leading mortals imo.
5. 65.▲
   by swatson741 1y ago

   They certainly came up with a lot of good one-liners for this book. I wonder why Dennis Ritchie was so infuriated though. He criticizes them for wanting simple functionality, but it's not because language is a powerful tool for solving
6. 66.▲
   A Retrospective on Paradigms of AI Programming (2002)(norvig.com)

   17 points by swatson741 1y ago|2 comments
7. 67.▲
   Programming Well: Abstraction and Design in Computation(book.cs51.io)

   1 points by swatson741 1y ago|0 comments
8. 68.▲
   R6RS Is "Perfect" (2007)(blog.racket-lang.org)

   4 points by swatson741 1y ago|0 comments
9. 69.▲
   On eval in dynamic languages generally and in Racket specifically (2011)(blog.racket-lang.org)

   71 points by swatson741 1y ago|32 comments
10. 70.▲
    Objective ML: An Effective Object-Oriented Extension to ML (1998) [pdf](caml.inria.fr)

    3 points by swatson741 1y ago|0 comments
11. 71.▲
    by swatson741 1y ago

    The paper has this to say: > Choice is a fundamental feature of all functional logic languages. In VC, choice is expressed in the syntax of the term (“laid out in space”) rather than, as is more typical, handled by non-deterministic rewr
12. 72.▲
    ChezScheme v10.2.0(github.com)

    7 points by swatson741 1y ago|0 comments
13. 73.▲
    by swatson741 1y ago

    Maybe I'm not understanding the insight here, but it sort of seams like having confluence defeats the purpose of logical semantics. My specific concern is that by having logical semantics in a language you can represent non-determinist
14. 74.▲
    Programming Well: Abstraction and Design in Computation(book.cs51.io)

    3 points by swatson741 1y ago|0 comments
15. 75.▲
    A/UX (2010)(basalgangster.macgui.com)

    2 points by swatson741 1y ago|0 comments
16. 76.▲
    by swatson741 1y ago

    To put it in a single statement: Pascal is only suitable to study computer science. This is why he doesn't like the language.
17. 77.▲
    Virtualization Framework(developer.apple.com)

    3 points by swatson741 1y ago|0 comments
18. 78.▲
    Show HN: regex-derivative.scm(matt.might.net)

    4 points by swatson741 2y ago|0 comments
19. 79.▲
    Software Design for Flexibility (2021) [pdf](archive.org)

    2 points by swatson741 2y ago|0 comments
20. 80.▲
    Signetics 555 Datasheet (1973) [pdf](components101.com)

    3 points by swatson741 2y ago|0 comments
21. 81.▲
    by swatson741 2y ago

    I agree with all of this. Moreover depending on what Torvalds chooses to do Apple may have ended up with a more expensive XNU in the end which would have been a disaster. Although I think Apple can deal with Torvalds just fine who really kn
22. 82.▲
    by swatson741 2y ago

    Whenever I see the Darwin kernel brought into the discussion I can't help but wonder how different things could have been if Apple had just forked Linux and ran their OS services on top of that. Especially when I think about how commit
23. 83.▲
    Paradigms of Artificial Intelligence Programming (1992)(norvig.github.io)

    2 points by swatson741 2y ago|0 comments
24. 84.▲
    The Scheme Programming Language, Fourth Edition (2009)(scheme.com)

    3 points by swatson741 2y ago|0 comments
25. 85.▲
    Efficient Computation of LALR(1) Look-Ahead Sets (1982) [pdf](dl.acm.org)

    8 points by swatson741 2y ago|0 comments
26. 86.▲
    Hygienic Source-Code Generation Using Functors (2018) [pdf](cs.cmu.edu)

    2 points by swatson741 2y ago|0 comments
27. 87.▲
    IBM Plex(ibm.com)

    4 points by swatson741 2y ago|1 comments
28. 88.▲
    The Jargon File(catb.org)

    2 points by swatson741 2y ago|1 comments
29. 89.▲
    by swatson741 2y ago

    I did mean sum types, variants, etc. It's not really clear what I meant by representing the data but I'm referring to type inference. SML can't solve the problem, and Lisp doesn't have it.
30. 90.▲
    by swatson741 2y ago

    Defiantly worth studying SML imo. Pattern matching is a cool feature. Although it's not as comprehensive as most of the pattern matchers in Lisp. You can't match on bitfields, comparisons other than equality by value, etc. Datatyp