longlivedeath + computer-science   148

История программирования в СССР. Часть I.
"Наткнулся в сети на любопытные воспоминания человека, работавшего с машинами аж с 1966 года. Хорошо, легко и, как мне кажется, объективно написано программистом - практиком, что особенно ценно для меня."
computer-science  interesting  history  toread 
august 2011 by longlivedeath
Categorical Logic
Записки лекций по категорной логике.
category-theory  categorical-logic  mathematical-logic  computer-science  topoi  type-theory 
april 2009 by longlivedeath
TeaCODE.com - Библиотека
Имеются любопытные слайды от Roland Backhouse.
links  books  slides  computer-science  reference  programming-languages-research 
december 2008 by longlivedeath
Design Concepts in Programming Languages | Web Supplement | Home
MIT'овский учебник для аспирантов по языкам программирования.
books  computer-science  programming-languages-research 
december 2008 by longlivedeath
My dad has more money than yours. « Mathematics and physics
Несчетные ординалы, оказывается, имеют применения в теории вычислимости.
computability-theory  computer-science  toread 
december 2008 by longlivedeath
CS 229: Machine Learning (Course handouts)
Хорошие конспекты по машинному обучению.
machine-learning  courses  slides  lecture-notes  computer-science  statistics 
december 2008 by longlivedeath
Stanford School of Engineering
Стэнфорд сделал аналог OCW. Имеется видео.
computer-science  stanford  courses  artificial-intelligence 
september 2008 by longlivedeath
SIOD: Scheme in One Defun
SIOD is a small-footprint implementation of the Scheme programming language that is provided with some database, unix programming and cgi scripting extensions.
scheme  functional-programming  computer-science  clever-hack 
september 2008 by longlivedeath
OBJ Family: OBJ3 CafeOBJ Maude Kumo FOOPS Eqlog
"OBJ" refers to the language family, while "OBJ2," "OBJ3", "CafeOBJ," "BOBJ," etc. refer to particular members of the family. The OBJ languages are broad spectrum algebraic programming and specification languages, based on order sorted equational logic, possibly enriched with other logics (such as rewriting logic, hidden equational logic, or first order logic), and providing the powerful module system of parameterized programming.
functional-programming  obj  tolookat  research  computer-science  programming-languages-research 
september 2008 by longlivedeath
Lucid Synchrone
Lucid Synchrone is an experimental language for the implementation of reactive systems. It is based on the synchronous model of time as provided by Lustre combined with some features from ML languages.
functional-programming  lucid-synchrone  tolookat  research  computer-science  programming-languages-research 
september 2008 by longlivedeath
CHARITY - Home Page
Charity is a categorical programming language currently being developed by The Charity Development Group in The Department of Computer Science at The University of Calgary, Canada.
functional-programming  category-theory  tolookat  research  computer-science  charity  programming-languages-research 
september 2008 by longlivedeath
Bart Jacobs (Index)
Дядя пишет книгу про коалгебры и вообще много интересного пишет.
category-theory  computer-science  personal-pages  coalgebras  bart-jacobs  tolookat  programming-languages-research 
may 2008 by longlivedeath
Компьютерные науки и информационные технологии. Библиотека ЮрИнфоР
Походу единственное место на сети, где продаётся книжка Вольфенгагена про комбинаторную логику + кое-какие труды по теории категорий.
computer-science  category-theory  combinatory-logic  wolfengagen  toread  programming-languages-research 
may 2008 by longlivedeath
Trishul M. Chilimbi
Товарищ исследует cache-conscious алгоритмы.
personal-pages  research  cache-conscious  papers  computer-science  algorithms  optimization 
may 2008 by longlivedeath
Bulletin of the European Association for Theoretical Computer Science
Since 2003 all issues of the EATCS Bulletin have been produced entirely electronically with colour pictures and made available on the web for members.
computer-science  papers 
may 2008 by longlivedeath
« earlier      
per page:    204080120160

related tags

acm  advanced  algorithmic-pearls  algorithms  articles  artificial-intelligence  audio  automata  axiomatic-sematics  bart-jacobs  blogs  books  c  cache-conscious  career  categorical-logic  category-theory  chaitin  charity  cheat-sheet  classics  clever-hack  clos  coalgebras  code  codedgers  combinatory-logic  compiler-construction  complexity-theory  compression  computability-theory  computation-theory  computer-architecture  computer-arithmetic  computer-science  computing  concurrency  conference  constructivism  coq  courses  csp  curry-howard  data-mining  data-structures  databases  denial-of-service  denotational-semantics  dependent-types  digial-signal-processing  dijkstra  discrete-mathematics  distributed-systems  documentation  dsl  dsp  ebook  ebooks  evolution  finite-state-machines  formal-methods  fun  functional-programming  geometry  google  graphics  hardware  haskell  history  howto  hpc  humor  inspiration  interesting  interpreters  interview  intuitionism  isabelle  languages  lecture-notes  lectures  leslie-lamport  libraries  linear-algebra  links  lisp  logic  logic-programming  lucid-synchrone  machine-learning  math  mathematical-logic  metaprogramming  microsoft-research  minsky  ml  monads  motivation  network-programming  obj  object-oriented  ocaml  oop  optimization  oscon-2007  pagerank  palindrome  papers  parallelism  parsing  performance  personal-development  personal-pages  philosophiae-doctor  philosophy  philosophy-of-mind  physics  postscript  presentation  presentations  probability  productivity  program-analysis  program-proofs  programming-languages-research  puzzle  python  quantum-computing  quickcheck  random-numbers  reading  realizability  reference  register-allocation  research  research-skills  scheme  science  scientific-computing  security  sigfpe  slides  smalltalk  source-code  speaking  squeak  stanford  state-machines  static-checking  statistics  string-matching  suffix-trees  testing  text-processing  theorem-proving  theory  tips  tolookat  tools  topoi  toread  towatch  tutorials  type-hackery  type-theory  video  videos  visualization  wolfengagen  words-of-wisdom  writing 

Copy this bookmark:



description:


tags: