Archive for the 'CHM' Category

Godel’s Lost Letter

• The Halting No Go Theorem January 25, 2020
• Predicting Predictions For the 20s January 20, 2020
• Halting Is Poly-Time Quantum Provable January 15, 2020

Lambda the Ultimate

• Histogram: You have to know the past to understand the present by Tomas Petricek September 15, 2019
• Applied Category Theory - The Emerging Science of Compositionality August 5, 2019
• Tensor Considered Harmful June 27, 2019

Axis of eval

• Peeking into the future with RDP July 12, 2016
  One aspect of reactive demand programming that sets it apart from other reactive programming models is its support for optimistically working with the predicted future states of signals.Think about a signal that carries the current time in seconds, that you want to display on screen as a clock. The screen should update close to the […]
  Unknown
• The worm is the spice May 19, 2016
  Just had a nice insight regarding systems that deal with reactively updating (potentially large, structured) values such as RDP:The dynamic output of a process is indistinguishable from a static storage resource (file).In batch systems like Unix, this symmetry is not so deep: the output stream of a process looks somewhat like a file, but the process […]
  Unknown
• RESTful RDP with big values August 2, 2015
  What if you want to use a big value, like a whole database table or weblog, as a Reactive Demand Programming signal value? This would make it possible to use RDP to orchestrate things like incremental MapReduce pipelines. Here's one weird trick to make it work.In effect, each RDP signal becomes a RESTful server, speaking an HTTP-like […]
  Unknown

S. Padua (Lovelace & Babbage)

• Ada Lovelace Day 2017! October 10, 2017
  Gooood morning, it’s Ada Lovelace Day! This comic started on Ada Lovelace Day 2009 so every year I celebrate/mourn/as myself “what happened there?” with.. gifs! Feel free to share! In a couple of gif sizes for all your gif needs!       (Good job I’m not looking for 2d animation work for lo these…
  Sydney Padua
• Sexy! Lovelace and Babbage Coming to your screens- September 3, 2017
  This entry is part 12 of 12 in the series Meanwhile..This is an emergency broadcast from 2dGoggles- Ada Lovelace and Charles Babbage (the historical ones, or at least a different interpretation of the historical ones) apparently will make a  appearance in the tv show Victoria TONIGHT on ITV in the UK- available also online. Synopsis: Having…
  Sydney Padua

Vector News Feed