^^Links di Informatica

Nel librosito

python dove mettere i link: Resources for learning & teaching python.

 

 

  1. Timeline of computer science

    1963 At MIT, Joseph Weizenbaum develops ELIZA, the now-famous program that simulates conversation between a Rogerian psychotherapist and a patient
    1982 Michael Fischer, Nancy Lynch, and Michael Paterson prove that it’s impossible to reach consensus in an asynchronous distributed system if there’s even a single faulty processor

  2. wp/Chomsky_hierarchy
  3. Perhaps the true inventors of binary arithmetic were British wine merchants

  1. Computational thinking
  2. Notation as a Tool of Thought
  3. 10-technical-papers-every-programmer-should-read-at-least-twice/
  4. http://www.cs.uni.edu/~wallingf/blog/archives/monthly/2014-06.html#e2014-06-19T14_11_09.htm
    1. http://userpage.fu-berlin.de/~ram/pub/pub_jf47ht81Ht/doc_kay_oop_en
  5. Memoization
  6. Timeline of computer scienc
  7. http://unetbootin.sourceforge.net/
  8. 20 Questions for Donald Knuth
  9. KIDS REACT TO OLD COMPUTERS
  10. github.com/blog/1840-improving-github-for-science
  11. buffers
  12. Computing Science Education: The Road not Taken
  13. Software

  14. good-old-regular-expressions
  15. state-machines-computer-science
  16. how-do-trigonometric-functions-work
  17. tensor-products-introduced-as-most-general-multiplication-and-as-lazy-evaluation
  18. How recursion got into programming: a comedy of errors
  19. generating-poisson-random-values
  20. why-computers-have-signed-zero
  21. 21luglio2012 Watershed_image_processing
  22. ACID versus BASE for database transactions

  23. 3dic2012 Utah_teapot
  24. Linguaggi

  25. creating-ruby-with-yukihiro-matsumoto-matz-recorded-live-in-japan
  26. who-killed-prolog
  27. FP Functional programming

    1. A Very Gentle Introduction To Relational & Functional Programming
    2. yet-another-monad-tutorial/
    3. Learn You a Haskell for Great Good!
    4. Brian Beckman: Don't fear the Monad
    5. http://cstheory.stackexchange.com/questions/21705/what-is-the-contribution-of-lambda-calculus-to-the-field-of-theory-of-computatio
  28. Criptografia

  29. Key_server_cryptographic
  30. Public-key_cryptography
  31. https://www.gnupg.org/ The GNU Privacy Guard
  32. https://www.enigmail.net/home/index.php
  33. http://it.wikipedia.org/wiki/Logica_proposizionale
  34. Games

  35. The Smallest Game of Chess Takes Up Just 487 Bytes
  36. 2048_videogioco
  37. THREE STICKS - A board game on geometry
  38. Hardware

  39. raspberrypi
  40. new-cpu-features
  41. Arduino – Schede da computer e Starter Kit - RS Components

    Massimo Banzi: How Arduino is open-sourcing imagination

    http://www.arduino.cc/

 

Persone

  1. Interview with Donald Knuth.  Apr 25, 2008
  2. matt.might.net  es  nine-kinds-of-students
  3. http://gabrielecirulli.github.io/2048/
  4. http://it.hackmeeting.org/programma/
  5. Eli

    getters-and-setters-in-python | wp/Getter/setter

    how-python-affected-my-cc-brace-style/

    Regex-based lexical analysis in Python and Javascript

     

     

 

 

Ramsey Musallam: 3 rules to spark learning

Introduction to Higher Mathematics - Lecture 3: Propositional Logic

 

 

the-abject-failure-of-weak-typing

Coq selected as recipient of the 2013 Software system Award

Why and How to Start Your SICP Trek

RDF Resource Description Framework. RDFS = RDF Schema.

Ambienti di programmazione per imparare a programmare

https://code.google.com/p/pyprocessing/

http://kivy.org/docs/gettingstarted/intro.html

Snap: Build Your Own Blocks

wp/Node_graph_architecture

 

gspread — Google Spreadsheets Python library

wp/Games_for_Change

http://www.wolframalpha.com/input/?i=solve+x+%3D+x^2+-2

grammars-bnf-ebnf | logical-literacy | implementation-of-recursive-fixed-point-y-combinator-in-javascript-for-memoization

Collection of Software Bugs

YAML

wp/Non-breaking_space          in HTML it prevents the “collapsing” of multiple consecutive whitespace characters into a single space

http://www.nataliavisalli.it/levis/

http://www.mathjax.org/

http://www.docear.org/

Cybergeography atlas of cyberspace

Curry-Howard_correspondence the direct relationship between computer programs and mathematical proofs

 

 

wp/Yaml | PyYAMLDoc

ply  Python Lex-Yacc

 

  1. LLVM Low Level Virtual Machine. Intermediate low level language. Many languages can compile to LLVM, typycally C/C++
  2. Asm.js  subset of JavaScript to serve as an intermediate language.
    1. OdinMonkey, un module asm.js destiné à améliorer la vitesse d'exécution des scripts dans le navigateur Mozilla Firefox.
    2. mozilla.org/blog/2013/03/27
  3. Emscripten compile LLVM to Asm.js, i.e. JavaScript
  4. bananabread. Demo studio. MDN Mozilla Developer Network.
  5. WebRTC Web Real-Time Communication

 

http://www.johndcook.com/blog/2010/10/20/good-old-regular-expressions/

 

http://www.wildbunny.co.uk/blog/2011/04/06/physics-engines-for-dummies/

http://get.webgl.org/

https://wiki.mozilla.org/Blocklisting/Blocked_Graphics_Drivers#NVIDIA_cards

http://www.ted.com/talks/view/lang/en//id/1491

The Era of Symbol Fonts

CSS @ Ten: The Next Big Thing

 

http://queue.acm.org/detail.cfm?id=2349257&ref=fullrss KP Freds | Mon, 20 Aug 2012 16:10:45 UTC

 

http://en.wikipedia.org/wiki/Dataflow_programming

http://en.wikipedia.org/wiki/Peter_Principle

 

18Ago2012 Mobot Mobile Robot | Meme | mofarahrunningawayfromthings

9ago2012 http://it.wikipedia.org/wiki/ASCII_art | ascii_art

Vocabolario >>>

 

"There will always be things we wish to say in our programs that in all known languages can only be said poorly." -- Alan Perlis