vshabanov-ru.blogspot.com
Веб-дневник Владимира Шабанова: Дима Макеев. 26.10.1971—21.06.2007
http://vshabanov-ru.blogspot.com/2007/07/2610197121062007.html
Понедельник, июля 30, 2007. Дима Макеев. 26.10.1971—21.06.2007. Вот и прошло 40 дней с момента, как оборвалась жизнь очень дорогого мне человека, моего двоюродного брата Димы Макеева. До сих пор не верится, что это произошло. Дима был отличным музыкантом, светлым, веселым и очень жизнерадостным человеком. Мы всегда будем помнить твою музыку, твой голос и все то время, когда ты был с нами. Царствие тебе небесное, и пусть земля тебе будет пухом. Подписаться на: Комментарии к сообщению (Atom).
vshabanov-ru.blogspot.com
Веб-дневник Владимира Шабанова: Что общего у Haskell и Apple
http://vshabanov-ru.blogspot.com/2012/10/haskell-apple.html
Понедельник, октября 08, 2012. Что общего у Haskell и Apple. Посетило вдохновение, написал пост. Милости просим:. Http:/ vshabanov.livejournal.com/845.html. Подписаться на: Комментарии к сообщению (Atom). Что общего у Haskell и Apple. Haskell programmer, founder of BazQux. Love to develop useful tools.
the-user.org
The User's blog – Free Software, KDE, Programming, Politics… » Nokia
http://the-user.org/category/computing/nokia
The User's blog. Just a generic nick for someone adoring genericity. Archive for the ‘Nokia’ Category. Monday, July 9th, 2012. There is a rumour that a small Finish company called. Lead by ex-Nokia-employees is trying to revive MeeGo. ( here. Is there a new chance for a real GNU/Linux mobile operating system with great hardware support being free like in freedom, not free like in Android? What are your opinions about it? MeeGo finally dead, absolutely dead. Thursday, September 29th, 2011. He is a C# fanb...
deadhorsetimes.blogspot.com
The Dead Horse Times: August 2012
http://deadhorsetimes.blogspot.com/2012_08_01_archive.html
The Dead Horse Times. S I · E Q V V M · M O R T V V M · F L A G E L L Ē S , · N O N · C E L E R I V S · C V R R A T . Romneys Sister Souljah moment? I'm a programmer and parent from the Portland, OR area. View my complete profile. Wednesday, August 8, 2012. Romney's "Sister Souljah" moment? For Mitt Romney to produce a "Sister Souljah moment" of his own; a rebuke to his party's base that makes him attractive to swing voters. This thoroughly infuriated conservatives. While not quite a Souljah-esque rebuke...
weaselhat.com
Papers | weaselhat
http://www.weaselhat.com/category/papers
Space-Efficient Manifest Contracts at POPL 15. I am delighted to announce that Space-Efficient Manifest Contracts. Will appear at POPL 2015 in Mumbai. Here’s the abstract:. We show how to achieve sound space efficiency for manifest contracts with strong predicate contracts. The essential trick is breaking the contract checking down into coercions. The conference version is a slightly cut down version of my submission, focusing on the main result: eidetic λ. 8216;s POPL 2012 paper The Ins and Outs of Grad...
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 *.
eatthedots.blogspot.com
:: eat the dots ::: April 2006
http://eatthedots.blogspot.com/2006_04_01_archive.html
Eat the dots :. Game over, man. Thursday, April 27. Slony 1.1.5 subscribe set autovacuum = deadlock. Well, that scenario never came to pass, and now I am upgrading the secondary to 8.1 as well. After a rather slow experience reloading the primary after its upgrade I opted to rebuild the secondary rather than dumping it, reloading it and letting it sync. Moral: Make sure nothing else can mess with the secondary while it subscribes. Disable outside connections and turn off autovacuum. Wednesday, April 12.
eatthedots.blogspot.com
:: eat the dots ::: November 2006
http://eatthedots.blogspot.com/2006_11_01_archive.html
Eat the dots :. Game over, man. Thursday, November 2. The documentation for the (very useful) Python codecs module is quite terse in places. In particular I didn't find the StreamRecoder docs. Especially helpful, and there are no examples. Basically what I needed was an on-the-fly conversion from a file encoded in Latin-1 (which makes a good catch-all when you aren't sure of the encoding) into UTF-8. I was using this file as input to the database, via psycopg2's. Recoder = codecs.StreamRecoder(infile,.
dailystatic.blogspot.com
Technology, Dynamic Programming and Entrepreneurship
http://dailystatic.blogspot.com/2005/06/skillful-student-i-am-getting-ready-to.html
Technology, Dynamic Programming and Entrepreneurship. Tuesday, June 28, 2005. I am getting ready to roll out a Rails site with one of they guys that I used to work with. You can check out the beta version of the site at: http:/ skillfulstudent.com. It's been a pretty fun process building this site in rails, and it definitely makes me look forward to building other sites. Posted by Beowulf at 4:06 PM. Comments: Post a Comment.