michael-mccracken.net » programming

Links for January 11th

mike — Fri, 27 Jan 2012 16:52:23 +0000

My shared links for January 11th:

Welcome to ELPA – emacs lisp package archive
OCaml for the Masses – ACM Queue – Why the next language you learn should be functional by Yaron Minsky, Jane Street Sometimes, the elegant implementation is a function. Not a method. Not a class. Not a framework. Just a function. – John Carmack
Elsevier-funded NY Congresswoman Carolyn Maloney Wants to Deny Americans Access to Taxpayer Funded Research –
byrd and belle – Nice looking sleeves with wool felt and leather

Links for January 20th through January 21st

mike — Mon, 23 Jan 2012 01:50:28 +0000

My shared links for January 20th through January 21st:

Mail Pilot: Email Reimagined by Josh Milas & Alex Obenauer — Kickstarter –
“Getting Into Modeling With CouchCocoa” –
Galois – Home – Contract Research organization in Portland who makes use of functional programming.
Book: Real World Haskell – Full text of book “real world haskell”
Programming in Haskell – well-reviewed intro haskell book
Joe Duffy’s Weblog : A (brief) retrospective on transactional memory – Not really brief. Lots of interesting detail about TM in practice.
How to read Haskell like Python : Inside 233 –

Links for January 12th through January 18th

mike — Thu, 19 Jan 2012 16:44:11 +0000

My shared links for January 12th through January 18th:

Steven Frank: Notes: Home –
CVXPY documentation — CVXPY v0.0.1 documentation – Optimization, uses Disciplined Convex Programming
Progression: Supporting Optimisation in Haskell « Communicating Haskell Processes – Tools for benchmarking haskell performance
1.-Environment setup –
The GNU Prolog web site – Free GNU Prolog – supports ISO
The Ciao System – "Ciao is a general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented programming styles. Its main design objectives are high expressive power, extensibility, safety, reliability, and efficient execution"
Marmalade: Spreadable Elisp – A repository for elisp packages. Uses ELPA. Didn't work when I tried it, but maybe a firewall issue?
Haddock Documentation Generator for Haskell – Really nice documentation generator for Haskell code. I particularly like the synopsis tab.
Archives of the Caml mailing list > Message from Xavier Leroy [2002] – From 2002: "In summary: there is no SMP support in OCaml, and it is very very unlikely that there will ever be. If you're into parallelism, better investigate message-passing interfaces."
Archives of the Caml mailing list > Message from Benjamin C. Pierce – Lots of links about CPS and continuations in Ocaml and others.

Links for December 13th through December 19th

mike — Tue, 27 Dec 2011 17:12:58 +0000

My shared links for December 13th through December 19th:

Treatment and Side Effect Info from Patients Like You : PatientsLikeMe –
NVIDIA open sources compiler for CUDA based on LLVM – tweeted by insideHPC at 12/13/11 7:19 PM
The Architecture of Open Source Applications – Architects look at thousands of buildings during their training, and study critiques of those buildings written by masters. In contrast, most software developers only ever get to know a handful of large programs well—usually programs they wrote themselves—and never study the great programs of history. As a result, they repeat one another's mistakes rather than building on one another's successes. This book's goal is to change that. In it, the authors of twenty-five open source applications explain how their software is structured, and why. What are each program's major components? How do they interact? And what did their builders learn during their development? In answering these questions, the contributors to this book provide unique insights into how they think. If you are a junior developer, and want to learn how your more experienced colleagues think, this book is the place to start. If you are an intermediate or senior developer, and want to see how your peers have solved hard design problems, this book can help you too.
An Empirical Comparison of the Accuracy Rates of Novices using the Quorum, Perl, and Randomo Programming Languages – It will never work in theory – We present here an empirical study comparing the accuracy rates of novices writing software in three programming languages: Quorum, Perl, and Randomo. The first language, Quorum, we call an evidence-based programming language, where the syntax, semantics, and API designs change in correspondence to the latest academic research and literature on programming language usability. Second, while Perl is well known, we call Randomo a Placebo-language, where some of the syntax was chosen with a random number generator and the ASCII table. We compared novices that were programming for the first time using each of these languages, testing how accurately they could write simple programs using common program constructs (e.g., loops, conditionals, functions, variables, parameters). Results showed that while Quorum users were afforded significantly greater accuracy compared to those using Perl and Randomo, Perl users were unable to write programs more accurately than those using a language designed by chance

Links for November 27th through December 1st

mike — Tue, 27 Dec 2011 17:11:16 +0000

My shared links for November 27th through December 1st:

The Acme User Interface for Programmers –
UF Sparse Matrix Collection – SNAP group – collection of datasets including social networks
Action Science Explorer (Formerly iOpener Workbench) –
iOpener Project – The goal of iOPENER (Information Organization for PENning Expositions on Research) is to generate readily-consumable surveys of different scientific domains and topics, targeted to different audiences and levels, e.g., expert specialists, scientists from related disciplines, educators, students, government decision makers, and citizens including minorities and underrepresented groups. Surveyed material is presented in different modalities, e.g., an enumerated list of articles, a bulleted list of key facts, a textual summary, or a visual presentation with zoom and filter capabilities. The original contributions of this research are in the creation of an infrastructure for automatically summarizing entire areas of scientific endeavor by linking three available technologies: (1) bibliometric lexical link mining; (2) summarization techniques; and (3) visualization tools for displaying both structure and content.
I regularly hire women for 65% to 75% of what males make | Hacker News – Lots of tips on salary negotiation for both sexes in the comments thread
pjax – ajax with permalinks
Moog (2004) – IMDb See also Walter/Wendy Carlos…