Rob Stewart

Associate Professor in Computer science. Functional programmer, HPC, embedded systems, deep learning for Edge Computing.

@[email protected]

[Rob Stewart @robstewartUK]

I've curated a timeline of hardware architectures for functional programming languages. From the foundations of Church and Curry, to modern programmable hardware 100 years later.

Best viewed on a desktop or laptop.

As part of the @HaflangProject

[HAFLANG - Functional Languages in Hardware @HaflangProject]

We've curated a 100 year history of functional language hardware architectures. From 1924 to 2023.

This animated timeline is best viewed on a desktop or laptop.

https://t.co/2i4rBp2A5y

[Rob Stewart @robstewartUK]

Even if a referee doesn't succumb to the pressure, there should be strictly enforced rules against teams surrounding a referee every minute asking for free kicks or 🟨 or 🟥. Not in the spirit of the game. Just play football. #worldcup #England #Argentina #worldcup2026

[Rob Stewart @robstewartUK]

@aDissentient I'm curious about where discrepancies are (if any) between your model, and the 7-day 2030 generation profiles in the NESO Clean Power
2030 report. Figs. 17&18 model 2 pathways to 2030 clean power. Gas hardly features Summer & Autumn. Fig. 20 models £/MWh.

https://t.co/XEYxFmINA9

[Rob Stewart @robstewartUK]

@DaleVince What has Ed Miliband said about a pay-as-bid pricing model, ditching pay-as-clear to break the link from gas prices?

Or does he want to break the link gradually over 4 years by flooding the grid with an abundance of renewable energy implementing the Clean Power 2030 action plan?

[Rob Stewart @robstewartUK]

@agile_phil @AppleBytesPhD @iMatthew1990 @ScotlandTheGr8 @sarah_go_green @OctopusEnergy Did Ohme agree to guarantee that IOG tariff customers charge at 7.4kW 23:30 to 05:30? Might you find out that "80% of Intelligent Octopus Go charging sessions are already using less than the 6 hours" turns into 95-99% by simply turning off throttling between 23:30-05:30?

[Rob Stewart @robstewartUK]

@agile_phil @AntiEVidiots @mikeasharp @g__j About who is throttling charge rates. Kraken algorithms? Ohme? For me the algorithm is simple: if the user's target charge is achievable within the user's desired "ready by" time using dynamic charging, use throttled dynamic charging. Otherwise, charge at 7kw between 23:30-5:30.

[Rob Stewart @robstewartUK]

@agile_phil @AntiEVidiots @mikeasharp @g__j Hi Philip, another Reddit thread that may be useful when discussing the dynamic throttling with charger manufacturers. Especially the comment about Kraken using linear optimisation to calculate varying charging rates. There's a fundamental contradiction..

https://t.co/dDUPdlhmqd

[Rob Stewart @robstewartUK]

@soniasodha Probably because 👇

https://t.co/SNHgCmFCNV

[Phillip Taylor 🇺🇦 @realPhilTaylor]

@alexwickham This the classic tactic from the ‘Embattled Tory PM’ playbook.
💥 Pre-empt leadership plots by naming and shaming before they are ready.
💥 Force them to deny it and thereby knock them out of a race.
As old as Tory leadership elex.

[Constantin 🔥 @constantout]

"I built a SAAS in 3 days with 0 coding knowledge using AI. Developers are obsolete."

Their project:

[Dr. Paulo Garcia @paulofrgarcia]

New work at the intersection of game theory and cyber-physical systems now available
https://t.co/imCHUnqqI7

[Dishpit @Dishpit]

in case you didn't know, this is how you're actually supposed to do software versioning

[HAFLANG - Functional Languages in Hardware @HaflangProject]

Yukang Xie is presenting his research at TFP 2025 in Oxford. Draft paper title: "KappaMutor: A Compact Structured Combinator Processor for Haskell"

Yukang is a PhD student on our EPSRC HAFLANG project.

[Jon Sopel @jonsopel]

Change of address notification: you’ll be able to find me now on @bluesky
Have greatly enjoyed living here for over a decade, but feel the neighbourhood has really gone downhill.
Will still call by occasionally

[Tim Walker @ThatTimWalker]

How do people like Trump, and, for that matter, Johnson get elected? They divide people up. Bernie Sanders could see this 20 years ago.

[Matthew Todd 🌏🔥 @MrMatthewTodd]

We’ll be begging for it by then

[Rob Stewart @robstewartUK]

Not convinced this should be happening.

[Zhou (Joe) Li @lzcarl]

Wow, I appreciate @acm_ccs being frank about review ethics! #CCS

[HAFLANG - Functional Languages in Hardware @HaflangProject]

Some active and recent graph reduction projects, which implement functional programming languages directly in custom hardware.

A slide from Craig Ramsay's HAFLANG seminar talk at Chalmers University today.

[Joanna Hardy-Susskind @Joanna__Hardy]

When your client pleads guilty to the offence - and then tells the probation officer that he isn’t sorry at all.

[HAFLANG - Functional Languages in Hardware @HaflangProject]

Yukang Xie, a new PhD student on this HAFLANG project, is investigating processor design for functional languages. His background is dataflow architectures for cryptography, and has developed an interest in functional languages and their implementations.

https://t.co/1H3NpGpKED

[Matti Palli 🧙‍♂️ @tritlo]

When the aliens arrive, we'll be able to talk to them in Haskell (by sending them SKI combinators) thanks to @Augustsson! Amazing talk on MicroHs at the #Haskell symposium 😄