jpt4

Superoptimization as a service, literature review and feasibility study.

Thesis: SOaaS provides a cloud-based superoptimization service for
reducing the execution and transaction costs of smart
contracts. Paradigmatically, SOaaS would analyze an EVM program and
minimize the resources necessary to execute it. This is generally, but
not always, proportional to code size, as measured in number of EVM
machine instructions.

Potential competitor:

jpt4

A Preliminary Research Programme for Autarkic [0] Logic

Can Dan Willard's work on Goedel's Second Incompleteness Theorem be
extended to other limitative theorems in mathematical logic and
programming language theory? Willard's Self-Justifying Axiom Systems
[1] provide a framework for precisely characterizing the features of a
formal system required for Goedel's Second Incompleteness Theorem to
apply. In particular, SJAS are formal systems which retain 1)
consistency relative to Peano Arithmetic and 2) _self-provability of
consistency_, at the cost of weakened, carefully tuned system

jpt4

Epistemic status: extemporaneous speculation, inspired by a Twitter post.

https://twitter.com/BellacosaVagner/status/1522202918480396289
"Saint Javelin Prey [sic] for Azovstal"

Because the man-portable missile launcher is generally a single use weapon, any given piece of equipment cannot be integrated into a soldier's sense of extended self as fully as a persistent weapon like a rifle or knife. From one perspective, this dissociation of the soldier from his tool reduces combat effectiveness, because it truncates the development of nuanced, fine-grained attention to the weapon and its performance. Viewed differently, by reducing the metonymical validity of an object for the man wielding it ("ten ATGMs" introduces more cognitive overhead, rather than less, compared to "ten spears"), it re-centers the human as the fundamental, apparatus-agnostic component of any weapons system.

When a weapon can do nothing without a human, the mental attitude which allows for impartial calculation of degradation, attrition, a

jpt4

You receive the message that everyone receives. Generic, automated,
maximally common denominator, all "Greetings, Metaverse" and "Ready,
Player One?" and "Press Start to Continue"; trivial to ignore - or
reply.

<start>

You receive the message that one in five receive. Text a little
longer, an innocuous query, nothing the pool of universal referents
doesn't contain.

jpt4

UTC20160530

LambdaConf 2016 Unconference Schedule (Tentative)

A115
1:00 - 3:00 PM
 Engineering a Better Twitter panel

3:00 - 3:30 PM
 0 - Becoming a LambdaConf Speaker

jpt4

;aa.scm
;asynchronous rlem cellular automata
;jpt4
;UTC20160121
;Guile v2.2


#|
Three-in/three-out reversible logic elements with memory (RLEMs/rlems) 
tessellate to cover a hexagonal grid. Each RLEM has three neighbors, adjacent