Assorted Links from 2014

December 31, 2014.


Saturday, 29 November 2014

Omnisharp toolkit for crossplatform .NET development by Scott Hanselman.

RAID calculator for questions like "How many disks do I need for RAID-5 setup?"

RAID-5/raidz if you are planning to use FreeBSD

When to use Raidz

I got a copy of "Real World Haskell" and it is time to remind myself of another continuously updated "Learning haskell" resource -


Monday, 01 December 2014

Haxl, a Hasell library by Facebook for data access to remote data, such as databases or web-based services.

Kontiki - a raft protocol implementation in Haskell

Scow - a raft protocol implementation in OCaml

Awesome OCaml - A curated collection of awesome OCaml tools, frameworks, libraries and articles.

Using pkgsrc on Mac OSX - attractive because the packages can be installed on user home directory without polluting the /usr/local namespace like brew does by default.

Rust for functional programmers a detailed comparison.

Rust, Generics, and Collections

OCaml Multicore status

C11 lock free stack — information on how the new _Atomic type specifier works.

CoreOS Rocket - an alternative to Docker.

: > From a security and composability perspective, the Docker process model - where everything runs through a central daemon - is fundamentally flawed.

24 days of Rust | — a series of posts, inspired by 24 Days of Hackage 2013

Haskell for all: How to desugar Haskell code

FatELF — is a file format that embeds multiple ELF binaries for different architectures into one file. This is the Linux equivalent of what Mac OS X calls "Universal Binaries.". Solution for the share library problem?

Tuesday, 02 December 2014

Learn You an Agda - William DeMeo in the footsteps of "Learn you an Erlang" etc.,

QEMU Advent Calendar 2014 much like the 24 days of Haskell/Rust etc., 'tis that time of the year.

F# Advent Calendar in English 2014 | Sergey Tihon’s Blog

You could have invented Parser Combinators

The case for slow programming

This is why I believe that we need older people, women, educators, and artists INSIDE the software development cycle. More people-people, fewer thing-people. And I don’t mean on the outside, sitting at help desks or doing UI flower arranging. I mean on the INSIDE – making sure that software resonates with humanity at large. :::

Dec 2, 2014 weekly summary of OCaml news has a nice roundup of discussion around "Teaching OCaml". The Class@BU in discusion.

Java for Everything — learnt a new trick about using java for shell scripts.

Day 8: Cloud Git-as-a-Service - Justin Santa Barbara’s blog — git storage on the cloud; discussion on jgit, gerrit git implementations; why github might have problems in because of DRBD architecture etc.,

Whiskey yet another markdown app for Mac OS X.

Why care about functional programming?

1. Part 1: Immutability 2. Part 2:Transformations 3. Part 3: Type inference

Is 24bit/192kHz music sampling rate any good? — informative post on sampling etc.,

Is there way to combine Guix and NixOS for the best of both?, a redditor answers.

Startup class by Sam Altman.

A ton of presentations on Google Guava Library

Wednesday, 03 December 2014

Adrian Colyer takes a look at the Bloom filter, a probabilistic data structure, revealing the many uses of hashing and exploring how this can be used for computing summary information over data sets. Adrian Colyer also runs the The morning paper - "an interesting/influential/important paper from the world of CS every weekday morning".

Nanopass compiler:

Some background on german/sanskrit kerfuffle in Kendriya vidyalaya schools

Dadgum-201: Programming Modern Systems Like It Was 1984 always good for a read or three.

Dream big - Zenpencils

WSJ article on Baumeister’s work on the influence of glucose on decision making and willpower. Furher reading - the book Willpower: Rediscovering the Greatest Human Strength by Roy Baumeister.

Who were the vampires?; social identity of people buried as vampires in medieval Poland


clib — A package manager for C. list of packages

Are you a robot? are you sure? New Re-Captcha technology from Google

learn math maybe?

Did you know about Unix Pipe Viewer?

Bookmarked for my post-retirement days. step 1: catch salmon. step 2: make salmon candy

Some contrarian talk about programming:

Why I like XSLT. I mostly agree. I guess XSLT is fine in small doses like this page.

Java Doesn’t Suck – You’re Just Using it Wrong


List of Tilde.Clubs

Thursday, 04 December 2014

Don’t let the book authors off the hook. Use a pen. An essay by Tim Parks.

Thinking of R as having a programming language than R being a programming language helps — R language for programmers by John D. Cook. R graph catalog. Excellent catalog. An extra tip of my ( non-existant) hat for the creators for providing a genuinely valuable resource. Readings on Engineering distributed systems (availability, caching, content-addressable storage, damage containment for reliability, replication for availability etc.,). See the Course page for the rationale and organisation of topics. Haskell code example on how to invoke custom pandoc extensions. One of these I’m going to write one. These are the extensions that ship with pandoc Birdwatch — A "teach my scala and show it off during interview" project. The architecture.

Friday, 05 December 2014

Today themes: Asciidoc.

Asciidoctor is a asciidoc compatible, ruby implementation. Asciidoctor+diagrams. Awesome Asciidoc — link aggregation on asciidoc.

I learnt via a correspondent about Scholarly Markdown, which is a fork of pandoc to address deficiencies relating to academic writing using pandoc.

Proglang course by Dan Grossman on Coursera (ML, Ruby, Racket, functional programming etc.,) Related Discoverability in FP Languages

Yan Cui has slidedecks in the hundreds! on Elm and F# DSLs for tamig complex APIs

Saturday, 06 December 2014 a novel crowdfunding model for funding F/OSS projects. Source code of the website in Haskell, might be interesting to study a production website done in Haskell.

Sunday, 07 December 2014

This is your brain on gluten. An article about the Permutter’s book Grain Brain: The surprising truth about wheat, carbs, and sugar; your brain’s silent killers

I have occassionally put dark tape over too bright LEDs, so Lightdims make me think "hmm.. clever marketing".

The dilemma of an open source developers toying with recently OSS friendly .NET ecosystem.

Chennai featured in this Economist special on Suburbs.

Excellent expository writing on programming: Implement git clone functionality using Haskell

Monday, 08 December 2014

Deep learning:

Tuesday, 09 December 2014

Wednesday, 10 December 2014

A few things I heard during the Indy Bigdata panel discussion:

Thursday, 11 December 2014

Saturday, 13 December 2014

The best intro to lockfree algorithms i’ve known; in slide-deck format. Concurrencykit C library.

Fascinating read on how viruses are part of Human DNA.

Sunday, 14 December 2014

A nice intro to threads, race conditions and mutexes, in rust even! by Julia Evans.

Simple (old-school) Debian Desktop on the Jessie Distro.

Monday, 15 December 2014

Haskell has a debugger.

Shashi Gowda (@g0wda) writes Julia code to show ideas from the Finctional Geometry paper.

A neat rundown of new git (2.2.0) features. We need a cookbook style "git by example" resource.

A useful script to automate doc generation and push it to gh-pages. Script shows use of cargo doc, but should be relevant for any other documentation generation method.

C++ unique_ptr is not the same as Rust’s

Profile of Sport programmer Gennady Korotkevich. Thomas Cormen (of CLRS) on GK.

Good that I got Pinboard, when I did.

What makes Paris, "Paris"? "Given a large repository of geotagged imagery, we seek to automatically find visual elements, e.g. windows, balconies, and street signs, that are most distinctive for a certain geo-spatial area, for example the city of Paris.

Your paper to a CS conference got rejected? Go easy on yourself.

Tuesday, 16 December 2014

Is F# on linux ready for produciton use? 2014/6.

Scala+Slick, a good presentation on using Scala types to write more robust DB interfacing code.

Golang weekly. Nice summaries.

wrk - a HTTP benchmarking tool. Scriptable in Lua.

My old favourite print magazine Dr. Dobb’s is sunsetting it’s online version too. The passing of an era.

Discoverd FP class and more importantly Static Typed Functioanal Programming in OCaml lecture notes; via

Videos on various topics in category theory by Dr Eugenia Cheng. via.

Story behind the Aeropress. I use one occassionally.

Wednesday, 17 December 2014

LXC vs Docker. need to figure out which horse to back for long term usage.

State of MirageOS, Dec 2014. Talk by Dr. Anil Madhavapeddy. Duration: 1:21.

Haywire async HTTP server in C; 2.3M req/s; Machine specs.

Compring the security aspects of FreeBSD and OpenBSD. OpenBSD is the more security focussed OS of the two; via

Thursday, 18 December 2014

Started using S3cmd for syncing files to amazon aws. See example. sync script.

Last updated 2015-12-22 22:00:08 EST