CFP: Workshop on Hardware Acceleration of Functional and Declarative Languages Co-located with HPCA in Edinburgh, March 2024, it will explore hardware implementations of functional/declarative languages. Regular and short talks invited. Deadline 20 Nov. haflang.github.io/workshops/hafd…

I've been making fun of how legalese does not understand logic for years (since I heard "eating and drinking are not allowed")... and now it's serious. Maybe a mandatory course on Boolean logic for Law undergrads?

Microsoft.

Intelligent robots can share energy with each other growkudos.com/publications/1… via Kudos

Some recent, either very smart or very stupid (the latter being more likely), work on #AI #alignment arxiv.org/abs/2402.09734

A conference just flagged one of my papers has "possible plagiarism: 91% similarity to online material". Similar to.... the ArXiv preprint version of the same paper 😑

I've noticed some people have difficulty conceiving of a plural "they"; eg, they refer to countries/orgs as a single entity, and find contradictory actions (clearly by different people) puzzling. Can anyone point me to relevant terminology/literature on this? Academic Chatter™

paulofrgarcia.substack.com/p/the-students…

A small contribution to #AI alignment now available: nature.com/articles/s4159…

New work at the intersection of game theory and cyber-physical systems now available dl.acm.org/doi/10.1145/37…

I'm teaching 2 courses on the same day to the same cohort of students (that have only ever used Python). C in one course, Common Lisp in the other. A great deal of fun :) #lisp #C

No one talks about the true problem with Lisp: consistently typing "(git ...)" after exiting the REPL