Tuesday, July 12, 2016. Peeking into the future with RDP. 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 full second. But why should this be? Predictions are often wron.

Reimagining the Suburban Yard to Reverse Pollinator and Insect Decline. A Possible Pollinator Solution and Other Things I Learned from My Nature Yard. I wanted to share some things that I learned from growing native plants in my yard. This will be about what I learned about nature and some discoveries about how we might rethink the idea of the suburban yard from an alternate land management perspective. Aggressive Native Plants Will Own Your Yard. Bees Are Not the Only Pollinators.

Using Computer Modern on the web. We now have a web based tutorial. For LogiQL, the descendent of Datalog we have been developing at LogicBlox. Given my high standards, I feel we still have more work to do on the language. However, as our newly revised website points out, it is being successfully used it solve very real business problems already.

Homotopy Type Theory and Univalent Foundations. This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved in its study. Homotopy Type Theory and Univalent Foundations.

Posted on Thu 22 March 2018 in Neuroscience. 8226; Tagged with SPM. Code for a MATLAB class,. To plot out brain plots à la J. A simple but useful way to assess fMRI scan qualities. To be used in conjunction with a first-level SPM analysis. The plot is useful to identify various artifacts. Extracting ROIs for PPI Analysis Using SPM Batch. 8226; Tagged with SPM.

Thursday, January 9, 2014. Life update, a TA blog. And begun a teaching-track position at Carnegie Mellon. This semester I will have a bit of a change of pace teaching Foundations of Programming Languages, a course designed by Bob Harper. And based on his book Practical Foundations of Programming Languages.