When I read Ben Hutchison‘s OO/Imperative programmers: ‘Study Functional Programming or Be Ignorant’ I knew I had too much to say for the comments, so I figured I’d put in my 2 cents here. Haskell is my go-to language, both for scripting, and for getting work done. This is not because of any particular allegiance [...]
All posts for the month June, 2010
Haskell features I’d like to see in other languages
Posted by intoverflow on 30 June, 2010
http://intoverflow.wordpress.com/2010/06/30/haskell-features-id-like-to-see-in-other-languages/
Crypto in the classroom: digital signatures for homework
If you don’t know, I’m a graduate student at the University of Utah, which means I make a living my teaching classes. Recently a student charged that I lost a good deal of her homework. We wound up in a “he-said/she-said” situation where ultimately the dean concluded that we need to raise her grade by [...]
Posted by intoverflow on 27 June, 2010
http://intoverflow.wordpress.com/2010/06/27/crypo-in-the-classroom-digital-signatures-for-homework/
Syntactic support for Kaminsky’s Interpolique in Haskell
When I recently wrote about my first impressions of Kaminsky’s Interpolique, I mentioned that the only thing I didn’t like is that PHP doesn’t offer any way to protect against syntactic mistakes, such as where the programmer mistakenly uses a $ instead of a ^^. Today we’ll look at how Interpolique can be implemented in [...]
Posted by intoverflow on 23 June, 2010
http://intoverflow.wordpress.com/2010/06/23/syntactic-support-for-kaminskys-interpolique-in-haskell/
First impressions: Serving statically with Snap
(This post refers to Snap 0.2.6.) There’s been a lot of buzz about the Snap framework, so I thought I’d give it a look. My personal website doesn’t have anything dynamic going on, so arguably Snap is “overkill,” but then again so is Apache, so what the heck. Snap is entirely experimental at this time: [...]
Posted by intoverflow on 20 June, 2010
http://intoverflow.wordpress.com/2010/06/20/first-impressions-serving-statically-with-snap/
Still solving string injection: first impressions of Kaminsky’s Interpolique
This past week Dan Kaminsky announced Interpolique, a technology for dealing with string injection problems in web applications. The basic idea is pretty sharp: instead of writing (say) PHP code like $conn->query(‘insert into posts values($_POST[author] , $_POST[content] );’); we write $conn->query(eval(b(‘insert into posts values(^^_POST[author] , ^^_POST[content] );’))); The b function is provided by interpolique. It [...]
Posted by intoverflow on 17 June, 2010
http://intoverflow.wordpress.com/2010/06/17/still-solving-string-injection/
Activity on github- An error has occurred; the feed is probably down. Try again later.
-
Flickr Photos
More Photos - Articles of Interest
- A geometric proof of the impossibility of angle trisection by straightedge and compass 10 August, 2011 Terence Tao
- PE Import Table and custom DLL paths 3 July, 2011 j00ru
- June 2011 10 June, 2011 duncan@xrtc.net
- Bitcoin 2 20 May, 2011 Ben
- Marie Curie 9 May, 2011 (author unknown)
- Build your own Programmable Logic Controller 4 May, 2011 Mike Szczys
- Android vold mPartMinors[] Signedness Issue 28 April, 2011 xorl
- Understanding Electric Vehicle Charging 31 January, 2011 (author unknown)
- Hiding a sshd inside a httpd trickery 8 October, 2010 noreply@blogger.com (Icke)
- Let generalisation in GHC 7.0 30 September, 2010 simonpj
