miniblog.

@Jelv Tech folks and/or thoughtful analysis of the world. I suspect I will need to find new folks to follow, amongst the regulars! Not much different from Twitter really. Everyone's follower count goes up over time due to user churn.

And flang's performance is generally competitive with gfortran! https://twitter.com/llvmweekly/status/900458664858963969

Lisps might have little syntax, but there are still rules you need to learn.TIL about Scheme's define in a function:

The Sista VM, an incredible JIT optimiser for Smalltalk, has now released an alpha:

Amazing Smalltalk demo of saving the execution context of a buggy AWS lambda app and debugging/continuing in an IDE! https://youtu.be/bNNCT1hLA3E

Back on Mastodon as my impression was that it is steadily growing. Has the tech community stayed, or just kicked the tyres and left?

AST canonicalisation in arithmetic solvers: https://blog.plover.com/math/24-puzzle-2.html (interesting, I've only seen canonicalisation in compilers previously)

Great post on writing and optimising an interpreter using Rust:

borg: managing ~/.emacs.d with git submodules, to facilitate contributing to upstream: https://emacsair.me/2016/05/17/assimilate-emacs-packages-as-git-submodules/ (a definite pain point IME)

Superb cgo&Rust adventure, exploring the ABI and assembly code required to integrate Rust libraries with Go:

One neat way of thinking of assertions vs unit tests: declarative vs imperative:

amb is a really interesting control flow structure: https://community.schemewiki.org/?amb (not sure I understand how it behaves with side effects though)

FSet (a CL library) has a great defence of default types being immutable with value semantics.

Fascinating discussion of how Hack's typechecker is fast and highly parallelised, and applying it to Scala:

Excellent, thoughtful article on the difference between dev needs and distro needs (and how to manage dependencies):