Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)SI
Posts
1
Comments
201
Joined
2 yr. ago

  • as a wannabe science/mathtist I totally feel the pain of realizing that I will probably never have any good, original ideas unless I actually dedicate my life to studying the works of people that actually had good, original ideas.

    In these people, I see a version of me that didn't tell myself that all my stupid theories of the universe and consciousness are total unfalsifiable wastes of time. It's a type of "high-iq" psychosis.

  • You'll notice I didn't disagree with the verdict. I just think Kyle is scum and a murderer even if that's not under the technical legal definitions.

    I don’t feel that trying to stop property damage for a family friend’s establishment in the middle of a riot, where police refused to stop people, is a pattern of behavior I want to discourage people from doing.

    Really? Letting children be judge, jury, and executioner when it comes to property damage is something your'e totally okay with? I think you have a little bit of growing up to do, buddy.

  • I found LambdaLisp from your mastodon post and was immediately intrigued. I'm going to try and run it to get a better understanding of how the IO system works, and maybe even cook up my own BLC interpreter to run it! The hardware stuff is definitely out of my depth, but this may be a great chance to learn.

  • If you unnecessarily bring a gun somewhere and end up in a situation where you need to use it to kill people, you're a murderer. I choose to label that murder because I place him in the same category as convicted murderers in my head. He isn't some dude going about his life and needed to use lethal force in self defense due to unforseen circumstances. He actively sought out the situation, and therefore bears some responsibility. This is more a question of if you want to see his pattern of behavior encouraged or discouraged rather than a question about any individual's culpability.

  • I have a scattered interest in lambda calculus too so I'd love to follow this project. Tromp's BLC definitely hits a sweet spot of complexity/size when it comes to describing computation in a way that's deeply satisfying.

    Have you looked into interaction nets/other optimal beta-reduction schemes (there's a project out there called HVM)? Probably way too high level for now though. I am fascinated by the possibility of these algorithms making church-representations more asymptotically efficient (or even balanced ternary)

  • Jesus fuck, I hate myself so I couldn't help but take a peek. The first comment says "TL;DR but I will still counterargue!" The OP then responds "that's stupid" and gets slapped by the admin for personal attacks. So basically, you can make personal attacks if your account has a history of agreeing with the zeitgeist and you veil them behind enough qualifiers. What an absolute joke of a message board.

  • It's impossible to stop returning to that steaming pile of dogshit post and find something new to sneer at:

    As Delicious Tacos aptly put it, a Far Left phase is treated like a woman eating pussy in college, while a Far Right phase is treated like a man sucking cock.

    SO? WHATS THE FUCKING DIFFERENCE YOU WASTE OF SPACE?