miniblog.

Calcite is a neat project that uses existing projects to suggest code snippets. https://edelstein.pebbles.cs.cmu.edu/calcite/ (hasn't hit the industry AFAIK)

It's funny how language features cluster. Racket has an implementation of CLOS, and it ships with a setf macro:

Moving from CL to Racket: https://fare.livejournal.com/188429.html (base language evolution, module system, a good mix of typed and untyped tooling)

So, I find an interesting Mastodon host, say esperanto.masto.host. How do I discover users on that host? Tusky has a feed, but I believe that's my default server? It's got a big cross section of folks tooting in many languages, most of which I can't read.

@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: