embalmed ones

by Dave

16 thoughts
last posted June 13, 2018, 9:32 a.m.

1 earlier thought

1

Programming Language Theory papers, insofar as they tend to consist of a Grammar (to produce the terms), a Logic (to produce the typing), and some Rhetoric (to explain the previous two), are highly trivial (in the medieval sense of the trivium)

created May 6, 2015, 5:34 p.m.

14 later thoughts

Keyboard Help

Keyboard navigation

  • ? This help dialog
  • c Compose a new Thought
  • g Compose a new General Thought
  • j or ← View previous card in stream
  • k or → View next card in stream
  • p View card details in presentation mode
  • s Go to stream detail from card detail
  • ctrl + enter Publish card currently being created
  • alt + enter Save card in draft status that is currently being created.
  • esc Close an open modal