User loginNavigation 
FunA unified approach to solving seven programming problemsA fun pearl by William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might from ICFP: seven programming challenges solved (easily!) using a relational interpreter. One challenge, for example, is to find quines. Another is to find programs that produce different results with lexical vs. dynamic scope. The interpreter is implemented in miniKanren (of course), inside Racket (of course). By Ehud Lamm at 20170904 18:44  Fun  Functional  Logic/Declarative  4 comments  other blogs  18853 reads
p5.jsp5.js is a JavaScript library inspired by Processing. Seems it could be a fun way to introduce nonCS types to programming. The demo is particularly well done; check it out first. The actual home of the project is here. Cohygiene and quantum gravityCohygiene and quantum gravity. Some light weekend reading by John Shutt. The post starts with a dazzling proposition:
I can't do it justice here, so if you're interested in John's fascinating take on the relationship between lambda calculus and quantum physics, hop on over! By Manuel J. Simoni at 20170617 15:11  Fun  History  Paradigms  Theory  login or register to post comments  other blogs  13479 reads
Portable Efficient Assembly Codegeneration in Highlevel Python
You can use the same code to generate assembly for Windows, Unix, and Golang assembly. The library handles the various ABIs automatically. I haven't seen this cool project before. Among the cool features is the ability to invoke the generated assembly as regular Python functions. Nice. Tracking the Flow of Ideas through the Programming Languages LiteratureMichael Greenberg, Kathleen Fisher, and David Walker, "Tracking the Flow of Ideas through the Programming Languages Literature", SNAPL 2015.
The authors have produced some really interesting visualizations of how the topic content of various conferences has evolved over time (it's interesting to note that OOPSLA isn't really about OO software development any more, and that PLDI appears to have seen an increasing emphasis on verification and test generation). Also of potential interest to LtU readers: there is a prototype tool at http://tmpl.weaselhat.com/ that is based on the work presented in this paper. It allows you to upload a paper PDF, and will return the 10 most closely related papers according to the POPL/PLDI topic model. It could be a handy research tool. But, if nothing else, it's a fun way to see what else is related to a paper you're interested in. By Allan McInnes at 20150720 19:49  Fun  General  History  1 comment  other blogs  9671 reads
Cakes, Custard, and Category TheoryEugenia Cheng's new popular coscience book is out, in the U.K. under the title Cakes, Custard and Category Theory: Easy recipes for understanding complex maths, and in the U.S. under the title How to Bake Pi: An Edible Exploration of the Mathematics of Mathematics:
Cheng, one of the Catsters, gives a guided tour of mathematical thinking and research activities, and through the core philosophy underlying category theory. This is the kind of book you can give to your grandma and grandpa so they can boast to their friends what her grandchildren are doing (and bake you a nice dessert when you come and visit :) ). A pleasant weekend reading. By Ohad Kammar at 20150717 16:47  Category Theory  Critiques  Fun  General  Semantics  Theory  login or register to post comments  other blogs  7733 reads
Don Syme receives a medal for F#Don Syme receives the Royal Academy of Engineering's Silver Medal for his work on F#. The citation reads:
Congratulations! By Ohad Kammar at 20150703 19:16  Cross language runtimes  Fun  Functional  General  Implementation  ObjectFunctional  OOP  Paradigms  Software Engineering  5 comments  other blogs  15380 reads
Conservation laws for free!In this year's POPL, Bob Atkey made a splash by showing how to get from parametricity to conservation laws, via Noether's theorem:
By Ohad Kammar at 20141028 07:52  Category Theory  Fun  Functional  Lambda Calculus  Scientific Programming  Semantics  Theory  Type Theory  5 comments  other blogs  16080 reads
Seemingly impossible programsIn case this one went under the radar, at POPL'12, Martín Escardó gave a tutorial on seemingly impossible functional programs:
A shorter version (coded in Haskell) appears in Andrej Bauer's blog. By Ohad Kammar at 20141022 09:57  Category Theory  Fun  Functional  Paradigms  Semantics  Theory  36 comments  other blogs  15882 reads
smlfamily.orgIn his blog, Bob Harper, in joint effort with Dave MacQueen and Lars Bergstrom, announces the launch of smlfamily.org:
By Ohad Kammar at 20140930 19:27  Fun  Functional  History  Implementation  Paradigms  Semantics  Theory  1 comment  other blogs  9762 reads

Browse archivesActive forum topics 
Recent comments
3 hours 49 min ago
8 hours 16 min ago
10 hours 18 min ago
13 hours 5 min ago
13 hours 28 min ago
14 hours 11 min ago
15 hours 7 min ago
15 hours 9 min ago
15 hours 42 min ago
17 hours 7 min ago