I just filled the 2019 Haskell survey.
Maybe you want, too?
Finished upgrade to #NixOS 19.09, which was incident-free, but a nice opportunity to clean up and organize my custom derivations: https://bitbucket.org/functionally/nix-derivations.
Upgrading to #NixOS 19.09 today . . . so far it's been pretty straightforward with just a couple of broken packages (qgis and flashprint).
A synthetic view of the Linux performance tools by Brendan Gregg.
Link below is for the SVG version so you can zoom in your browser :
An Experimental Evaluation of the Assumption of Independence in Multi-Version Programming, by John Knight and Nancy Leveson http://sunnyday.mit.edu/papers/nver-tse.pdf
If you take bunch of programs written independently, are you more likely to reduce bugs by taking the most common output?
Free monads of free monads
https://blog.poisson.chat/posts/2019-06-09-free-monads-free-monads.html
Short video by Adam Luxton about Dane Mitchell: "Post Hoc - Former nations, extinct species, dead languages, discontinued software…multidisciplinarian Dane Mitchell pays homage to the paraphernalia of the past at this year’s Venice Biennale"
i wrote about my experiences with representing comparisons in my edsl through typeclasses https://empty.town/blog/posts/2019-05-17-overthinking.html
Waves captured using telescopic lenses and an ultra-fast 1,000 frames/second shutter speed during Storm Imogen.
Is your website green? Find out by dropping its url here: https://www.thegreenwebfoundation.org/
https://existentialtype.wordpress.com/
Robert Harper's blog is public again!
Every time I see the Hacker Ethic praised without critically challenging its shortcomings, I have to think of "Programming is Forgetting: Toward a New Hacker Ethic" by Allison Parrish and wish it was more popular. You can read the transcript here http://opentranscripts.org/transcript/programming-forgetting-new-hacker-ethic/
TIL: #bash provides pseudo devices for TCP and UDP connections:
echo "hello" > /dev/udp/127.0.0.1/1337
or
exec 5<>/dev/tcp/www.google.com/80
echo -e "GET / HTTP/1.0\n" >&5
cat <&5
I'm baffled how I've never discovered that until today.
So this is exciting to me:
Also this:
Host your own website. Do fun stuff and control it all!
This is awesome. Just learned that #CreativeCommons has launched a search engine for free content in the public domain and under Creative Commons licenses : https://search.creativecommons.org
Why Docker is not the answer to reproducible research, and why Nix may be https://web.archive.org/web/20160513030336/https://blog.wearewizards.io/why-docker-is-not-the-answer-to-reproducible-research-and-why-nix-may-be
égalité et camaraderie
मेत्ता करुणा मुदिता उपेक्खा