sogaiu

2025-03-31

How Anime Fans Stumbled upon a Mathematical Proof

2025-03-30

Can jank beat Clojure's error reporting?
- I quit my job to work on my programming language

2025-03-29

2025-02-28

Design, Composition, and Performance - Rich Hickey - not down on "iterative" (though in 2023's "Design in Practice" talk, seemed different)
What if data is a really bad idea? - Eric Normand
History section of Information History Wikipedia page
Why you shouldn't hide your data - Eric Normand
- https://ericnormand.me/podcast/why-you-shouldnt-hide-your-data

2025-02-27

https://docs.racket-lang.org/rackjure/index.html#(part._dict-init) - data literals for dictionaries in rackjure
Simple Made Easy - Rich Hickey - on pattern matching dislike

#lang typed/racket
(struct pt ([x : Real] [y : Real]))
 
;; the form on the next line is a type annotation
(: distance (-> pt pt Real))
(define (distance p1 p2)
  (sqrt (+ (sqr (- (pt-x p2) (pt-x p1)))
           (sqr (- (pt-y p2) (pt-y p1))))))

TLDR

This list collects parsers for use with tree-sitter (ABI >= 12).

Rationale

To have a single list that can be checked for likely usable parsers for:

devs to study
compute various stats (e.g. percent adopting a certain abi level)

Why getters and setters are terrible - Eric Normand - 2019-07
Why you shouldn't hide your data - Eric Normand - 2019-04-15 / 2019-09-20
The Expression Problem and its solutions - Eli Bendersky - 2016

> Imagine that we have a set of data types and a set of operations that act on these types. Sometimes we need to add more operations and make sure they work properly on all types; sometimes we need to add more types and make sure all operations work properly on them. Sometimes, however, we need to add both - and herein lies the problem. Most of the mainstream programming languages don't provide good tools to add both new types and new operations to an existing system without having to change existing code. This is called the "expression problem". Studying the problem and its possible sol

The softwre provided with large computers supplies a hierarchy of languages: the assembler defines the language for describing the compiler and supervisor; the supervisor the language for job control; the compiler the language for application programs; the application program the language for its input. The user may not know, or know of, all these languages: but they are there.

HOPL I - PDF

	https://jvns.ca/blog/2025/02/13/how-to-add-a-directory-to-your-path/
	https://blog.flowblok.id.au/2013-02/shell-startup-scripts.html