Just in case this Norwegian Blue shuffles off its mortal coil, you can find me @jer_gib@types.pl on Mastodon.

okay, this is getting chaotic

We're delighted to announce that the JFP Special Issue on Program Calculation is now complete, and contains eleven papers that are freely available to read online!

Torpenhow Hill in Cumbria supposedly means “Hill Hill Hill Hill.” Each part comes from a different language: Old English, Brythonic, Norse, and modern English. Basically, four groups saw the same hill and each decided to label it “hill” again.

https://t.co/bhufjCqLyO

From now on, I'm only publishing in Nature Cell and Science https://t.co/EhNqD56FiZ

me every day

The plan? At dusk, 50 people went to San Francisco's longest dead-end street and all ordered a Waymo at the same time. The world's first: WAYMO DDOS

Delighted to announce that the proceedings of TFP2025 are now (finally) published: https://t.co/82Evqs0dK2 Thanks to authors and reviewers for making this happen!

I am giving a keynote talk at the ICFP 2025 conference in October in Singapore where I will talk about the deep connection I feel between functional programming and hardware design. I'll present examples like the sorting network below, which is a butterfly network that has its

After years of complaining about cancel culture, the current administration has taken it to a new and dangerous level by routinely threatening regulatory action against media companies unless they muzzle or fire reporters and commentators it doesn’t like.

“The free, open access communications paradigm we have did not arrive like magic. It was the product of a fair amount of political wrangling” - that's why we must continue our fight for the web. 🙏 @washingtonpost for reviewing 'This Is for Everyone' https://t.co/BjJXYny5tr

Workshop proceedings for @programmingconf are now available: https://t.co/ycqiFI6wbS Thanks to Roly and the amazing team at OASIcs for putting everything together and getting it published!

"The point escaped me. I didn't know why he thought this was better than ABC, and why he had done the whole project" - Lambert Meertens on Python :-) It was fun watching the Python documentary at WG 2.1 meeting last week with Lambert. https://t.co/mtkLJ8TP02

Oxford has 7 faculty positions, across all of CS. Two are tutorial fellowships with undergraduate teaching responsibilities; five are on the part-time professional master's programme (where I teach). Closing date 17th December. Happy to discuss.

The Call for the 2026 International Symposium on Functional and Logic Programming (FLOPS) is open - the symposium is May 26-28 in Akita, Japan. Deadline for the CfP is Dec 8 (abstracts) / Dec 16 (submissions). Send us your best on the best of both worlds! https://t.co/N8jATB5e1B

This is super interesting. Usually you buy full albums, but this new format could theoretically be used to distribute individual songs, a sort of promotional single recording sent to radio as a way to build interest in an upcoming full-length release. Could be huge.

Alexander Dinges and Ralf Hinze present a dramatic pearl about binary search with Agda. https://t.co/RdbwcfR2Ko

Ralf Hinze and Dan Marsden present a graphical calculational technique based on string diagrams, and use it to explain the theory of monads. https://t.co/fYKGoDBilM

In Education Matters, Kenichi Asai presents OCaml Blockly -- an educational block-based programming environment for beginners, like Google Blockly -- but for OCaml! https://t.co/Y85u7I6Vqj

J.P. Bernardy and P. Jansson present a new Haskell-embedded domain specific language for naturally expressing tensor computations using natural index notation.