I was in Chennai today for the launch of FP Launchpad, a new centre at IIT Madras dedicated to crafting efficient, reliable and trustworthy software with mathematical guardrails. Having a well-funded, long-horizon centre of excellence in India is a big step forward! anil.recoil.org/notes/fpl-la...

Sharing for the FP Launchpad team at IITMadras: "...request that you share the link below ... [with people] interested in Functional Programming/OCaml and are recent graduates or just-graduating with bachelor-level degrees. The deadline is Monday, 20th April." fplaunchpad.org/2026/03/06/a...

Heads-up: Mon Apr 13 (one week away): "FP Launchpad" kickoff-event at IIT Madras FP Launchpad is a new research center at IITM focusing on all aspects of functional programming. Schedule, abstracts: fplaunchpad.org/2026/03/30/f... #OCaml #OxCaml #Haskell #FormalMethods #HardCaml #Bluespec

NASA just dropped this image of Artemis II astronaut Christina Koch looking back at us. The first woman to ever see our planet in its entirety. I’m not crying you’re crying 🥹🔭🧪 📸: NASA

Humanity needs photographs like these. Maybe at least someone here, looking at them, will be reminded once more of how petty our conflicts are on this tiny blue marble in the abyss -- and how criminal are those who launch rockets not into space, but into apartment buildings full of people.

Minden magyar barátomnak: 🇭🇺

1/4 Google has known about a bug that breaks VPN apps for 7 months, leaving users exposed with no warning or error, just a VPN app that stopped working in the background. If you're using ANY VPN on Android, you can help us by getting Google's attention to fix it. Details 👇 🧵

TIL, that the "eu" in "Eureka!" is not the "eu" in eulogy/Europe/eucalyptus/eukaryote, ... but is actually the "heu" in "heuristic" (the "h" got dropped at some point). In Eureka and heuristic it comes from "to find/discover".

Once in a lifetime: 📷 Guzman Ramos captured the exact moment that a jet's contrail line sped across a blood moon that was halved by an eclipse in Guatemala mere moments into the sunrise. Truly, a masterpiece & a masterful feat of timing. #Astro #Photography #EastCoastKin #Stunday #JForJuxtaposition

Today, we're publishing Don't Steal This Book - a (mostly) empty book from almost 10,000 authors, protesting the theft of their work by AI companies. 🧵 1/3

After lunch, tutorial track B at #BOBkonf2026 continues with @lyrm.bsky.social and Sudha Parimala's "Parallelism without panic: a user’s guide to multicore safety in OCaml". Find out more here: bobkonf.de/2026/morel.h...

Did you know the amazingly awesome Open Hardware Summit is coming up in Berlin? May 23-24!? We will even do a workshop making Mothboxes there! @oshwassociation.bsky.social is a terrific organization that will help you join regardless of your ability to pay for tix! Get tix now! 2026.oshwa.org

My Washington State tax is going to go up and that's a good thing. We had the most regressive tax structure in the country for DECADES.

Cherry blossoms? No, ice in the morning light

Does an F-35 need USB-C or USB-A? Does it come with the cable or does one need to order it separately?

Round-robin

Millions of pages of Epstein files have yet to be released Two months after deadline for release

Very happy to announce the winners of our demoscene competition! 🏆 We had some amazing entries - check out what can be done in just a few square microns of silicon! tinytapeout.com/competitions... Thanks again to our judges and participants! #silicon #demoscene #ASIC

Perfect day for hot bondas and pakoras with spicy chutney

My Trans Bill of Rights protects the freedom for all trans people to live as their full, authentic selves. It’s time to get this passed!

"Google considers distillation [of Gemini] to be intellectual property theft". Says the company that hasn't paid authors worldwide for scraping their ouvre to train Gemini. #Google #Gemini www.nbcnews.com/tech/securit...

Hey look, I got featured as a winner in the JaneStreet Advent of FPGA challenge :) blog.janestreet.com/advent-of-fp...

Aside from Verilog, SystemVerilog, and VHDL, they also received submissions in Hardcaml, Chisel, Spade, Bluespec, Veryl, Clash, Spinal HDL, PipelineC, “and even someone’s own experimental HDL language”

This woodpecker is in the robin 'hood. #birds

So farewell then, Mandy McSweeney, Let's be blunt, Your overweening Rightward leaning Wasn't just a stunt. I'm really quite ashamed of you Because, of course, I'm Irish, too, So I know you knew better Than to do the things you chose. Your bones will not lie easy in repose.

Dear email providers ( #gmail #proton ...): in my inbox, I would prefer you just showed me my specific email address that was used in each email, rather than the rather useless and unhelpful my-name or "me".

I'm at the Olympics and the entire stadium booed JD Vance. 😌

Suryavanshi masterclass in Vaibh coding: www.espncricinfo.com/series/men-s... #Cricket #U19

Wrong link above! Right one here. Please share with any WaPo journalists you know/follow pressgazette.co.uk/comment-anal...

La alcaldesa de París se va de X y lo llama “gigantesca cloaca global”. www.france24.com/en/europe/20...

T20 World Cup mode activated! My weekend long read on Corbin Bosch including: 🧱 his obsession with lego! 🇦🇺 why he moved to Australia and came back 🏏 his cricketing goals for the next two years Read here:⬇️ www.espncricinfo.com/story/how-la...

I am giving a talk about automatic formal verification of computer hardware using Harmonic's Aristotle system at the University of Cambridge at their CS department on Thursday 26 February 2026 at 2PM in room FW26. The talk is open to the public. talks.cam.ac.uk/talk/index/2...

On the Northeastern University campus.

Northern Flying Squirrel (Glaucomys Sabrinus) visiting our bird feeder last night at about 3am during the snow storm.

ICE is now responsible for 66% of the homicides in Minneapolis this year.

Nuremberg trials for ICE is the moderate position

NEW: this is how the US press would report on this if it was happening in a ‘shithole country’. It’s an execution. But it also reveals how weak Trump really is open.substack.com/pub/broligar...

Brilliant idea by @arjenlubach.bsky.social: The NAAGGA hat. ‘Naagga’ means ‘No’ in Greenlandic. Sold out already! lubach.shop/product/naag...

It’s truly a special kind of unhinged psychotic who will come up with “You didn’t give me the Nobel Peace Prize so I’m going to start World War 3.”

Happy 25th birthday to Wikipedia, the world’s most trusted and widely used encyclopedia, with users around the world accessing its wealth of information and participating in free information exchange.

Announcing our first offline meetup for 2026! #FPIndia #Bangalore #Meetup! Talk submissions are also open. Please RSVP if you wish to attend: hasgeek.com/fpindia/bang... #Haskell #PureScript #Elixir #Erlang #Scala #Clojure #India #FunctionalProgramming

Following coverage over the weekend of Sir Paul Nurse's comments that suggested that the only reason that a Fellow should be expelled from @royalsociety.org is scientific misconduct, I have written to him to explain the risks such an attitude poses of increasing sexual harassment in STEM.

There's beauty everywhere, if we pause to notice it.

ICCL and Digital Rights Ireland are calling on An Garda Siochana to investigate X under the Child Trafficking and Pornography Act 1988, after its Grok AI chatbot generated non-consensual and sexualised deepfake images of children and women. Read more ➡️ www.iccl.ie/press-releas...