Four short links: 22 October 2018

Perl in the Browser, Pharo Programming, Program Synthesis, and Raster Vision

By Nat Torkington
October 22, 2018
  1. WebPerl — run Perl in the browser, via WebAssembly and EmScripten. PerlMonks discussion. (via Hacker News)
  2. Pharoa pure object-oriented programming language and a powerful environment focused on simplicity and immediate feedback (think IDE and OS rolled into one). SmallTalk’s ideas are ready for a comeback!
  3. Learn faster. Dig deeper. See farther.

    Join the O'Reilly online learning platform. Get a free trial today and find answers on the fly, or master something new and useful.

    Learn more
  4. Type-Driven Program SynthesisThe talk will present two applications of type-driven synthesis. The first one is a tool called Synquid, which creates recursive functional programs from scratch given a refinement type as input. Synquid is the first synthesizer powerful enough to automatically discover programs that manipulate complex data structures, such as balanced trees and propositional formulas. The second application is a language called Lifty, which uses type-driven synthesis to repair information flow leaks. In Lifty, the programmer specifies expressive information flow policies by annotating the sources of sensitive data with refinement types, and the compiler automatically inserts access checks necessary to enforce these policies across the code.
  5. Raster Visionopen source framework for deep learning on satellite and aerial imagery.
Post topics: Four Short Links