A stitch in time saves nine.
A stitch in brain saves pain.
Row, row, row your types
Gently down the stream
Merrily, merrily, merrily, merrily,
"Costate Comonad Coalgebra is equivalent of Java's member variable update technology for Haskell"
Most common classes of security vulnerabilities, afaict:
1) confused deputy and ambient authority attacks (mitigated by ocap)
2) memory safety attacks (mitigated by automatic memory management)
3) injection attacks (mitigated by not acting like string substitution is reasonable composition... it isn't, compose proper structures)
4) weakening crypto (keep paying cryptographers)
5) hardware vulnerabilities (we need user-auditable libre hardware)
6) DDOS'ing (outspend your opponent?)
What is the PDF format good for? Nothing
(submitted by pointfree)
haskus-utils-variant 1.0 http://hackage.haskell.org/package/haskus-utils-variant-1.0
J. S. Watler - Dynamic propositions as dynamic types
bleh Show more
There are 10 kinds of programmers:
- those who can't stand typing errors, distracting them from Real Work™
- those who can't stand trivial errors, e.g. due to a typo, going unnoticed
By the way, if you don't get the joke about 10, you're likely the former.
Browser: knock knock
Server: who's there?
Server: Mozilla who?
Browser: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36
Swearing is like spice: you should use it, for the language to have a taste.
But be very careful with the amount, or it all will just become a waste.
“Nice people made the best Nazis. My mom grew up next to them. They got along, refused to make waves, looked the other way when things got ugly and focused on happier things than “politics.” They were lovely people who turned their heads as their neighbors were dragged away. You know who weren’t nice people? Resisters.” - Naomi Shulman
Ceci n'est pas un twitter.
Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!