Pinboard: bookmarks for stuhlmueller tagged 'programming'

Convinced me of its greatness with the first sentence I read: "If you're the sort of horrible person who doesn't read introductions to things and you skipped it, [...]"

haskell programming tutorial
october 2008 by stuhlmueller

copy to mine

Growing a Language (pdf)

Experimental talk: Defines its terms and says everything else in words of one syllable. I wish philosophical essays were written in this style.

compsci language programming
october 2008 by stuhlmueller

copy to mine

Polynomial Programming Language

Proposes a language in which only all polynomial time computable functions can be programmed. A useful constraint for artificial intelligence based on program search?

compsci programming complexity ai
april 2008 by stuhlmueller

copy to mine

[the] xxxxx [reader]

Thought movement opposed to entropic contemporary economies. Electromysticism replaces transparency, code-driven art liberates software from the machinic.

art programming science culture
february 2008 by stuhlmueller

copy to mine

Sometimes all functions are continuous

For functions from N to N, all reasonable models of computation are equivalent to Turing machines. At higher types, questions of representation become important, and it does matter which model of computation is used.

math programming compsci
february 2008 by stuhlmueller

copy to mine

Interesting higher-order functionals

"Functionals are higer-order functions, i.e., functions that take functions as arguments or return them as results. [..] Understanding every next level of functionals requires new concepts and fresh ideas. We have not come very far."

math programming compsci
february 2008 by stuhlmueller

copy to mine

Phenotropics

Suggests to replace the current model of connecting software components (protocol adherence, chaotic failure modes) by pattern recognition (graceful error-tolerance).

compsci programming software evolution
december 2007 by stuhlmueller

copy to mine

Lisp in Python

A translation of the original Lisp to Python in about 150 lines of code. Impressive.

python lisp programming compsci
july 2007 by stuhlmueller

copy to mine

Prolog in Python, Version 3

Prolog implemented in 250 lines of readable Python code. Now tell me you don't love Python!

python programming compsci prolog
july 2007 by stuhlmueller

copy to mine

Alligator Eggs!

A sneaky way to introduce the Lambda Calculus. Guess I need kids.

lambda-calculus compsci functional programming
may 2007 by stuhlmueller

copy to mine

Stackless Python

An enhanced version of the Python programming language. It allows programmers to reap the benefits of thread-based programming without the performance and complexity problems associated with conventional threads.

python threads programming
may 2007 by stuhlmueller

copy to mine

Speagram

Speagram is meant as a communication tool to bridge the conceptual gap between the natural thinking of a human being and the way computers need to be programmed or queried.

programming natural language parser semanticweb
may 2007 by stuhlmueller

copy to mine

λ Prolog

Lambda Prolog is a logic programming language featuring polymorphic typing, modular programming, and higher-order programming. It can capture higher-order abstract syntax and thus map object-level bindings to programming language bindings.

compsci prolog logic programming
may 2007 by stuhlmueller

copy to mine

Wizard Book

An excellent computer science text used in introductory courses at MIT. One of the bibles of the LISP/Scheme world.

programming compsci scheme lisp
april 2007 by stuhlmueller

copy to mine

Prolog Tutorial

This tutorial is intended to be used to help learn the essential, basic concepts of Prolog. The sample programs have been especially chosen to help promote the use of Prolog programming in an artificial intelligence course.

prolog programming tutorial
april 2007 by stuhlmueller

copy to mine

John's Combinatory Logic Playground

"This design of a minimalistic universal computer was motivated by my desire to come up with a concrete definition of Kolmogorov Complexity, which studies randomness of individual objects."

compsci complexity algorithms programming
april 2007 by stuhlmueller

copy to mine

The Nature of Code

Syllabus and notes from an ITP class called The Nature of Code, which focuses on "the programming strategies and techniques behind computer simulations of natural systems". Lots of good notes and Processing code examples.

programming processing compsci math
march 2007 by stuhlmueller

copy to mine

6.844 Computability Theory of and with Scheme

6.844 is a graduate introduction to programming theory, logic of programming, and computability, with the programming language Scheme used to crystallize computability constructions and as an object of study itself.

scheme programming lisp mit compsci
march 2007 by stuhlmueller

copy to mine

The Mizar Project

The Mizar project started around 1973 as an attempt to reconstruct mathematical language in a computer-oriented environment. The most important activity has been the development of a database for mathematics.

math logic programming compsci database
march 2007 by stuhlmueller

copy to mine

Python for Lisp Programmers

"Python supports all of Lisp's essential features except macros, and you don't miss macros all that much because it does have eval, and operator overloading, and regular expression parsing, so you can create custom languages that way."

python lisp programming languages
march 2007 by stuhlmueller

copy to mine

Elegant Lisp Programs (Chaitin)

Call a program "elegant" if no smaller program has the same output. I.e., a LISP S-expression is defined to be elegant if no smaller S-expression has the same value. It is impossible to prove that any particular large program is elegant.

chaitin gödel math copsci lisp programming
march 2007 by stuhlmueller

copy to mine

Teach Yourself Scheme in Fixnum Days

This is an introduction to the Scheme programming language. It is intended as a quick-start guide, something a novice can use to get a non-trivial working knowledge of the language, before moving on to more comprehensive and in-depth texts.

scheme programming language
march 2007 by stuhlmueller

copy to mine

Monads in functional programming - Wikipedia, the free encyclopedia

Monads are used in functional programming to express input/output (I/O) operations and changes in state without using language features that introduce side effects.

functional programming haskell compsci
march 2007 by stuhlmueller

copy to mine

Ninety-Nine Lisp Problems

99 problems in list processing, arithmetic, logic, codes, data structures, graphs, sudoku, etc.

lisp programming tutorial
january 2007 by stuhlmueller

copy to mine

Teach Yourself Programming in Ten Years

It takes about ten years to develop expertise in any of a wide variety of areas, including chess playing, music composition, painting, piano playing, swimming, tennis, and research in neuropsychology and topology. There appear to be no real shortcuts.

learning programming philosophy
january 2007 by stuhlmueller

copy to mine

Anything You Can Do, I Can Do Meta (Technology Review)

"Simonyi believes he can solve a host of stubborn problems that have always plagued computers by offering everyone who uses them, and the coders who program them, a higher-order view of software."

software programming technology meta
january 2007 by stuhlmueller

copy to mine

Programming in Syn

What if the syntax and semantics of a programming language were specified in a library, rather than built into the language, and thus could be swapped or extended at will just like any other library?

programming lisp syn
january 2007 by stuhlmueller

copy to mine

BitBucket - Experimenting with Amazon S3 Service in Python

Python code to experiment with (and possibly develop for) Amazon's S3.

amazon s3 python storage programming
january 2007 by stuhlmueller

copy to mine

Project Euler

Project Euler is a series of challenging mathematical/computer programming problems that will require more than just mathematical insights to solve.

math programming compsci
january 2007 by stuhlmueller

copy to mine

Google Code Search

Search public source code.