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...

This is like an old fashioned Gawker blog but somehow British and high-brow. I'll take it. www.ft.com/content/ad94...

R.I.P. Mike Flynn, processor architect and professor. One of the designers of the awesome IBM 360 model 91.

America is always like “ok but the NEXT regime change will work,” like when I “cut out carbs” briefly every January.

Overheated power tools for finishing woodwork: burny sanders

I saw this term recently: "ahead-of-time (AOT) compilation" Seems weird/redundant--isn't AOT the essence of compilation? Otherwise it's just interpretation. #AOT

Winter visitors

A frabjuous phenomenal fractal Phineas foggy forenoon

Paper for interest: "Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity", arxiv.org/abs/2507.09089 TL;DR: the impact was negative

This message hits hard.

Winter visitors

“By reading this plaque, you have made a valuable addition to the number of people who have read this plaque” … an important heritage moment on the streets of Toronto (by artist Sarah Lazarovic).

Very cool! "One pull of a string is all it takes to deploy these complex structures" news.mit.edu/2025/one-str...

NORAD Santa tracker is Woke

How it started… How it’s going! A HUGE thank you to everyone who came to the rescue & helped support independent journalism in this darkest of years. We lost our news organisation…but we built a new one! @thenerve_news 🙏🙏🙏

If you are a past, current, or potential future user of #Haskell, please fill out the annual State of Haskell online form, at: www.surveymonkey.com/r/6M3Z6NV

The most compelling argument for this is that Sam was once a baby raised without ChatGPT, and look how he turned out.

Composable custom extensions work in progress: We’ve started drafting another spec section for a new uniform (extension-agnostic) extension state context management extension. github.com/riscv/compos... lists.riscv.org/g/tech-compo... Interested? Join us. Join RVI and this CX TG.

(1/4) We are happy to announce the release of our ICFP/SPLASH'25 coverage, totaling over 481 talks and presentations across all co-located events! youtube.com/@acmsigplan

I've completed five weeks of work at my new company Harmonic. It's intense, fast paced, highly engaging and I love being back at the whiteboard. If we succeed in our mission "Theorems For Free" will have a new meaning.

In much of the world the #Ashes score is 325/9. But #Cricket Australia's coverage says 9/325. This is said to be due the Coriolis effect.

Putin said earlier this week that Russia has no plans to invade Europe. I had a deja vu moment when I was listening to his crap:

Me, too! It’s a fantastic project that is under a lot of pressure right now.

My Zero to ASIC courses are the most recognized, highest-rated programs, and still the only ones that guarantee a tapeout! Start your journey toward holding a custom ASIC in the palm of your hand and save $150 with code Z2ABLACK25. ZeroToASICcourse.com

I’m a past winner of the Orwell Prize & won partly because I exposed Vote Leave’s unlawful activities. Michael Gove was its co-convener & refused to answer a single q. He’s now a judge of the prize & our world is truly one that Orwell would recognise bylinetimes.com/2025/11/25/m...

NASA's Copilot (not relation to Microsoft or GitHub Copilot): "language and framework to program hard-realtime, embedded systems ... supports temporal logic, clocks, voting algorithms and state machines, ... general purpose algorithms." (Has a back-end to generate #Bluespec) tinyurl.com/3868ef6z

I come from a land Dharmendar indianewengland.com/dharmendra-e... #Dharmendra #Bollywood

If I’m understanding this correctly, X is owned by a white nationalist who pays poor people of color in developing countries to pretend to be working class white Americans to scare other white Americans into being afraid poor people of color from developing countries are going to ruin America?

The Donzerly Light

Kathleen Fisher is an inspired choice as the next ARIA CEO. And I was *just* reading her papers on PADS to send to @patrick.sirref.org as ideas for our time travelling shell! ariaresearch.substack.com/p/introducin...

📢 Media invite: Artemis II 🚀 Sign up by 30 Nov to witness the first crewed mission around the Moon in 50+ years 🛰️ @esa.int's European Service Module will propel Orion and provide them with water 💧, air 🌬️, electricity ⚡ and a comfortable temperature 🌡️ www.esa.int/Newsroom/Pre...

Hooray for bitblt, a.k.a. rasterop in some backward provinces. You younguns don’t get it — but if all you knew was 24x80 character displays (*) or worse, bitblt was a long tall drink of water. Color is fine but 80% of the advance came with the bilevel display. (*) vector displays notwithstanding

Gave a talk yesterday: "Property Based Testing to verify a pipelined CPU design (hardware)" at the New England Programming Languages and Systems Symposium, about verifying my Fife RISC-V CPU using U.Cambridge's TestRIG and RISC-V Intl.'s RISC-V ISA Formal Spec nepls.org/Events/36/

Vibgyor coding.