miniblog.

← Back to all posts
Jun 20, 2017 at 21:57
Remacs is developing some nice Rusty idioms for elisp primitives. Here's vectorp: https://github.com/Wilfred/remacs/pull/212/files

Related Posts

Mar 8, 2018 at 19:21
Fun post on implementing a JIT for elisp, with a great introduction to calling conventions on elisp primitives: https://tromey.com/blog/?p=999
Nov 12, 2017 at 22:38
Firefox is shipping formally verified crypto primitives!
Verified cryptography for Firefox 57 – Mozilla Security Blog
Traditionally, software is produced in this way: write some code, maybe do some code review, run unit-tests, and then hope it is correct. Hard experience shows that it is very ...
Aug 15, 2017 at 23:40
Defining a lisp with 6 primitives is neat, but it's not enough to be general purpose. No I/O. Are there minimalist PLs that are usable?