solomonb

23 ms·

1. 331.▲
   by solomonb 3y ago

   Ooops, this should be marked as 2021. Can the mods fix this?
2. 332.▲
   Paradise lost: The rise and ruin of Couchsurfing.com (1991)(inverse.com)

   4 points by solomonb 3y ago|1 comments
3. 333.▲
   by solomonb 3y ago

   FYI the message you are responding to is a reference to this ancient copypasta: ``` The venerable master Qc Na was walking with his student, Anton. Hoping to prompt the master into a discussion, Anton said "Master, I have heard that ob
4. 334.▲
   The Long Boom: A History of the Future, 1980–2020 (1997)(wired.com)

   1 points by solomonb 3y ago|0 comments
5. 335.▲
   by solomonb 3y ago

   Is this at all viable in Southern California? My gut says no, but I would love to be wrong.
6. 336.▲
   Programming as Theory Building (1985) [pdf](algoritmos-iii.github.io)

   162 points by solomonb 3y ago|36 comments
7. 337.▲
   by solomonb 3y ago

   In Fred Turner's "From Counterculture to Cyberculture", Turner contrasts the perspectives of John Perry Barlow and Lee Felsenstein as the old guard of cybernetic counterculturalists versus Acid Phreak and Fiber optik as the n
8. 338.▲
   Is Computer Hacking a Crime? (1989) [pdf](faculty.weber.edu)

   70 points by solomonb 3y ago|31 comments
9. 339.▲
   by solomonb 3y ago

   "At that moment, Anton became enlightened."
10. 340.▲
    by solomonb 3y ago

    > Except nobody said that ? Ksaj claimed that a musician who learned to make music without music theory will inevitably end up producing music which is actually derivative of the music of someone else who did study theory. I reject that
11. 341.▲
    by solomonb 3y ago

    It adds a module system to nix flakes. I've been using nix every day for 4 years and make heavy use of flakes but TBH i'm not really sure the benefit flake-parts. It looks like a ton of new boilerplate.
12. 342.▲
    by solomonb 3y ago

    Okay so we can generalize to music theory outside of the western canon but then aren't we also allowing in "the theory of the music made by not learning western theory but rather by listening to lou reed riffs and copying his hand
13. 343.▲
    by solomonb 3y ago

    For every artist sticking a banana to a wall I guarantee you there is another one with the windows of their studio blacked out and making intricate oil paintings of whatever you think is impressive. There is simply too much art being produc
14. 344.▲
    by solomonb 3y ago

    Sorry, by parent poster i meant Voldecar who was responding to you. I don't necessarily agree with you on the 'that it never was' comment but I wasn't objecting to that opinion.
15. 345.▲
    by solomonb 3y ago

    Amazing straw man. I said nothing of curation, mastery, or art history in general. My comment was challenging the parent poster's assumed knowledge of the opinions of old masters.
16. 346.▲
    by solomonb 3y ago

    There is sooooo much more contemporary art then that one guy who stapled a banana to a wall. If that is all your exposure to contemporary art then you aren't trying very hard.
17. 347.▲
    by solomonb 3y ago

    There are many musical traditions which evolved completely orthogonal to [western] music theory. That such traditions can exist and have performers who express virtuosity contradicts the claim that all 'riffs' originate with [west
18. 348.▲
    by solomonb 3y ago

    And you speak for Michaelangelo and Leonardo?
19. 349.▲
    by solomonb 3y ago

    You absolutely do not need flake-parts.
20. 350.▲
    by solomonb 3y ago

    So the solution to writing idiomatic code in the language whose essential feature is the ownership semantics and borrow checker is to not use the ownership semantics and borrow checker?
21. 351.▲
    Polynomial Functors: A Mathematical Theory of Interaction [pdf](topos.site)

    49 points by solomonb 3y ago|36 comments
22. 352.▲
    by solomonb 3y ago

    Thats fair. I'm not GP but I do tend to agree that the AST used in that paper is overly complicated. Here is an STLC with bidir example which I believe to be easier to understand: https://github.com/solomon-b/lambd
23. 353.▲
    by solomonb 3y ago

    I think you are still making an unfair generalization from this post. What you are saying is like reading a machine learning paper which has python examples and complaining that software development with python demands understanding advance
24. 354.▲
    by solomonb 3y ago

    The typechecker and evaluator for this AST would be super simple. If you want a simple typechecker then you need type annotations. If you want to have type inference then you either need to implement unification or go the bidir route (which
25. 355.▲
    by solomonb 3y ago

    LangChain is a perfect example of unnecessary abstraction. You could build a much simpler and more composable library for working with LLMs simply using functions and function composition. This isn't rocket science.
26. 356.▲
    by solomonb 3y ago

    I don't think your conclusion is especially fair. This is a blog post about programming language design and type theory not general usage of functional programming. It also doesn't mention any category theory...
27. 357.▲
    by solomonb 3y ago

    The Author is _not_ implementing dependent types. They specifically are implementing Simply Typed Lambda Calculus. They have stripped out the Pi and Sigma types from the original paper.
28. 358.▲
    by solomonb 3y ago

    This article is odd. The author seems to imply they are introducing NBE in their second redesign, but the original paper performs NBE as well.
29. 359.▲
    by solomonb 3y ago

    I don't understand. If one is gaining weight then that implies they consumed more calories then they 'burned' and aren't restricting calories enough. Exercise and training would increase your burn rate and allow you to d
30. 360.▲
    by solomonb 3y ago

    From what I understand, Ozempic works by slowing down digestion and thus reducing appetite. If that is the case then wouldn't this be precisely evidence that caloric restriction is all you need to reduce obesity?