Posts and notes
548 entries written here.
Racket Programming Language
Beautiful Racket how to make your own programming languages with Racket—and why by Matthew Butterick Learning Racket #1: Introduction Racket Workflow…
Logic Programming
To Read: Sterling and Shapiro (Sterling and Shapiro 1986) is often recommended as the introductory text to Logic Programming. Nominal Logical Programming…
Probabilistic Programming
"What is the TL;DR of Probabilistic programming" (via HN) Reading List – MIT Probabilistic Computing Project What is probabilistic programming? - O'Reilly…
Literate Programming
Let us change our traditional attitude to the construction of programs: Instead of imagining that our main task is to instruct a computer what to do, let us…
Build Systems
Writing Build systems ala carte (PDF) Build system insights by Ruud van Asseldonk; Sep 2018 Neil Mitchell's Haskell Blog: Inside the paper: Build Systems a la…
Sqlite
I wrote an article about SQLite for DeveloperIQ magazine published in Jan 2005 -- Move Over MySQL, SQLite is here!! --- Query Parquet files in SQLite | Colin…
bash scripting
Never forget to run shellcheck on any bash/shell script you write. Bash for production systems - presentation on “Survival guide for quality scripts” YJL…
Machine Learning
Learning How I learn machine learning | ★❤✰ Vicki Boykis ★❤✰; 2022. Machine Learning Engineer Roadmap | /home/vigi99 ludwigbap/ml learning resources Stanford…
Julia programming language
Learning Learning Julia Blog Posts A Lisper's first impression of Julia | HN From Common Lisp to Julia, and a response - Why not: from Common Lisp to Julia…
Programming Langauges Theory
Notes on theory of programming languages. Concepts See: Formal specifictions of syntax Static Program Analysis Declarations and bindings Allocations Data types…
J programming language
[J] programming language J is readable | Hoosier EE Pete Corey - J's Low-level Obfuscation Leads to Higher Levels of Clarity [Mar 2018] mlochbaum/ILanguage: An…
CSV
NOTE: When you can, prefer ASV over CSV -- Text File formats – ASCII Delimited Text – Not CSV or TAB delimited text, especially when you aren’t writing the…
Type Theory
Introductory materials Learn Type Theory Type Theory in 15 minutes [presentation in PDF]. Important concepts in type theory. Alonzo Church's typed…
ATS Lang
What is ATS? ATS is created by Hongwei Xi Why ATS? from a thread titled "What is the goal of ATS". ATS/LF for Coq users -- presentation by Kiwamu Okabe [Sep…
Vala Programming Language
STATUS: No longer Maintained. Vala is a C# | Java like langauge that compiles down to C+glibc. Used heavily for developing gnome desktop applications. Before I…
Type system
Ability to read type rules is an important skill when reading Programming Langauge theory papers. The two books that have been mentioned in relation to…
Red language
Link dump Unsorted links ... Writing GUI apps using the Red Programming Language Why Red Interview with Nenad Rakocevic about Red, a Rebol inspired programming…
Pure programming langauge
Pure is a modern-style functional programming language based on term rewriting. It offers equational definitions with pattern matching, full symbolic rewriting…
Programming Aphorisms
Norris Numbers --- My friend Clift Norris has identified a fundamental constant that I call Norris’ number, the average amount of code an untrained programmer…
Pijul
Pijul - The Mathematically Sound Version Control System Written in Rust; Nov 2020. A primer to Pijul . Merging and patches – Joe Neeman how Pijul implements…
Operating Systems
operatingsystems.io -- conference on new directions in operating systems. Unikernels On rump kernels and the Rumprun unikernel, August 2015. Just-in-Time…
NGiNX
See also: openresty Notes Use strace to verify whether NGiNX is serving gzipped static assets: {.bash} $ sudo strace -p 25249 2>&1 | grep gz where 25249 is the…
ಮೂಡಲ ಮನೆಯ ...
ಚಿತ್ರ: ಬೆಳ್ಳಿ ಮೋಡ, 1967 Youtube video ಕವಿ: ದ. ರಾ. ಬೇಂದ್ರೆ ಮೂಡಲ ಮನೆಯ ಮುತ್ತಿನ ನೀರಿನ ಎರಕಾವಾ ಹೊಯ್ದ, ನನ್ನನೆ ಎರಕಾವಾ ಹೊಯ್ದ ಬಾಗಿಲ ತೆರೆದು ಬೆಳಕು ಹರಿದು ಜಗವೆಲ್ಲಾ ತೊಯ್ದ…
ML programming language
An exhaustive set of links related to ML Of interest: Unix system programming in Standard ML by Anthony Shipman. C&C - A Crash Course on ML Modules; HN…
ಕನ್ನಡ ಪ್ರಾರ್ಥನೆ -- "ಕನ್ನಡವೆಮ್ಮಯ ಪ್ರಾಣ"
(Note: prayer before the Sunday Kannada class) Kannadavemmaya praaNa, kannadavemmaya maana ಕನ್ನಡವೆಮ್ಮಯ ಪ್ರಾಣ, ಕನ್ನಡವೆಮ್ಮಯ ಮಾನ Kannada taayige namana, O kannada…
Indy Big Data meetup - December 2015
Talk by Josh Berkus, core member of PostgreSQL. Big data features sophisticated sql parser/planner works with most DW tools many large DB features…
Hakyll
This website is was made using Hakyll and Pandoc. I have often tried to move away from Hakyll because I can't "hack it" (haha). But, very few other static…
Factor Programming language
Factor is a stack based language, and is a forth About Documentation -- also accessible via Factor UI. Slava Pestov -- blog of Slava Pestov, the creator of…
Desktop
stuff related to desktop application development, distribution, µISV etc., Google Omaha Tutorial - fman Blog - "Google Omaha is the open-source version of…
Data Engineering
News 2022-10-24 : The Evolution of The Data Engineer: A Look at The Past, Present & Future | Airbyte; via HN 2020-12-14 : What Is Data Engineering and Is It…
- Older