longlivedeath + tutorials   65

Fun with Fibonacci numbers
In this file, we try to illustrate a few ways in which Lisp allows you to free yourself from limitations to your thinking, and find elegant solutions to problems that are difficult to even understand when imprisoned in the mindset of less expressive languages.
tutorials  lisp  fibonacci  functional-programming 
october 2008 by longlivedeath
Diving into Git | Git, Ledger | New Artisans LLC
Про то, как в git можно издеваться над историей.
git  scm  version-control  tricks  subversion  svn  tutorials 
april 2008 by longlivedeath
Eternally Confuzzled - Red Black Tree Tutorial
Там и другие интересные статьи есть.
algorithms  c  data-structures  red-black-tree  tutorials 
april 2008 by longlivedeath
Formal methods: Reverse
A brief introduction to program proofs using Haskell and Isabelle/HOL
axiomatic-sematics  program-proofs  haskell  logic  computer-science  quickcheck  tutorials  isabelle 
september 2007 by longlivedeath

related tags

algorithms  analysis  artificial-intelligence  asm  axiomatic-sematics  blogs  books  buffer-overflow  c  c++  cas  codec  codedgers  compiler-construction  computer-science  concurrency  console  coq  cryptography  css  data-recovery  data-structures  debugging  deep-learning  django  documentation  dsl  dvcs  editor  emacs  emacs-lisp  embedded  epigram  erlang  exceptions  fibonacci  firefox  flow  forth  functional-programming  gcc  gdb  generators  git  gnu-r  gui  happs  haskell  howto  humor  interesting  ipc  isabelle  j  jit  latex  layout  libraries  lifehacks  links  linux  lisp  llvm  logic  logic-programming  machine-learning  macros  mathematical-logic  maxima  metaprogramming  monad  monads  multivariable-calculus  neural-networks  nix  ocaml  one-true-editor  oop  open-source  openmp  parallelism  parsing  personal-pages  problems  productivity  program-proofs  programming-languages-research  prolog  pycon  pyqt-4  python  python-generators  qt  qt-4  quickcheck  R  recovery  red-black-tree  reference  regular-expressions  scheme  scm  screen  security  shell  slides  smalltalk  software  squeak  stack  statistics  subversion  svn  tex  text  text-editing  text-processing  theorem-proving  tips  tools  toread  tricks  tutorials  twelf  type-theory  typography  unix  usability  version-control  vi  video-processing  videos  vim  web  webdesign  webdev  work  zen 

Copy this bookmark:



description:


tags: