quazar

12 ms·

1. 91.▲
   Why Computer Science Needs Philosophy(youtube.com)

   1 points by quazar 7y ago|0 comments
2. 92.▲
   by quazar 7y ago

   PDF available here: https://www.dreamsongs.com/Files/PatternsOfSoftware.pdf
3. 93.▲
   Patterns of Software – Richard P. Gabriel(wiki.c2.com)

   2 points by quazar 7y ago|1 comments
4. 94.▲
   Sheets.new(sheets.new)

   2 points by quazar 7y ago|0 comments
5. 95.▲
   World Views: From fragmentation to integration [pdf](vub.be)

   1 points by quazar 7y ago|0 comments
6. 96.▲
   Introduction to Cybernetics (1957)(pespmc1.vub.ac.be)

   97 points by quazar 7y ago|26 comments
7. 97.▲
   A Practical Introduction to Haskell GADTs [video](youtube.com)

   3 points by quazar 7y ago|0 comments
8. 98.▲
   I built an inside-out, swinging piano(theconversation.com)

   2 points by quazar 7y ago|0 comments
9. 99.▲
   by quazar 7y ago

   What would runtime dependent types be? As I understand, they are a tool for statically proving properties of some code. What use are they at runtime? For code that came up as a result of the working system? I believe properties of generate
10. 100.▲
    Program Synthesis [pdf](microsoft.com)

    4 points by quazar 7y ago|0 comments
11. 101.▲
    Ask HN: Photos of the Dynamicland's Realtalk OS Code?

    1 points by quazar 7y ago|0 comments
12. 102.▲
    Legalized Abortion and Crime Effect(en.wikipedia.org)

    1 points by quazar 7y ago|0 comments
13. 103.▲
    Ask HN: Designs in which information stored in the system outlives it?

    1 points by quazar 7y ago|1 comments
14. 104.▲
    Philosophy of Computer Science [pdf](cse.buffalo.edu)

    284 points by quazar 7y ago|81 comments
15. 105.▲
    by quazar 7y ago

    Here's the github repo: https://github.com/bhauman/devcards
16. 106.▲
    Literate Interactive Coding: Devcards(youtube.com)

    3 points by quazar 7y ago|1 comments
17. 107.▲
    105 STL Algorithms in Less Than an Hour [video](youtube.com)

    5 points by quazar 7y ago|0 comments
18. 108.▲
    by quazar 7y ago

    Pythonic way to reverse a string would be my_str[::-1].
19. 109.▲
    Not Jordan Peterson(notjordanpeterson.com)

    3 points by quazar 7y ago|0 comments
20. 110.▲
    by quazar 7y ago

    I thought that "making J look like English" would refer to creating a DSL in it, not substituting J symbols for English keywords. But still, pretty cool.
21. 111.▲
    by quazar 7y ago

    People in the Racket community also sometimes to use Scribble[1] to write their blogs. https://docs.racket-lang.org/scribble/
22. 112.▲
    Tab-completion for your command-line apps(blog.jcoglan.com)

    3 points by quazar 7y ago|0 comments
23. 113.▲
    Kiwi Farms is currently under DDoS(kiwifarms.net)

    15 points by quazar 7y ago|31 comments
24. 114.▲
    Crestle (one-click deep learning platform) closes for individual participants(doc.ai)

    2 points by quazar 7y ago|0 comments
25. 115.▲
    by quazar 7y ago

    If the links are not highlighted by default, then tab navigation is basically non-existent since I cannot see where I'd be redirected and I personally bother to write custom CSS only for the websites I visit very often. Is there an act
26. 116.▲
    by quazar 7y ago

    You can choose a number of allowed apps between 1 and 8 in the full version, which costs $1.
27. 117.▲
    Charles Munger: A Lesson on Elementary, Worldly Wisdom(fs.blog)

    1 points by quazar 7y ago|0 comments
28. 118.▲
    Writing a Ph.D. thesis with Org Mode(github.com)

    136 points by quazar 7y ago|27 comments
29. 119.▲
    What's in a Name?(talks.golang.org)

    1 points by quazar 7y ago|0 comments
30. 120.▲
    Ambient-Oriented – paradigm for programming peer-to-peer mobile applications(soft.vub.ac.be)

    2 points by quazar 7y ago|0 comments