iiinova — where your digital self keeps evolving

Rob Stewart @robstewartuk.bsky.social · 24/09/2026

Our new paper: Ouros, our processor for lazy functional languages. Its pipeline hides latency to overcome inherent sequentiality of graph reduction, through dataflow-driven execution and automatic multi-threading. It's up to 118% faster than our earlier KappaMutor processor. doi.org/10.1109/ASAP...

doi.org

043

Rob Stewart @robstewartuk.bsky.social · 15/07/2026

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

120

Rob Stewart @robstewartuk.bsky.social · 16/06/2026

Exporting org files to PDF with the Eisvogel latex template. This post explains how to export org mode files to PDFs using the modern Eisvogel latex template using the org export dispatcher. www.macs.hw.ac.uk/~rs46/posts/...

macs.hw.ac.uk

Exporting org files to the Eisvogel latex template

000

Rob Stewart @robstewartuk.bsky.social · 27/01/2026

mailmerge is a command line mail merge emailing tool that supports the jinja2 template engine. If your organisation uses Microsoft email but has disabled password-based authentication, I've written a post about using mailmerge with OAuth authentication instead. www.macs.hw.ac.uk/~rs46/posts/...

macs.hw.ac.uk

Mailmerge with Microsoft OAuth authentication

You will need to complete two steps first:

000

Reposted by Rob Stewart

Sam Rose @samwho.dev · 03/01/2026

Holy shit.

A graph of stack overflow questions asked per month. It’s almost a perfect curve starting at 0 on the far left, in 2009, peaking in the middle in 2017 at about 200,000, then dropping down to near 0 today on the right.

1515532

Rob Stewart @robstewartuk.bsky.social · 10/12/2025

In 2019 I gave a lecture series about DSLs to PhD students at SPLV'19. I covered 1970s DSL examples, advantages and disadvantages of DSLs, internal vs external DSLs and a discussion about defining DSLs. I've written a LinkedIn article, which links to the slides. www.linkedin.com/pulse/domain...

linkedin.com

Domain Specific Languages - my lecture slides from SPLV 2019

I gave a lecture series about Domain Specific Languages at the Scottish Programming Languages and Verification Summer School (SPLV) in 2019. Slides below 👇I covered.

010

Rob Stewart @robstewartuk.bsky.social · 03/07/2025

We recently gave a seminar at IOG (IOHK). We presented our 3 functional programming language processors: Heron, KappaMutor and Siege. We discussed the historical computer architectures that influences our work (see slide) and also our desire to lower the barrier for industry adoption of our tech.

Architectures for accelerating functional languages.

130

Rob Stewart @robstewartuk.bsky.social · 30/06/2025

We have just sent the code 435841 to a phone number. Please enter the phone number this was sent to:

110

Rob Stewart @robstewartuk.bsky.social · 10/06/2025

#Emacs "If you are a professional writer [...] emacs outshines all other editing software in approximately the same way that the noonday sun does the stars. It is not just bigger and brighter; it simply makes everything else vanish." From "In the Beginning was the Command Line" by Neal Stephenson.

web.stanford.edu

051

Rob Stewart @robstewartuk.bsky.social · 07/05/2025

Our paper "From Haskell to a New Structured Combinator Processor", accepted to TFP 2025 after post-symposium review, presents our new compact FPGA-based processor. Based on structured combinators, it exploits parallel memories for single-cycle reductions. researchportal.hw.ac.uk/en/publicati...

researchportal.hw.ac.uk

From Haskell to a New Structured Combinator Processor

141

Rob Stewart @robstewartuk.bsky.social · 31/03/2025

MFA fatigue: when your phone is not nearby to type in a one-time password, so you don't bother doing 2 minute micro tasks. Linux and MacOS users can use the command line to generate verification codes instead, for websites that authenticate with Microsoft accounts. www.macs.hw.ac.uk/~rs46/posts/...

macs.hw.ac.uk

Command Line One Time Passwords for Microsoft Multi-Factor Authentication

This post explains how to generate verification codes via the command line in Linux and MacOS to log into websites that use Microsoft mutli-factor authentication (MFA).

010

Rob Stewart @robstewartuk.bsky.social · 29/03/2025

In 2023 I curated a 100 year timeline about hardware implementations of functional programming languages. Best viewed on a desktop or laptop screen. I occasionally add to it. haflang.github.io/history.html

haflang.github.io

HAFLANG - A History of Functional Hardware

2204

Reposted by Rob Stewart

Rob Stewart @robstewartuk.bsky.social · 26/03/2025

I often point students to The Elements of Style by Strunk & White for dissertation or paper writing. I've come across researcher Laura Lisabeth, who "combines historiography and cultural studies to critically examine" this guide, touching on racial identity, social power and marginalised identities.

111

Rob Stewart @robstewartuk.bsky.social · 26/03/2025

111

Rob Stewart @robstewartuk.bsky.social · 06/02/2025

The comments section in a Telegraph review of a new EV car is entirely predictable. #EV

000

Rob Stewart @robstewartuk.bsky.social · 24/01/2025

"For me"... really? Elon Musk algorithms in overdrive, pushing content to a non-American with no alignment to the politics or people in those news articles. A race to the bottom over on Twitter. Beware the American tech bro oligarchs pushing the Trump 2024 agenda.

010

Rob Stewart @robstewartuk.bsky.social · 15/01/2025

Hybrid BCS event: Functional Programming and Dependent Types for Metrology. "This presentation discusses how functional programming and dependent types can improve trustworthiness of software in measurement science (metrology)." Tuesday 11 February, 5:30pm - 8:30pm. www.bcs.org/events-calen...

bcs.org

Hybrid event: Functional Programming and Dependent Types for Metrology | BCS

This presentation discusses how functional programming and dependent types can improve trustworthiness of software in measurement science. Join our free event on Tuesday 11 February, 5:15pm - 8:30pm

020

Rob Stewart @robstewartuk.bsky.social · 15/01/2025

Sharing again because I cannot emphasise enough the improved user experience in Emacs that this ultra-scroll mode provides, when a trackpad is used for the mouse cursor. It also solves the jittery movement of inline images e.g. in org mode or email clients in #Emacs.

000

Reposted by Rob Stewart

Rob Stewart @robstewartuk.bsky.social · 11/01/2025

I recommend emacs users try this out. Performs really well, very smooth scrolling and doesn't seem to impact CPU use. Reported to be about 40% faster than the built-in pixel scrolling mode.

021

Rob Stewart @robstewartuk.bsky.social · 11/01/2025

I recommend emacs users try this out. Performs really well, very smooth scrolling and doesn't seem to impact CPU use. Reported to be about 40% faster than the built-in pixel scrolling mode.

021

Reposted by Rob Stewart

Adrian Sampson @samps.phd · 09/01/2025

☕️ We’re running LATTE again: our ASPLOS workshop about languages/compilers/tools/whatever for hardware design. Submissions are just little 2-pagers, due on January 31. Plenty of time to throw something together! capra.cs.cornell.edu/latte25/

capra.cs.cornell.edu

LATTE ’25

02310

Reposted by Rob Stewart

LBC @lbc.co.uk · 09/01/2025

'How's that on a scale of medieval misogyny?' Ian Hislop tells Andrew Marr that Elon Musk is 'riddled with contradictions'.

381352505

Reposted by Rob Stewart

Rob Stewart @robstewartuk.bsky.social · 13/12/2024

"Emacs takes a lifetime to learn. So the sooner you start, the longer it will take ... People don't quit emacs. They just die at some point." www.youtube.com/watch?v=urcL...

youtube.com

Interview with an Emacs Enthusiast in 2023 [Colorized]

YouTube video by Programmers are also human

021

Rob Stewart @robstewartuk.bsky.social · 13/12/2024

"Emacs takes a lifetime to learn. So the sooner you start, the longer it will take ... People don't quit emacs. They just die at some point." www.youtube.com/watch?v=urcL...

youtube.com

Interview with an Emacs Enthusiast in 2023 [Colorized]

YouTube video by Programmers are also human

021

Reposted by Rob Stewart

Lewis Goodall @lewisgoodall.com · 29/11/2024

Some great speeches from doctors in the debate today. Shows the value of proper professional representation in parliament. We could do with far more of it from working class professions as well.

2691593

Reposted by Rob Stewart

SIGPLAN @sigplan.bsky.social · 23/11/2024

⊨ bluesky ∈ accounts(sigplan)

1388

Rob Stewart @robstewartuk.bsky.social · 23/11/2024

In Scotland: 3 degrees at 4pm, rising to 13 degrees at 4am the following morning. An Insight into weather instability caused by climate change.

010

Rob Stewart @robstewartuk.bsky.social · 22/11/2024

Mastodon is decentralised. Its interface when joining it makes that explicit (I'm on mastodon.scot). Bluesky also decentralised but that's hidden in the UI. Mastodon is open source, Bluesky not so (but less nerdy?). Been on Mastodon for a year but Bluesky has exploded. Which should I be posting to?

mastodon.scot

A server intended for (but not limited to) users in Scotland or who identify as Scottish.

110

Reposted by Rob Stewart

joomy @joomy.bsky.social · 19/11/2024

"A Verified Foreign Function Interface between Coq and C", by me, Kathrin Stark and Andrew W. Appel will appear at POPL 2025! www.cs.princeton.edu/~appel/paper... this is the culmination of years of research (and most of my grad school work), so I'm excited to see it finally published! 🎉

24419