Assorted links from 2015

Created: by Pradeep Gowda Updated: Nov 04, 2023

January

Nix on OS X

Nix pills, a series of blogposts on why, what and how of NixOS.

NixOS summary

May

a few data mining algorithms in plain english

Dato — machine learning, datascience products via xgboost on github.

Model-based Machine Learning, early access book, by John Winn and Christopher Bishop.

OCaml Multicore with algebraic effects (discussion on reddit).. TOREAD the original post and discussions to understand this important (multicore) advancement to the OCaml language.

What is Programming language research and how it is useful.

Two papers on Graph processin large data — 

  • Distributed GraphLab: A Framework for Machine Learning and Data Mining in the Cloud

  • Scalability! But at what COST?

Chrirstopher Alexander — "A Pattern Language" etc.,

Flake — A decentralized, k-ordered id generation service in Erlang, an implementation of Snowflake by twitter.

A personal programming langauge roadmap. make one!1!

June

Asciinema — record and share your terminal sessions. Provides a console application that captures the keystrokes and output and uploads to asciinema.org website which can then be embedded into your website.

CME 323: Distributed Algorithms and Optimization — dist algos for Convex Optimization, Matrix Factorization, Machine Learning, Neural Networks, The Bootstrap, Numerical Linear Algebra, Large Graph analysis, Streaming and online algorithms

The Computer Science of Concurrency: The Early Years — a good overview by Lamport.

Discrete Mathematics and Functional Programming.

Lecture notes on Static Program Analysis — Static program analysis is the art of reasoning about the behavior of computer programs without actually running them. This is useful not only in optimizing compilers for producing efficient code but also for automatic error detection and other tools that can help programmers.

Why “Agile” and especially Scrum are terrible

Fixing Engineering’s Loyalty and Longevity Problem

Practicing concurrency and multi-threading

Detailed lessons in C# +1

A Sophomoric Introduction to Shared-Memory Parallelism and Concurrency [pdf]

Let’s build a compiler! by Jack Crenshaw goes from 0-60 in a few pages.

July

No One Asks To Be Buried with His iPad…​ "reclaim the real".

Theory of Programs by Bertrand Meyer. — presents a mathematical theory of programs and programming based on concepts taught in high school: elementary set theory.

machine learning for developers. Parts — "global idea of machine learning" containing all important concepts and notions followed by "practical examples".

Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures — paper related to Chuck Moore’s GreenArrays GA144 ultra-low power Forth chip.

The Curry-Howard Correspondence in Haskell by Tim Newsham. The Curry-Howard correspondence is a mapping between logic and type systems. On the one hand you have logic systems with propositions and proofs. On the other hand you have type systems with types and programs (or functions). As it turns out these two very different things have very similar rules. This article will explore the Curry-Howard correspondence by constructing a proof system using the Haskell type system.

Rust in Detail: Writing Scalable Chat Service from Scratch a very detailed tutorial. more tutorials should be written like this.

What’s new in Purely Functional Data structures since Okasaki? — exhaustive list of FDS.

Enthusiastic intro to Racket programming in the manner of "this is what I did…​ Oops and all included".

Thebe — Jupyter javascript plugin for static sites — an easy way to let users on a web page run code examples on a server. You need four things — 

  1. an iPython notebook server

  2. a web page with some code examples (see under examples dir in github repo of thebe)

  3. a script tag that includes the thebe.js file

  4. jquery (included).

Remember the tasks you want to repeat.. Interesting idea to practice..

Does one have to be a genius to do maths? by Prof. Terence Tao.

Build isometric Cities from blocks

OCaml — this is pretty cool.

Learning Toyota kata

Harvey — A 64 bit Operating System based on Plan 9 from Bell Labs and NIX, under GPL

Deterministic pixels — various identicons implemented in Racket. Fun project and good learning resource for both identicons and racket.

The Art of Incremental Stream Processing — !!!

Monadic Parsing in Python June 2014. Good explanation with python code examples. [Via this gist for clojure](https://gist.github.com/kachayev/b5887f66e2985a21a466).

August

Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa. Suddenly, this book has become easier to grok.

Philip Wadler - Everything old is new again: Quoted domain specific languages - Curry On

Daniel Coyle’s The Talent Code - summary. I have ordered the book.

Spacemacs — gotta try this out.

Administration of Research in a Research Corporation via Brett Victor

Pycon 2015 videos.

Eric Merritt talks about BEAM, Erlang, OCaml, Joxa, HM type system etc.,

Speed matters. Also jsomers.net in general is worth perusing.

Super human eyesight with the help of an implant. An implant that can be implanted with a procedure similar to cataract surgery.

Funding OSS.

"Dynamic typing": The belief that you can’t explain to a computer why your code works, but you can keep track of it all in your head. Chris? Martin

http://www.bbc.com/news/world-asia-india-33861128 "a paradoxical blend of genuine personal humility and intense professional will".

We’re a group of programming language researchers and enthusiasts who engage in the discussion and study of the semantic and logic foundations of programming languages, language design, type theory, compilers, program analysis and optimization, program specification and construction, and emerging models of computation.  —  PL wonks

Drunk tank pink; how that colour is a bad choice for your baby’s bedroom.

The Chubby lock service for loosely-coupled distributed systems

ML to C++

>"The difference between successful people & very successful people is very successful people say "no" to almost everything." - Warren Buffet

Learn Type theory

The bugs we have to kill; "the importance of parser correctness, Turing complete input languages etc " — via vu3rdd?

Three months of Rust; appears to be a decent blog to read in general.

The Gracie Jiu-Jitsu story

Hovercraft — prezi-like.

Shower - presentation engine.

The art of knowing when to make a decision

Why we can’t get over ourselves.

" Knowledge is a curse because once you have it, you can’t imagine what it’s like not to possess it. "

This was on WFYI today

Your Server as a Function Redux.

FlashGraph is a SSD-based graph processing framework that is capable of processing billion-node graphs on a single commodity machine.

September

Madoko — scholarly Markdown processor with interesting extensions to facilitate writing technical/scholarly docs using TiKz, etc.,

Large Scale Decision Forests: Lessons Learned

Immersivemath

Programming with Distributed functional futures

Dan Grossman’s PL course …​ to do.

Notion.so — document reimagined (a/c: p g @ g )

October

Why AOT is winning over JIT

Detailed instructions on how to create a minimal x86 OS from scratch using ASM and Rust

November

A bit of nice linguistic history of Italian langauge as observed through the peephole of NewJersey accent

How the Western Diet Has Derailed Our Evolution

Sometimes "best" itself doesn’t motivate you

>She wanted to put out the best thing that was the most honest.

Anomaly detection concepts and techniques

What the world eats

Confidence through feedback

A modern-day tragedy. The Digital Equipment Story. PDF. 1998.

The Thirty Million Word Gap. (The study PDF).

December

Reading offline in batch mode

Home page of Rob Landley, he of busybox, Aboriginal linux and Toybox linux distributions.

Viewdocs.io is Read the Docs meets Gist.io for simple project documentation. It renders Markdown from your repository’s docs directory as simple static pages.

Privoxy is a non-caching web proxy with advanced filtering capabilities for enhancing privacy, modifying web page data and HTTP headers, controlling access, and removing ads and other obnoxious Internet junk. Privoxy has a flexible configuration and can be customized to suit individual needs and tastes. It has application for both stand-alone systems and multi-user networks.

Last updated 2016-01-11 11:18:23 EST