Note: Research
Papers that have had more or less influence on Rust, or which one might want to consult for inspiration or to understand Rust's background.
rust  programming-languages-research  papers  links 
august 2013
A Mercury Colony?
There is a good reason for colonizing another planet, which is to avoid extinction if the Earth is hit by a 10km or larger asteroid, as has happened many times in the Earth's history. Colonization of Mercury appears to be a very real and practical possibility, whereas colonization of Mars or the other planets, moons or asteroids is really more in the realm of fantasy.
space 
august 2013
The HoTT Book | Homotopy Type Theory
Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and type theory. It touches on topics as seemingly distant as the homotopy groups of spheres, the algorithms for type checking, and the definition of weak ∞-groupoids. Homotopy type theory offers a new “univalent” foundation of mathematics, in which a central role is played by Voevodsky’s univalence axiom and higher inductive types. The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning — but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant. We believe that univalent foundations will eventually become a viable alternative to set theory as the “implicit foundation” for the unformalized mathematics done by most mathematicians.
programming-languages-research  homotopy-type-theory  type-theory 
june 2013
The Quipper Language
Quipper is an embedded, scalable functional programming language for quantum computing.
tolookat  programming-languages-research  quantum-computing 
june 2013
Mest alkohol konsumeras i Stockholm | Inrikes | SvD
Apparently, Northern Sweden is a land of (relative) abstinence from alcohol.
sweden 
may 2013
« earlier      
60s afghanistan agda algebra algorithmic-pearls algorithms architecture array-programming art articles artificial-intelligence asm assembly audio audiophilia bash beauty blogs books boost brain browser c c++ c++11 career cas category-theory cheat-sheet clever-hack code codedgers compiler-construction complexity-theory compression computation-theory computer-architecture computer-graphics computer-science concurrency conference consciousness cooking coq courses cryptography css culture dark-corners data-structures databases debugging dependent-types design design-patterns development distributed-systems django documentation drugs dsl ebooks economics editor education emacs emacs-lisp emacs-modes encryption english ergonomics erlang exceptions faq finance firefox fitness floating-point formal-methods forum fun functional-pearls functional-programming functional-reactive-programming game game-physics gamedev garbage-collection gcc ghc git gnu gnu-r google grammar graph-theory graphics group-theory gtd hacking hardware hash hashing haskell hci health hi-fi history howto html humor i18n ie inspiration interesting internet interview iran j java javascript kernel keyboard language languages latex laziness lecture-notes lectures libraries lifehacks linear-algebra linguistics links linux lisp literature llvm lock-free logic logic-programming low-level machine-learning math mathematical-logic maxima memory memory-management metaphysics metaprogramming mit monads motherland motivation movies multi-core music network network-programming nix nootropics nosql number-theory numerical-methods object-oriented ocaml one-true-editor oop open-source operating-systems optimization org-mode papers parallelism parsing pathfinding pdf performance persian personal-development personal-pages philosophiae-doctor philosophy photography physics politics popular-mathematics popular-science presentation probability procrastination productivity program-analysis programming-languages-research prolog psychedelia psychology puzzles python quantum-computing r reading recreational-mathematics reference regular-expressions research research-skills resume rsi russia russian scheme science scm security set-theory shell sigfpe slides smartdrugs software software-architecture software-engineering software-watermarking statistics stl string-theory style subversion svn test-driven-development testing tex theorem-proving theory tips tolookat tools topology toread towatch tricks tutorials type-hackery type-theory typography ubuntu unicode unix usability version-control videos vim vista visualization web webdesign webdev windows work writing xhtml youtube zsh

Copy this bookmark:



description:


tags: