User loginNavigation |
FunSolving a Sudoku with one SQL-statementDoing strange things with SQL is always fun... This Sudoku solver makes use of Oracle 10g's MODEL clause, which seems quite hairy. SQL isn't mentioned around here all that often, so I am glad we can at least remind ourselves from time to time of the most heavily used declarative language out there by posting SQL puzzles and hacks... AngloHaskell 2007Following on from last year, I've started organising an AngloHaskell event for 2007. It's early days yet, but planning is taking place on the haskell wiki at http://www.haskell.org/haskellwiki/AngloHaskell and on #anglohaskell on irc.freenode.net - anyone who might attend is welcome to join in the discussion. Last year's event was good fun, featuring practically-oriented and hobbyist talks, punting and plenty of pub time. The organisation process may seem a little haphazard, but an important part of laziness is being able to evaluate things when they are in fact demanded! On that basis, a time and a venue are the first order of business. By Philippa Cowderoy at 2007-05-21 19:03 | Fun | General | login or register to post comments | other blogs | 5563 reads
LC for kids (alligators, oh my!)(via Wadler) You can show it to the kids, or try to guess what each element in the game represents before reading the explanation at the end... YesnoYesno: the other side ot the Gödelian coin
Interactivity considered harmfulAfter reading many posts lauding interactive tools as an integral part of the next big thing in software development, I figured I could offer this as counterpoint. The paper Magic Ink: Information Software and the Graphical Interface very eloquently argues that most software today, especially information-intensive software (think IDEs and many other GUI-based PL tools) are really badly designed. The most memorable section subtitle being interactivity considered harmlful. This is a real treasure trove of wonderful design ideas for interfaces for information-rich applications. This paper follows in the grand tradition of Edward Tufte, whose book The Visual Display of Quantitative Information was an incredible revelation for me. Somehow, I do think that some of the ideas behind Intentional Software fit in here -- although I make no claim as to whether the actual implementation of those ideas is an appropriate realization. By Jacques Carette at 2007-04-02 02:07 | Fun | General | Software Engineering | 11 comments | other blogs | 65490 reads
Ninety-nine Lisp ProblemsSelf-Reproducing Programs in Common LispSelf-Reproducing Programs in Common Lisp by Peter Norvig, 1990.
Writing A Lisp Interpreter In Haskell(via Windley) This seems like a nice writeup. The article even manages to introduce monads (without explicitly going into all the details), and provides the correct perspective about them (i.e., they are not just for IO). Also featured: Parsec and a bit irony (see footnote #2). Holodeck games and CCCsFrom the n-Category Cafe, some notes on Holodeck Games and cartesian closed categories. This also appeared here (and was mentioned by Phil Wadler). The two posts seem to have different addenda, comments and links, so it may be worth looking at both. It's fun to see lambda calculus introduced to an audience already familiar with categories, as that seems to be the opposite of the usual state of affairs around here, and I can think of certain LtU regulars who will hopefully find this whole subject enjoyable. By Matt Hellige at 2006-10-23 23:03 | Category Theory | Fun | Lambda Calculus | login or register to post comments | other blogs | 7374 reads
A Madman Dreams of Turing MachinesHere's something a little unusual... a novel. A Madman Dreams of Turing Machines. Janna Levin.
The potential interest to this audience should be fairly obvious, although the book is centered at least as much on their substantial personal struggles as on their work. Here is the New York Times review, perhaps it would be nice to have an LtU review as well... By Matt Hellige at 2006-10-13 21:31 | Fun | login or register to post comments | other blogs | 7671 reads
|
Browse archives
Active forum topics
|
Recent comments
11 weeks 1 day ago
15 weeks 3 days ago
17 weeks 8 hours ago
17 weeks 8 hours ago
19 weeks 5 days ago
24 weeks 2 days ago
24 weeks 2 days ago
24 weeks 5 days ago
24 weeks 5 days ago
27 weeks 4 days ago