longlivedeath + links   120

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 by longlivedeath
CS262a - Advanced Topics in Computer Systems
CS262a is the first semester of a year-long sequence on computer systems research, including operating systems, database systems, and Internet infrastructure systems. The goal of the course is to cover a broad array of research topics in computer systems, and to engage you in top-flight systems research. The first semester is devoted to basic thematic issues and underlying techniques in computer systems, while the second semester goes deeper into topics related to scalable, parallel and distributed systems. The class is based on a discussion of important research papers and a research project.
papers  links 
december 2011 by longlivedeath
MathOnline - Home
MathOnline is the place where you can find and collect your mathematical resources. Books, lecture notes, survey articles and more are all welcome, especially from the undergraduate level on, up to research texts.
math  books  links  reference 
july 2010 by longlivedeath
Amazon.com: "A Balanced Foundation In Mathematics"
Полезные ссылки на конспекты лекций.
amazon  algebra  links 
february 2009 by longlivedeath
TeaCODE.com - Библиотека
Имеются любопытные слайды от Roland Backhouse.
links  books  slides  computer-science  reference  programming-languages-research 
december 2008 by longlivedeath
« earlier      
per page:    204080120160

related tags

60s  advice  afghanistan  akka  algebra  algorithms  amazon  apl  architecture  array-programming  art  articles  artificial-intelligence  avva  blogs  books  bytecode  c  c#  c++  category-theory  coinduction  collision-detection  compiler-construction  computer-science  concurrency  conference  coq  courses  dark-corners  data-mining  data-structures  databases  debugging  dependent-types  design  development  devops  distributed-systems  download  ebooks  economics  education  elf  emacs  emacs-modes  evangelism  farsi  finance  folk  forum  forums  free  freeware  functional-programming  game-physics  gamedev  git  google  graph-theory  graphics  hardware  haskell  interesting  interpreters  j  jit  krautrock  language  languages  lecture-notes  libraries  linguistics  links  linux  lock-free  logic-programming  low-level  lua  machine-learning  math  metaprogramming  monads  monoids  mp3  multi-core  music  music-blog  natural-language-processing  nosql  oborona  ocaml  one-true-editor  optimization  oscon-2007  papers  parallelism  performance  persian  personal-development  personal-pages  philosophiae-doctor  physics  presentations  prog  program-analysis  programming-languages-research  proof-theory  propaganda  psychedelia  psychedelic-rock  psychology  punk  python  reference  referential-transparency  research  research-skills  rust  scala  scientific-computing  scm  separation-logic  serbian  sigfpe  slides  software  software-architecture  software-engineering  srpski-jezik  ssd  statistics  svn  theorem-proving  theory  tolookat  tools  toread  tutorials  type-theory  undefined-behaviour  virtual-machines  vm  webdesign  webdev  x86  yoneda-lemma 

Copy this bookmark: