Assorted links from 2015
Created:
January
Nix pills, a series of blogposts on why, what and how of NixOS.
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
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 —
an iPython notebook server
a web page with some code examples (see under examples dir in github repo of thebe)
a script tag that includes the
thebe.js
filejquery (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.
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.
"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
>"The difference between successful people & very successful people is very successful people say "no" to almost everything." - Warren Buffet
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.
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. "
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
Programming with Distributed functional futures
Dan Grossman’s PL course … to do.
Notion.so — document reimagined (a/c: p g @ g )
October
Detailed instructions on how to create a minimal x86 OS from scratch using ASM and Rust
November
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
A modern-day tragedy. The Digital Equipment Story. PDF. 1998.
The Thirty Million Word Gap. (The study PDF).
December
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