Tags » Link

Mother and 3 children drown in sea off Tangalle

April 25, 2015 11:28 am

Four persons from the same family drowned in the sea off Parai Wella Beach in Tangalle this morning, police said. 118 more words

Admin

It Is A Strangely Complicated World

By Kumar David –

Iran after the lifting of sanctions

Sanctions may soon be lifted; whether staggered country by country or in unison, and the timing of the process are difficult to foresee. 1,656 more words

Admin

Mahinda Rajapaksa’s Denial

By Uditha Devapriya –

In an interview with AFP last Wednesday, Mahinda Rajapaksa has denied any involvement with the Bodu Bala Sena. He has called the organisation a Western conspiracy that alienated Muslims. 742 more words

Admin

Propositions as Filenames, Builds as Proofs: The Essence of Make

The essence of make is this: make is an implementation of constructive logic programming, using the following instantiation of the “Propositions-as-X” paradigm:

http://bentnib.org/posts/2015-04-17-propositions-as-filenames-essence-of-make.html

Link

Makefile Style Guide

One has a choice of build tools and build file formats. We think developers are well-served by being proficient with the build tool make. When we use make we use GNU make.

http://clarkgrubb.com/makefile-style-guide

Link

rust-forest

Various implementation strategies for “DOM-like” tree data structures in Rust.

“DOM-like” here means that data structures can be used to represent the parsed content of an HTML or XML document, like the DOM does, but don’t necessarily have the exact same API as the DOM.

https://github.com/SimonSapin/rust-forest

Link