weaselhat.com
Contracts: first-order interlopers in a higher-order world | weaselhat
http://www.weaselhat.com/2014/10/17/contracts-first-order-interlopers-in-a-higher-order-world
Contracts: first-order interlopers in a higher-order world. 8216;s POPL 2012 paper The Ins and Outs of Gradual Type Inference. I ran across a quote that could well appear directly in my POPL 2015 paper, Space-Efficient Manifest Contracts. The key insight is that … we must recursively deconstruct. Higher-order types down to their first-order parts, solve for those …, and then reconstruct the higher-order parts … . [Emphasis theirs]. And Threesomes, with and without blame. Leave a Reply Cancel reply.
weaselhat.com
Cultural criticism and ‘tech’ | weaselhat
http://www.weaselhat.com/2014/12/12/cultural-criticism-and-tech
Cultural criticism and ‘tech’. A venue for cultural criticism of tech, sensu lato. They cover a wide range:. How alcohol can make events less inclusive (and what to do about it). How ‘get-into-tech’ schools reiterate systemic inequality. What diversity is, and the difference between liberation and inclusion. How ‘hip’ tech offices enforce the same cultural and political strictures as corporate America. Leave a Reply Cancel reply. Your email address will not be published. Required fields are marked *.
weaselhat.com
Concurrent NetCore: From Policies to Pipelines | weaselhat
http://www.weaselhat.com/2014/03/03/concurrent-netcore-from-policies-to-pipelines
Concurrent NetCore: From Policies to Pipelines. And I submitted a paper to ICFP 2014. It’s called Concurrent NetCore: From Policies to Pipelines. Here’s the abstract:. Recently, the SDN landscape has begun to change as several proposals for new, reconfigurable switching architectures, such as RMT. Support a richer SDN model in which a switch configuration phase precedes the rule population phase. In the configuration phase, the controller sends the switch a graph describing the layout and capabilitie...
weaselhat.com
Presentations | weaselhat
http://www.weaselhat.com/category/presentations
I’m really happy to be part of the first PLVNET. A workshop on the intersection of PL, verification, and networking. I have two abstracts up for discussion. The first abstract, Temporal NetKAT. Is about adding reasoning about packet histories to a network policy language like NetKAT. The work on this is moving along quite nicely (thanks in large part to Ryan Beckett! And I’m looking forward to the conversations it will spark. The second abstract, Type systems for SDN controllers. See our POPL submission.
weaselhat.com
PHPEnkoder 1.13 | weaselhat
http://www.weaselhat.com/2015/02/09/phpenkoder-1-13
I’ve resolved some. Level messages that were showing up when people set. For pointing out this problem on the WordPress forums. As always, please let me know on the forums or email hidden; JavaScript is required. If you run into any problems. Cultural criticism and ‘tech’. Twitter bots and OAuth. Leave a Reply Cancel reply. Your email address will not be published. Required fields are marked *. Me @ google scholar. Me @ last.fm. Me @ pomona cs.
kishordaher.wordpress.com
Learning in progress – Page 2 – With great power comes great responsibility.
https://kishordaher.wordpress.com/page/2
With great power comes great responsibility. September 29, 2009. Microsoft Security Essentials provides real-time protection for your home PC that guards against viruses, spyware, and other malicious software. It is available for free, for Windows XP 32-bit, Windows Vista/7 32-bit, and Windows Vista/7 64-bit. http:/ www.microsoft.com/security essentials/. Project Tuva from microsoft research. September 18, 2009. September 18, 2009. Http:/ research.microsoft.com/apps/tools/tuva/index.html. July 19, 2009.
flapjax.blogspot.com
Flapjax Development Blog: February 2007
http://flapjax.blogspot.com/2007_02_01_archive.html
There's a new buzzword sweeping through Web programming circles:. Languages. These are languages that help nullify the traditional three-tier architecture from the perspective of a programmer. So far, so good (to some extent, anyway). What baffled me was that I was recently at a meeting about Web programming and Web services, at which Web programming languages were classified into two kinds tiered and tierless and Flapjax was put into the former category. Allow me to strenuously object. In the Hop model,...
flapjax.blogspot.com
Flapjax Development Blog: November 2006
http://flapjax.blogspot.com/2006_11_01_archive.html
Shriram will present Flapjax at the LFCS Lab Lunch. On Tuesday, November 14, 2006. Posted by Shriram Krishnamurthi at 11/13/2006 06:03:00 PM. Data Flowing Down Telegraph Avenue.
cananian.livejournal.com
Dr. C. Scott Ananian
http://cananian.livejournal.com/tag/programming
Dr C Scott Ananian. Rust is not fast. October 3rd, 2013. There are plenty of safe high-level languages in the world; JavaScript, for example. Rust. Is different: it's supposed to be safe and fast. But Rust is slow. (And its type system hates you.). Rust is slow because there is lots of hidden indirection ("smart dereferencing") and other hidden costs (ref counting, etc). In low-level C code I can look at a line of code and know roughly how many (slow) memory accesses are present. Not so in Rust. Rust is ...
cananian.livejournal.com
Dr. C. Scott Ananian
http://cananian.livejournal.com/tag/turtlescript
Dr C Scott Ananian. JavaScript in asm.js (and a little rust). October 3rd, 2013. Over on twitter, Tim Caswell mentioned, "I think high-level scripting language on top of something like rust.zero would make for an amazing OS.". And that set me off a bit. Twitter isn't a great place to write a reasoned discussion of programming languages or implementation strategies, so let's take a shot at it here. As I've written about on this blog. My TurtleScript bytecode interpreter written in Rust. The. But the true ...