B W Bush @bwbush@functional.cafe

Idris 2 is out.

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 :

http://www.brendangregg.com/Perf/linux_perf_tools_full.svg

#Linux #Performance #Monitoring

SMS 2 factor is not security. Use anything else when you have the option. Also, Google Voice numbers aren't subject to these attacks.
https://www.engadget.com/2019/06/28/cell-phone-hack-is-ruining-lives-identity-theft/

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

The next time someone tries to use mathematical induction around you, just admonish them for making a slippery slope argument and move on

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.

https://www.wired.com/story/wave-photography/

Is your website green? Find out by dropping its url here: https://www.thegreenwebfoundation.org/

#ProductWithPurpose

https://existentialtype.wordpress.com/

Robert Harper's blog is public again!

These diagrams show the paths traced by Mercury, Venus, Mars, Jupiter and Saturn as seen from Earth.
Source : Fermat’s Library

Nice announcement outside the local bookstore.

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:

https://ipfs.io/

Also this:

https://beakerbrowser.com/

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

#CC #freeculture #publicdomain

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