?
LiveJournal
Find more
Communities
RSS Reader
Shop
Help
Login
Login
CREATE BLOG
Join
English
(en)
English (en)
Русский (ru)
Українська (uk)
Français (fr)
Português (pt)
español (es)
Deutsch (de)
Italiano (it)
Беларуская (be)
leonardo_m
—
Subscribe
Readability
Log in
No account?
Create an account
Remember me
Forgot password
Log in
Log in
Facebook
Twitter
Google
Links - leonardo
View:
Recent Entries
.
View:
Archive
.
View:
Friends
.
View:
Profile
.
View:
Website (My Website)
.
May 18th, 2015
Tags:
links
Security:
Subject:
Links
Time:
06:50 pm
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
comments:
Leave a comment
Comments:
Links - leonardo
View:
Recent Entries
.
View:
Archive
.
View:
Friends
.
View:
Profile
.
View:
Website (My Website)
.