Time at the airport doesn't equate to time wasted. One can read, write, work on one's laptop, ... all with a calm mind absent the tensions and anxieties of cutting it fine, which has its own costs.
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...
So that's why they were named Gordon Lightfoot!
At this point MAGA is just Stockholm Syndrome for people who don’t know where Stockholm is.
And e e cummings, Oh! he's another case!
Of capital norms he cared not a trace.
To break all the rules, that was his bent.
And we can too! To remind us, that's why poets are sent.
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
Ceci n'est pas une derangement -- MAGA-writ
But at the moment it looks like Trump likes Dire Straits more than Starmer. #Hormuz
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.
Many needy NGOs: Dictator Rehab Project, Food Stamps for Ex-Dictators, Therapist Pool for Ex-Dictators, Yessir Group of Emotional Support Aides for Ex-Dictators, Virtual Palace Project for Ex-Dictators, Hire-an-Unemployed-Ex-Dictato Nepo Agency, Paul McCartney Or-Ban On The Run Music Project, ...
Minden magyar barátomnak:
🇭🇺
No matter how much you push the envelope, it'll still be stationery.
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".
Across an inky sky, a line of red orange bisects the photo, shooting at an angle right below a half moon. The moon is in the midst of an eclipse and is also a rare blood moon.
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
people proclaiming trans people are welcome with them
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.
Photo of winter leafless tree limbs coated in ice glowing pink in morning light
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?
The Deli Double.
What, you don't like blizzards? Oh! the meteorology! Oh! the science! Oh! the potential for a thousand Jeopardy! questions!
Photo of a pudgy robin on a bird feeder in snow
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
