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.
madlibster.blogspot.com
Libby's Latest: January 2014
http://madlibster.blogspot.com/2014_01_01_archive.html
Friday, January 24, 2014. I hardly ever sync my phone and so this is my semi-annual cell phone pics recap post. Probably I should break it up into more than one post but. The Frog wanted to be Ironman for Halloween and wore that costume day and night until Halloween, and by then he had actually outgrown it. he was given Iron Patriot (aka War Machine) from his cousin for Christmas and now he wears that one and Peach will wear this one. The Frog has me take pictures of works he is especially proud of.
madlibster.blogspot.com
Libby's Latest: May 2015
http://madlibster.blogspot.com/2015_05_01_archive.html
Monday, May 4, 2015. After playing sardines during Family Home Evening. Tonight, Peach says after our treat, "I want to play tuna again.". Minutes later, The Frog comes in and says, "Can we keep playing salmon? Wait, what's it called? Update 5/7/15 - I was reading a book about oceanography to The Frog and on the page talking about plankton it was anchovies were mentioned as eating plankton. Upon hearing about anchovies,. The Frog perks up and says: "anchovies? The Frog: "You know. that game!
madlibster.blogspot.com
Libby's Latest: December 2014
http://madlibster.blogspot.com/2014_12_01_archive.html
Wednesday, December 24, 2014. I can't believe how busy life is with homeschooling! I am so behind on updating the blog. I suppose I should have known. but really! The Frog has joined the Tiger Cub Scouts, which he loves. He just earned his Bobcat badge and really liked touring the local firehouse. He loves to read picture books out loud to himself every night. His favorite things to do are put together large lego sets at Gampie's house and play Minecraft :). Aside from school for the kids, I have been ke...
madlibster.blogspot.com
Libby's Latest: I <3 pi
http://madlibster.blogspot.com/2015/03/pi-day-of-our-lives.html
Saturday, March 14, 2015. I love math and I love to bake and I love to eat baked goods, so Pi day is definitely my favorite fake holiday :). In case you've been living under a rock and don't know why this is the best Pi day you will ever experience. Pi or π, is just a ratio. Take any circle or cylinder - your favorite can of soup? It goes on forever and never repeats. So, today is special because the date is 3/14. (3.14 get it? But hold the phone because we get a March 14th every year. This. March 15, 20...
madlibster.blogspot.com
Libby's Latest: December 2013
http://madlibster.blogspot.com/2013_12_01_archive.html
Tuesday, December 24, 2013. Christmas Eve. The Frog and Peach are having a sleep-over. Me: So, kids. Tomorrow is Christmas, which means I want to make sure you know what is going to happen. What is the first thing you do when you wake up? The Frog: OPEN PRESENTS! The Frog: Open Jesus's present. What if an ornament falls off the tree and breaks? Or if a stocking falls down? Me: nobody is to go downstairs until mommy and daddy wake up! Looking forward to sleeping in this Christmas. :). Links to this post.
