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.
sinedpick
joined 2 years ago
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)
can you please talk more about your lambda calculus projects?
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?
I wasn't exactly sure where to put it, so I searched "charter city" and Lemmy threw up a few times but eventually showed me an older SneerClub post about prospera. I would have posted it in techtakes otherwise.
You guys notice how he capitalizes "white" but not "black" even when they're used in the same sentence? A pathetic little weirdo to the last little detail.
So who are you going to vote for, and what do you hope to achieve with that?
Dude, if you have a degree in econ I think your uni should lose its accreditation. I am dead serious.
You have zero understanding of cause and effect or you are looking at this conflict through a pinhole. Stop supporting and lapping up the propaganda of genocidal settler-colonialists like an useful idiot. Learn history and have some morals.
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.