here you goThings I’ve made, read and saved — shared here.

Archive

9,565 entries: 46 from X, 8,923 from Pinboard, saved 1998 to 2026.

Browse by tag, site, author, folder or language

Tags

Sites

Authors

Folders

Languages

Showing 1–50 of 343#programming ×

February 2026

2025

2024

Pair Programming with LLM

Pair Programming with Google's PaLM API.

Google Generative AI Studio: https://developers.generativeai.google/

What we need:

  • API Key from above site
  • Generative AI Libraries
    • node.js, swift or python
  • Python programming skills (https://learnpython.org)

"Larger the animal, larger the model" - pip install -q google.generativeai

import google.generativeai as palm
palm.configure(api_key="....")
for m in palm.list_models():
	print(f"{m.name}")
	print(f"{m.description}")
	print(f"{m.supported_generation_methods}\n")

notes#course#llm#programming

Xr0

xr0.dev

Xr0 is a verifier for C. It eliminates many stubborn instances of undefined behaviour, like use-after-frees, double frees, null pointer dereferences and the use of uninitialised memory.

2023

gobuffalo

Buffalo is a "full featured" web framework for golang. I wanted something more than simple "API" frameworks, because i'm planning to build a whole website and not just an API. It comes with it's own command line tool called buffalo which can be installed via homebrew. I installed it via go get because I wanted to use sqlite instead of the default postgresql, at least till I actually need the bigger RDMSes.

New project is created via buffalo new PRJNAME. Immediately after you can start the local dev server by invoking buffalo dev, which would also compile javascript and CSS using webpack.

Buffalo's default scaffolding ships with jquery, bootstrap, and SASS, which are then compiled by webpack. While this stack is probably good enough for many things, I want to use tailwindcss, HTMX, hyperscript and maybe alpinejs. Part of learning buffalo would be to figure out how to replace default options with mine.

notes#gobuffalo#golang#programming

2022

Postscript

Mathematical Illustrations an introduction to mathematical illustrations using postscript programming language. This is one of the best showcases of postscript

Don Lancaster (tinaja.com) and his many notes on postscript publishing; Obituary.

Don Lancaster passing away notice
Don Lancaster passed away in June 2023.

PostScript: A Digital Printing Press | Hacker News. Main discussion about PostScript: A Digital Printing Press from the Computer History Museum article, but the HN page has lots of links to PS stuff; Dec 2022.

The origins of Postscript by John Warnock, founder of Adobe in IEEE Annals of History of Computing (2018) via gwern.

A First Guide to PostScript by Peter Weingartner. Online book.

PSChess - A Chess Engine in PostScript

PostScript® 1.0 - A Code Study | ℤ→ℤ

nasa/pvslib: NASA PVS Library of Formal Developments with 18% postscript code (among common-lisp, python etc )

nst/PSTris: A Tetris implementation in PostScript

--

See also: My Hello Postscript page.

notes#graphics#postscript#programming#typesetting

Dive into Systems

diveintosystems.org

Dive into Systems is a free, online textbook that serves as a gentle introduction to computer systems, computer organization, and parallel computing. The book is intended for an audience that has only a CS1 background. It guides readers through a vertical slice of a computer to develop an understanding of a variety of systems topics, including:

how a computer runs a program, from a program expressed in a high-level language to low-level binary representation and circuits

programming in C and Assembly, assuming a CS1 background

introduction to operating systems and the systems costs that affect program performance (the memory hierarchy, caching, and code optimization)

introduction to parallel computing with shared memory and pthreads

2021

2020

Programming

Notes on Programming as a practice. Collect notes about programming language at the "language" level without getting into specific details of each language. "on", "about", "of" programming.

The Myth of the Coder "Considering the historical distinction between coder and programmer" – Communications of the ACM, Aug 2024.

List of Tips | The Pragmatic Bookshelf -- Extracted From The Pragmatic Programmer

norvig/pytudes: Python programs to practice or demonstrate skills.

My list of challenging software projects some programmers should try | andreinc; 2024.

Papers

Books

  • Nature of Code by Daniel Shiffman. "an online resource and print book exploring the unpredictable evolutionary and emergent properties of nature in software via the creative coding framework processing."

2024 version with a new and rebooted version of this book built around javascript and the p5.js library. The book has a few new coding tricks this time, but it’s the same old nature—birds still flap their wings, and apples still fall on our heads.

The discussions on naming and abstraction are particularly illuminating, exposing some fundamental tradeoffs like synthetic vs natural names, or principled vs adaptable systems of abstractions. Were these notions more widespread, a lot of the pointless rants and debates we hear in programming circles would disappear.

I would not recommend this book to beginners - this book is most useful when you are experienced enough that your struggle is to make choices, not to get things to work. -- HN

Courses

All CS-CMU courses


Other lists

Journals

Papers

Rosetta Code Analysis (Nanz and Furia 2014)

Our statistical analysis reveals, most notably, that: functional and scripting languages are more concise than procedural and object-oriented languages; C is hard to beat when it comes to raw speed on large inputs, but performance differences over inputs of moderate size are less pronounced and allow even interpreted languages to be competitive; compiled strongly-typed languages, where more defects can be caught at compile time, are less prone to runtime failures than interpreted or weakly-typed languages.

Blogs

Tools

... is used between a tool (the client) and a language smartness provider (the server) to integrate features like auto complete, go to definition, find all references and alike into the tool

  • Trinket -- "lets you run and write code in any browser, on any device. Trinkets work instantly, with no need to log in, download plugins, or install software. Easily share or embed the code with your changes when you're done."

Tutorials

Projects

practical-tutorials/project-based-learning: Curated list of project-based tutorials

Videos

Articles

  • The Grug Brained Developer -- grug brain developer not so smart, but grug brain developer program many long year and learn some things although mostly still confused

Concepts

Delimited continuation

Misc

Aphorisms on programming language design

-- via

Links

See also: literate, pl, programming-aphorisms

References

notes#programming

Org Mode

In some users view, org-mode is itself reason enough to learn to use emacs, even if you don't use it for anything else (programming).

Zettelkasten

GitHub - nobiot/Zero-to-Emacs-and-Org-roam: Step by step guide from zero to installing and setting up Emacs and Org-roam on Windows 10

Org mode for writing web documents

While Org-mode is used by many people as an organizer, TODO list tracker, journal etc., I'm interested in it as primarily as a markup language that can be extended. This is is primary area where I want to become good at vis-a-vis orgmode (Jan 2020).

web document friendly CSS themes

See my Org-simple CSS theme page.

Blogging with Org mode

Links

Org Libraries

My notes

  • the metadata tags at the top of the document start with #+TAG: value format. That is "hash plus tag colon value" format.
  • use the - character for un numbered lists
  • what are the keyboard shortcuts to type blocks like EXAMPLE and CODE. Typing C-c C-, brings up a menu using which i could select an src block or an example block.

notes#emacs#programming#tools#writing

FUNctional programming

See also: <functional-programming.html>

Blog-posts and articles

People

  • Hudak
  • Pierce
  • Milner
  • Harper
  • Peyton-Jones
  • Don Stewart
  • The Racket people - [Brown, IU, NEU]
  • The OCaml people - [INRIA]
  • The Haskell people - [MSR]

See Also: My pinboard bookmarks tagged functional-programming

notes#programming

2019

2018

Probabilistic Programming

"What is the TL;DR of Probabilistic programming" (via HN)

Reading List – MIT Probabilistic Computing Project

What is probabilistic programming? - O'Reilly Media. So It Begins: Darpa Sets Out to Make Computers That Can Teach Themselves | WIRED

Probabilistic programming language - Wikipedia

Practical Probabilistic Programming by Avi Pfeffer who also created the Figaro language [PDF].

Probabilistic Programming Wiki

[1809.10756] An Introduction to Probabilistic Programming by Jan-Willem van de Meent, Brooks Paige, Hongseok Yang, Frank Wood; a 200+ page tutorial.

Online / programming env

Courses

notes#probability#programming

2017

2015