Scalatron
18 days ago by al3x
Scalatron is a multi-player programming game in which bot programs written in Scala compete against each other.
scala
game
education
from readability
18 days ago by al3x
OCW Scholar | MIT OpenCourseWare
january 2011 by al3x
"designed for independent learners who have few additional resources available to them"
education
mit
math
science
from instapaper
january 2011 by al3x
Coding Kata
april 2010 by al3x
"Train your programming skills with ready-made 'Code Katas' and learn from fellow coders' solutions!"
programming
practice
education
kata
april 2010 by al3x
Clojure Concurrency On-Demand!
april 2010 by al3x
"We'll examine just enough Clojure syntax to allow us to delve into this approach to managing concurrency-based complexity. No previous exposure to Clojure is assumed or required."
clojure
video
education
april 2010 by al3x
Brigitte Pientka
october 2009 by al3x
"My research interest lies in developing a theoretical and practical foundation for building and reasoning about reliable safe software systems. To achieve this goal, I combine theoretical research on the logical foundations of computer science in programming languages and verification with system building. The topics I am interested in include logics (classical and non-classical), type theory, theorem proving, logic and functional programming, and logical frameworks."
person
education
research
typing
logic
verification
october 2009 by al3x
MIT OpenCourseWare | Electrical Engineering and Computer Science | 6.004 Computation Structures, Fall 2002 | Home
september 2009 by al3x
"an introduction to the engineering of digital systems"
education
compsci
mit
electronics
september 2009 by al3x
S-99: Ninety-Nine Scala Problems
march 2009 by al3x
"an adaptation of the Ninety-Nine Prolog Problems written by Werner Hett at the Berne University of Applied Sciences in Berne"
scala
education
march 2009 by al3x
Visual Understanding Environment
february 2009 by al3x
"an Open Source project based at Tufts University. The VUE project is focused on creating flexible tools for managing and integrating digital resources in support of teaching, learning and research"
mindmapping
visualization
education
opensource
february 2009 by al3x
Viewpoints Research Institute
september 2008 by al3x
"a 501(c)(3) nonprofit public benefit organization incorporated in 2001 to improve "powerful ideas education" for the world's children and to advance the state of systems research and personal computing"
alankay
education
research
nonprofit
compsci
september 2008 by al3x
Online Education Free
january 2007 by al3x
"massive resource list for all autodidacts"
education
reference
free
directory
january 2007 by al3x
related tags
alankay ⊕ archive ⊕ book, ⊕ clojure ⊕ compsci ⊕ datamining ⊕ directory ⊕ distributed ⊕ education ⊖ electronics ⊕ free ⊕ game ⊕ infosec ⊕ javascript ⊕ kata ⊕ language ⊕ link ⊕ list ⊕ list, ⊕ logic ⊕ math ⊕ math, ⊕ mindmapping ⊕ mit ⊕ network ⊕ nonprofit ⊕ opensource ⊕ p2p ⊕ paper ⊕ pdf ⊕ person ⊕ philosophy ⊕ practice ⊕ presentation ⊕ probability ⊕ programming ⊕ punk ⊕ puzzle ⊕ reference ⊕ research ⊕ scala ⊕ science ⊕ slides ⊕ typing ⊕ verification ⊕ video ⊕ virtualmachine ⊕ visualization ⊕ vmware ⊕ webapp ⊕ windows ⊕Copy this bookmark: