Sail is a language for defining the instruction-set architecture (ISA) semantics of processors: the architectural specification of the behaviour of machine instructions. Sail is an engineer-friendly language, much like earlier vendor pseudocode, but more precisely defined and with tooling to support a wide range of use-cases.
Found on the CHERI page https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/

"Chialisp is a pure and functional language with a focus on security and auditability. Chialisp is commonly used on the Chia blockchain to lock funds in smart coins until spent and released by their owner. This enables behavior similar to that of smart contracts."
Mention on the Lisp timeline at https://en.wikipedia.org/wiki/AutoLISP

Critique of markdown. Found on the TUHS mailing list
https://www.tuhs.org/pipermail/tuhs/2024-June/029960.html

I have read quite a bit about Go, but apparently not saved any bookmarks.
https://pkg.go.dev/math/big@go1.22.0#Int has functions useful for the 256-bit benchmark.
Includes an on-line "REPL".

Found via https://www.theregister.com/2023/12/25/the_war_of_the_workstations/

Found on https://www.linux.com/audience/developers/hacking-the-linux-kernel-in-ada-part-1/

Articles and papers, mostly about programming languages.
Found via a link to https://vanderburg.org/old_pages/Tcl/war/ on Wikipedia https://en.wikipedia.org/wiki/Ousterhout%27s_dichotomy

http://johnj.com/posts/journaling-procedure A Daily Journal in Org Mode
http://johnj.com/posts/lisp-projects/ Common Lisp How-Tos
and more.
Found via John's post on https://planet.lisp.org/
http://johnj.com/posts/tco/ Adding Tail Call Optimization to A Lisp Written in Go
See also his GitHub page https://github.com/eigenhombre

Fennel is a programming language that brings together the speed, simplicity, and reach of Lua with the flexibility of a lisp syntax and macro system.

Full Lua compatibility: Easily call any Lua function or library from Fennel and vice-versa.
Zero overhead: Compiled code should be just as efficient as hand-written Lua.
Compile-time macros: Ship compiled code with no runtime dependency on Fennel.
Embeddable: Fennel is a one-file library as well as an executable. Embed it in other programs to support runtime extensibility and interactive development.
Anywhere you can run Lua code, you can run Fennel code.

Dylan is a multi-paradigm functional and object-oriented programming language. It is dynamic while providing a programming model designed to support efficient machine code generation, including fine-grained control over dynamic and static behaviors.