News:

A new image of Chakasa Bluefire:
http://www.fantascienza.net/leonardo/im/index.html#bluefire_by_taru_2015

New software:
http://www.fantascienza.net/leonardo/js/index.html#backtracking

---------------

Links:

The Case for Formal Verification:
http://permalink.gmane.org/gmane.comp.encryption.general/14818

Why History isn't Scientific (And Why It Can Still Tell Us About the Past):
http://armariummagnus.blogspot.it/2013/11/why-history-isnt-scientific-and-why-it.html

Nice data structures of LLVM: http://llvm.org/devmtg/2014-04/PDFs/LightningTalks/data_structure_llvm.pdf

Paper Microscope:
http://www.youtube.com/watch?v=h8cF5QPPmWU

Reinventing Git interface:
http://tonsky.me/blog/reinventing-git-interface/

Nice intro to some parts of functional programming:
http://www.slideshare.net/ScottWlaschin/railway-oriented-programming

An interesting usage case study of SPARK (a safer Ada dialect) for critical robot navigation code:
http://www.spark-2014.org/uploads/spark-robot-navigation-iros2014.pdf

A shallow survey of formal methods for C code:
https://www.imperialviolet.org/2014/09/07/provers.html

A Derivation of Conway’s Degree-71 "Look-and-Say" Polynomial
http://www.njohnston.ca/2010/10/a-derivation-of-conways-degree-71-look-and-say-polynomial/

"The Unreasonable Effectiveness of Dynamic Typing for Practical Programs" by Robert Smallshire:
http://vimeo.com/74354480

Refined types: a better type system for more secure software:
https://github.com/tomprimozic/type-systems/tree/master/refined_types

Should Airplanes Be Flying Themselves?
http://www.vanityfair.com/business/2014/10/air-france-flight-447-crash

Types and Testing in Haskell, by Daniel Patterson:
http://dbp.io/static/types-testing-haskell-meetup-2014.pdf

Functional Programming Patterns:
http://www.slideshare.net/ScottWlaschin/fp-patterns-buildstufflt
http://schd.ws/hosted_files/buildstuff14/c5/Fp_Patterns.pptx

Comparing Rust and C++:
http://kukuruku.co/hub/rust/comparing-rust-and-cpp

Analysis of Chutes and Ladders:
http://www.datagenetics.com/blog/november12011/index.html

Mathematical speculations about bees:
http://aperiodical.com/2015/01/apiological-mathematical-speculations-about-bees-part-1-honeycomb-geometry/

The Reindeer Riders, with wonderful photos:
http://www.messynessychic.com/2015/02/25/the-reindeer-riders/

Engineers of addiction, on slot machines:
http://www.theverge.com/2015/5/6/8544303/casino-slot-machine-gambling-addiction-psychology-mobile-games

Addictions and their sources:
http://www.iflscience.com/health-and-medicine/many-people-use-drugs-here-s-why-most-don-t-become-addicts

Whale tongue nerves are elastic:
http://www.theglobeandmail.com/news/british-columbia/new-findings-on-whale-tongues-may-lead-to-clues-on-human-nerve-damage/article24251250/

Religion against religion:
http://www.slate.com/blogs/xx_factor/2015/05/04/satanists_in_missouri_they_argue_that_the_state_s_waiting_period_for_abortion.html

Living with being dead:
https://medium.com/matter/living-with-being-dead-844b4b1e668

You don't need to be genius to do mathematics:
http://www.wsj.com/articles/the-wrong-way-to-treat-child-geniuses-1401484790

A warm blooded fish and its adaptations:
http://news.sciencemag.org/biology/2015/05/scientists-discover-first-warm-bodied-fish

Friendships and gift economy used for better business:
http://www.theguardian.com/media/2015/may/07/how-friendship-became-tool-of-powerful