Forwarded from Pavel Durov
How did you like the privacy-focused update of Telegram?
Anonymous Poll
56%
Awesome, keep it up! 👍
44%
Awful, take it back 👎
https://en.wikipedia.org/wiki/Joe_Armstrong_(programmer)
RIP Joe Armstrong, he died on April 20th this year.
RIP Joe Armstrong, he died on April 20th this year.
Forwarded from Brett G.
Article is on which languages have the most checked and unchecked vulnerabilities. You will notice that functional languages don't even chart.
It is almost as though a functional language has inherent methods of safety and security, and that verification reduces bugs that open exploits.... Hmmmmmmmmmmmmmmmmm......
(I wonder if F* to Low* C compilation causes less risks)
It is almost as though a functional language has inherent methods of safety and security, and that verification reduces bugs that open exploits.... Hmmmmmmmmmmmmmmmmm......
(I wonder if F* to Low* C compilation causes less risks)