🦞🌯 Lobster Roll

Stories by animatronic

Collapsing Towers of Interpreters
> Given a tower of interpreters, i.e., a sequence of multiple interpreters interpreting one another as input programs, we aim to collapse this tower into a compiler that removes all interpretive overhead and runs in a single pass. In the real world, a use case might be Python code executed by an x...
kragen/stoneknifeforth (github.com)
Found via the [thread](https://news.ycombinator.com/item?id=20264848) about [stage0](https://github.com/oriansj/stage0), a minimal system for bootstrapping GCC.
Remake - GNU Make with comprehensible tracing and a debugger (bashdb.sourceforge.net)
Databases that use git as a backend?
I am interested in database systems that use git for storage/branching/sync/replication.
Self-Soldering Circuits (youtube.com)
Stack Computers: The New Wave (users.ece.cmu.edu)
picoc - A very small C interpreter (code.google.com)
curv - a language for making art using mathematics (github.com)
kevinlawler/kona - open source implementation of K language (github.com)
ACTORS: A Model of Concurrent Computation in Distributed Systems (1985) (dspace.mit.edu)
Yatta Language - ML like language on the GraalVM (yona-lang.org)
Computers Do Not Make Art, People Do (cacm.acm.org)
Memory-Safety Challenge Considered Solved? An Empirical Study with All Rust CVEs (arxiv.org)
Bret Victor - Seeing Spaces (vimeo.com)
Decoding the Remarkable Algorithms of Ants (quantamagazine.org)
See also https://en.wikipedia.org/wiki/E._O._Wilson
Whiley: an Open Source Programming Language with Extended Static Checking (whiley.org)
William Byrd on The Most Beautiful Program Ever Written (paperswelove.org)
A wonderful presentation on [metacircular evaluation](https://en.wikipedia.org/wiki/Meta-circular_evaluator).
Open Data Structures : open source book (opendatastructures.org)
cryptographically verifiable code review system for cargo (github.com)
EsoLangVM Compiler Infrastructure (github.com)
> ELVM is similar to LLVM but dedicated to [Esoteric Languages](https://esolangs.org/wiki/Main_Page). This project consists of two components - frontend and backend. Currently, the only frontend we have is a modified version of [8cc](https://github.com/rui314/8cc). The modified 8cc translates C ...
The Design and Implementation of Probabilistic Programming Languages (dippl.org)
Otter — Symbolic executor for C (bitbucket.org)
16-bit RISC-V processor made with carbon nanotubes (2019) (arstechnica.com)
Gallery of Concept Visualization (conceptviz.github.io)
Journal for the Mathematics of Composition (compositionality-journal.org)
[Release announcement](https://golem.ph.utexas.edu/category/2019/12/compositionality_first_issue.html) from [John Baez](http://www.math.ucr.edu/home/baez/)
And Then There Were None: A Stall-Free Real-Time Garbage Collector for Reconfigurable Hardware (researcher.watson.ibm.com)
by [David F. Bacon](https://dblp.org/pers/hd/b/Bacon:David_F=), [Perry Cheng](https://dblp.org/pers/hd/c/Cheng:Perry) [Sunil Shukla](https://dblp.org/pers/hd/s/Shukla:Sunil) > Programmers are turning to radical architectures such as reconfig-urable hardware (FPGAs) to achieve performance. But suc...
The Algorithmic Beauty of Plants (algorithmicbotany.org)
The book is by [Aristid Lindenmayer](https://en.wikipedia.org/wiki/Aristid_Lindenmayer) and [Przemyslaw Prusinkiewicz](https://en.wikipedia.org/wiki/Przemys%C5%82aw_Prusinkiewicz) covering [L-Systems](https://en.wikipedia.org/wiki/L-system) L-Systems have applications in science, math and art. Wi...
Software Foundations - Vol 1-3 (softwarefoundations.cis.upenn.edu)
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML (cs.indiana.edu)
CRIU - Checkpoint/Restore In Userspace (criu.org)