Blogs about: Literate Programming
Featured Blog
A taste of Curry
Curry is a programming language that integrates functional and logic programming. Last week, Denis Firsov and I had a look at Curry, and Thursday, I gave an introductory talk about Curry in the Theory… more →
Wolfgang Jeltsch
A taste of Curry
— 4 comments
wrote 3 weeks ago: Curry is a programming language that integrates functional and logic programming. Last week, Denis F … more →
MIU in Haskell
— 6 comments
wrote 1 month ago: In the Theory Lunch of the last week, James Chapman talked about the MU puzzle from Douglas Hofstadt … more →
Literate Programming Links
wrote 1 month ago: Literate Programming EN Wikipedia Article Donald Knuth’s Book Org-Babel Mode ## Edit Your R Co … more →
Funky C for literate programming
— 8 comments
wrote 2 months ago: 1 Main ideas 2 Lack of tuples 3 Folding over arrays 4 Deallocating stuff 5 Discriminated unions 6 Ma … more →
Introducing iQ
— 1 comment
wrote 2 months ago: I’m working on a new language. It’s called iQ. iQ stands for “iXBRL Query”, … more →
Saving Org-Mode Source Blocks
wrote 2 months ago: Muscle memory is a powerful thing. When I practice literate programming (a current project is stack … more →
The Constraint kind
— 3 comments
wrote 3 months ago: A recent language extension of the Glasgow Haskell Compiler (GHC) is the Constraint kind. In this bl … more →
Some interesting features of Haskell’s type system
— 1 comment
wrote 3 months ago: One of the most important ingredients of Haskell is its type system. Standard Haskell already provid … more →
The five programming books that meant most to me
— 7 comments
wrote 4 months ago: Going through my RSS feeds this morning after a week away, I see this post from DHH at 37 Signals: T … more →
LLite : language friendly literate programming
— 1 comment
wrote 5 months ago: 1 Main ideas 1.1 Unhappiness with existing tools 1.2 A different interpretation 1.3 Multi-language, … more →
IPython vs RStudio+knitr
wrote 6 months ago: At a meeting last night with some collaborators at the Vélobstacles project, I was excitedly told ab … more →
Source Code Pro -- Adobe's New Programmer's Typeface
wrote 7 months ago: I’ve been interested in the issues surrounding how typography and layout can aid or impede dev … more →
Reading code
— 9 comments
wrote 9 months ago: Writing good code is all about making it fit for human consumption. Any idiot can write code a compu … more →
The Art of the Comment
wrote 10 months ago: In Search of an Intelligent Software Documentation System In one of my earliest jobs as a profession … more →
Dependently typed programming and theorem proving in Haskell
— 5 comments
wrote 1 year ago: Programming languages with dependent types allow us to specify powerful properties of values using t … more →
R Workshop: Reproducible Research using Sweave for Beginers
— 1 comment
wrote 1 year ago: Monday, April 30, 2012 14h-16h. Stewart Biology Rm w6/12 (Montreal) guRu: Denis Haine (Université d … more →
New release of the ucs LaTeX package
— 4 comments
wrote 1 year ago: The ucs package provides advanced support for using UTF-8 as the input encoding of LaTeX files. It g … more →
What is the Highest Sum of a Number Triangle?
— 3 comments
wrote 1 year ago: A Description of the Problem We are given a triangle of numbers, and we are asked to write a program … more →
AMS Notices article on computational mathematics
wrote 1 year ago: There is an article in the 2012 February issue of the AMS Notices on computational mathematics. The … more →
