voxl

22 ms·

301.
by voxl 4y ago
What an incredibly cringe comment. Names are used to reference a person, Elon as a name makes it painstakingly obvious who is being talked about. Mark pointedly does not. To call someone a loser and dribble about this asinine analysis of fa
302.
by voxl 4y ago
Cherry picking an instance of complexity is not a particularly fair way to judge a language. It would be like explaining how to encode the lambda calculus in C++ templates and then claiming C++ is too complex. As far as I have read, Pin has
303.
by voxl 4y ago
Twitter is going to not exist in 2 years. The financials make no sense, and we already have influencers making fun of subscribers. Subscribing is not only going to create a dichotomy that drives away "economy-of-scale" users but i
304.
by voxl 4y ago
The cult of personality never ceases to amaze me.
305.
by voxl 4y ago
How is beta reduction not "formal"???
306.
by voxl 4y ago
The Curry-Howard Correspondence is about proof systems. You would have a very hard time finding a proof theorist that says it's okay to have an undecidable proof checker or an inconsistent one. For that reason, only _typed_ lambda calc
307.
by voxl 4y ago
They typically just purchase the company instead. See: Amazon, Google, Microsoft, Apple. Let's not forget that Elon Musk's real success has been in marketing. He has created a cult of personality, claimed his efforts are for the g
308.
by voxl 4y ago
Yeah i'll believe it when I see it.
309.
by voxl 4y ago
Is the lawsuit itself not evidence? Do you think employees are sitting there thinking "let's waste money and time on a lawsuit that will have no impact." There must have been some good faith believe that Musk had no intention
310.
by voxl 4y ago
You are assuming both: that there was in fact 60 days notice (how!?) and that there is in fact a severance package. Yet, why would you not be openly communicative of this if you intend to give it? So how is it legal nonsense if the lawsuit
311.
by voxl 4y ago
Imagine being this far down into a cult of personality and people reading it and thinking to themselves "yeah _this_ comment is fine"
312.
by voxl 4y ago
> Was it lucky that he happened to start what became PayPal with some others? Yes, it was luck. You could say it was 95% luck, because of course the product has to exist to get lucky so it's not entirely luck. If you made a copy of
313.
by voxl 4y ago
Being rich has almost nothing to do with your ability, talent, or intelligence. It the single most important factor is luck. This is why you often find CEOs looking down on those with PhDs, because they have an inflated sense of self-worth
314.
by voxl 4y ago
When it comes to work place environment I have not heard a single good thing about Musk. And that is what is being discussed here.
315.
by voxl 4y ago
Depends on the codebase. Go read the source code for GHC and tell me how quickly you could add a new primitive type that consists of all twos-complement 7-bit numbers. A pretty trivial change for someone whose steeped in the codebase, likel
316.
by voxl 4y ago
I'm honestly curious if that is legal, it sounds like fraud. Not a lawyer of course.
317.
by voxl 4y ago
Except there is nothing but idealism behind the idea that this is true. Indeed, we have AGI already, they are called humans, and the progress we see in the development of AI is not exponentially explosive. The only exponential growth we&#x2
318.
by voxl 4y ago
Retrofitting the set theoretic definitions is trivial. Take the set of cauchy real numbers, remove all reals equal to a real-that-would-be-a-rational, i.e. constant sequences. Union together this set with the set of rationals defined as rat
319.
by voxl 4y ago
Any mathematician, literally all of them, will tell you there is an injection from the set if rationals and reals, and that your foundational system is likely impoverished if this injection does not behave as the identity
320.
by voxl 4y ago
Given the author, the obvious answer is self-promotion. Given the upvotes, the obvious answer is that people enjoyed and resonated with it. What remains is for your to explain what the point of this comment was
321.
by voxl 4y ago
Wow, I never thought of that, i think it's even worse then you're letting on. She Hulk didn't need to because, by suggestion of the dialogue, women already have to control their internal anger to survive in the world we live
322.
by voxl 4y ago
Funny that he works at Unity, I can feel the toxicity oozing from that company just trying to use their product.
323.
by voxl 4y ago
People like to say this with basically no evidence. It's basically a conspiracy theory at this point. In fact, I've had TikTok videos, in the app itself, claiming the same thing. Man, those CCP folks are just really, really good!
324.
by voxl 4y ago
Except the point being made is that only the rich and affluent get to make creative decisions. Though the experts who get any traction also belong to this group in my experience. A CMU Professor just draws more eyes than one from The Univer
325.
by voxl 4y ago
The hype of Blockchain is an astounding thing, and the cascading hype for systems merely because they are based off people in the Blockchain space is equally as befuddling. Try https://github.com/AndrasKovacs/smalltt i
326.
by voxl 4y ago
Common sense rules == completely banning all NSFW work? https://www.subscribestar.com/prohibited_content I'm all for having some SFW platforms, but let's not pretend that there isn't a dramatic, dramatic dema
327.
by voxl 4y ago
Yeah people with no brain cells really make my blood boil.
328.
by voxl 4y ago
This has nothing to do with cancel culture, you're just a moron. An open source maintainer gets to set their boundaries with you however they want. If they want to instantly ban you for being an ass that's on them. If anything, wh
329.
by voxl 4y ago
You're seriously making mountains out of mole hills here. There is no slippery slope trying to get your content on a platform that consumers actually use, regardless of the ethics of that platforms that's where the users are!
330.
by voxl 4y ago
No one has stopped studying strict types, they are alive and well

More ›