miniblog.

← Back to all posts
Dec 10, 2022 at 22:45
Computing optimal 8501 instructions for rotations using an SMT solver and Racket with Rosette:
Synthesizing optimal 8051 code — whitequark's lab notebook

Related Posts

Aug 18, 2025 at 22:44
1523
Today I learnt that Racket *intentionally* doesn't have a traditional REPL workflow. The authors were concerned about students not understanding the state between the current session and the code on disk. (Arguably Jupyter has some of these features now.)
the DrScheme repl isn't the one in Emacs
_posted by matthias_ Dear old Lisper, You have found drscheme and it is almost like your old Lisp machine. It is easy to program in it, it has things that nobody else has, and we all love parentheses. But after some initial enthusiasm you are wondering ...
May 27, 2025 at 07:51
144
I'm still tinkering with the website for my PL experiment. I want the styling to express "labour of love hobby project". Choosing what program to show on the home page is really hard too. All the keywords are links like Racket. What do you think?
PhotoPhoto
Garden
Aug 16, 2023 at 06:45
I've released difftastic 0.50! In this release: * Merge conflicts! Difftastic now understands <<<<<<< syntax and shows a syntactic diff of the underlying files. * Updated parsers for Elixir, Erlang, Go, Kotlin and Racket * Various styling quality-of-life improvements
PhotoPhotoPhoto
Release 0.50.0 · Wilfred/difftastic
Release 0.50.0 · Wilfred/difftastic
Difftastic is a structural diff tool that understands syntax. See the manual to get started, and the changelog for historical changes. Conflicts Difftastic now supports parsing files with conflict ...