## User login## Navigation |
## Fun## p5.jsp5.js is a JavaScript library inspired by Processing. Seems it could be a fun way to introduce non-CS types to programming. The demo is particularly well done; check it out first. The actual home of the project is here. ## Co-hygiene and quantum gravity
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 2017-06-17 15:11 | Fun | History | Paradigms | Theory | login or register to post comments | other blogs | 10781 reads
## Portable Efficient Assembly Code-generation in High-level 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 Literature
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).
By Allan McInnes at 2015-07-20 19:49 | Fun | General | History | 1 comment | other blogs | 9513 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 2015-07-17 16:47 | Category Theory | Critiques | Fun | General | Semantics | Theory | login or register to post comments | other blogs | 7544 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 2015-07-03 19:16 | Cross language runtimes | Fun | Functional | General | Implementation | Object-Functional | OOP | Paradigms | Software Engineering | 5 comments | other blogs | 15207 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 2014-10-28 07:52 | Category Theory | Fun | Functional | Lambda Calculus | Scientific Programming | Semantics | Theory | Type Theory | 5 comments | other blogs | 15928 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 2014-10-22 09:57 | Category Theory | Fun | Functional | Paradigms | Semantics | Theory | 36 comments | other blogs | 15707 reads
## sml-family.orgIn his blog, Bob Harper, in joint effort with Dave MacQueen and Lars Bergstrom, announces the launch of sml-family.org:
By Ohad Kammar at 2014-09-30 19:27 | Fun | Functional | History | Implementation | Paradigms | Semantics | Theory | 1 comment | other blogs | 9664 reads
## Scratch jrScratch jr is an iPad version of the Scratch environment, designed with young kids in mind. It is the best kid-oriented programming tool I tried so far, and my five year old has great fun making "movies" with it. As I noted on twitter an hour after installing, the ability to record your own voice and use it for your sprites is a killer feature. Check it out! |
## Browse archives## Active forum topics |

## Recent comments

10 hours 7 min ago

11 hours 49 min ago

18 hours 35 min ago

20 hours 47 min ago

22 hours 15 min ago

22 hours 59 min ago

1 day 3 hours ago

1 day 10 hours ago

1 day 10 hours ago

1 day 12 hours ago