There's literally only one researcher in PL with a backbone.
Just to be clear, it isn't me - I haven't gained enough reputation to be able to pull off a stallman.
Data scientists are the new web dev html "programmers".
Has science gone too far?
hahah let them suffer
not even once
4 posts ommited. Click [See All] to see the entire thread.
I’m talking about python appearing as a dependency everywher
@gopiandcode like perl and pcre were enough
Ah I see, yeah, I agree
I think we should honor mathematicians less with eponymous theorems (prestige culture is toxic)
The top minds at hacker news strike again, liberating us from the toxic? culture of centuries-old mathematicians. Thanks HN!
HN is an undocumented mental disease
i do agree that descriptive names are better (say hypotenuse theorem or something instead of phytagore's theorem) but
I don't feel strongly either way, but I think the choice should lie with the person who discovered the theorem - is this communism for mathematics? all your theorems are belong to us?
Either way, at a high enough level, the concepts you're dealing with are so abstract that there really isn't a good way of giving an descriptive name, and irrespective of the name, you'd only understand it after investing significant time, thereby nulling the accessibility argument.
A developer is someone superior to the programmer.
middle management at it again...
It's often assumed that calling free costs nothing. In fact free is an expensive operation which involves navigating over the complex data structures used by the memory allocator.You may not like it, but this is the truth. Managed-memory languages BTFO.
Recovering Purity with Comonads and CapabilitiesThe end of Haskell's reign of terror draws near...
Finally got my sister to swap to use FOSS messaging software - Linphone.
Unfortunately, also means I have to handle emotional support for an edgy teenager.
1 posts ommited. Click [See All] to see the entire thread.
@gopiandcode I didn’t know you hated your sister that much
I thought linphone was for VoIP
And when you have [posts] encrypted, there is no way to know what it is. I personally believe government should not allow those types of lies or fraud or child pornography [to be hidden with encryption like WhatsApp or Facebook Messenger]."- Billy. G, M$ Founder.
Gee, thanks Bill! On that note, why don't you open-source Windows, so we can verify that it's not also "spreading lies".
I think you'll find that only the lower classes need follow such rules.
Bloomfilters Debunked: Dispelling 30 years of bad maths with 2000 lines of (FOSS) Coq!
#coq #verification #foss
The code and proofs are FOSS licensed: https://github.com/certichain/ceramist