programming   1197984

« earlier    

A curated directory of boilerplates to help jump start projects
development  web  programming  gallery  examples 
9 hours ago by mycotn
Emergent // Future - Facebook's AI Research, Google's speech recognition and more - Algorithmia
Emergent // Future – Facebook’s AI Research, Google’s speech recognition and more
algorithmia  programming 
9 hours ago by slogger
Learn TLA+
TLA+ is a formal specification language. It’s a tool to design systems and algorithms, then programmatically verify those systems don’t have critical bugs. It’s the software equivalent of a blueprint.
tla  specification  programming  typing  math  tutorial 
10 hours ago by jefframnani

« earlier    

related tags

3d  advantages  algorithm  algorithmia  algorithms  amazon  android  annotation  app  architecture  archiv  art  automation  awk  aws  bestpractice  bestpractices  bezier_curve  blog  boilerplate  book  books  c++  c  career  cartography  cdn  cedet  cheat.sheet  cheatsheet  children  classics  cli  closure  clustering  code  codeclub  coding  collaboration  comic  complexity  compsci  computer-science  computer  consider:open-systems  consider:simulations  cookbook  counters  crypto  css  culture  d3  daughter  david  design  dev  development  devops  directory  discussion  distributed  documentation  dwb  dynamical-systems  eca  edge  editing  editor  education  emacs  es6  example  examples  fjs  font  framework  front-end  functional  funny  gallery  game-dev  gamedev  github  golang  goodstuff  graphics  grids  gui  haskell  headerfiles  helloworld  howto  html  html5  humor  ide  innovation  interesting  ios  java  java8  javascript  jekyll  js  lambda  language  laravel  learning  library  linux  liquid  lisp  list  livecoding  logging  lua  map  maps  math  maths  middleware  mobile  monitoring  nodejs  online  oop  opensource  parsers  pattern  patterns  pdf  pep  performance  perspective  philosophy  php  pinboard  presentation  programming-talks  progressive-web-apps  project  projects  python  rather-interesting  react  reactive  reactjs  redux  reference  repo  repository  representation  resources  rxjs  scala  security  serverless  sets  socialmedia  software-engineering  software  softwaretesting  specification  stream  student  swift  templates  text-editor  theory  time  tips  tla  to-write-about  tool  toread  troubleshooting  tutorial  typing  unicode  university  unix  unread  uoguelph  useful  viasmashingmagazine  video  visualization  walsh  web-apps  web-development  web  webdesign  webdev  whitepaper  wikipedia  wordpress 

Copy this bookmark: