Rob Stewart
@robstewartuk.bsky.social
Associate Professor at Heriot-Watt University. Accelerating functional languages and AI in software and hardware.
https://www.macs.hw.ac.uk/~rs46/
https://www.macs.hw.ac.uk/~rs46/
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/10.1109/ASAP...
doi.org
September 24, 2026 at 10:38 AM
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/10.1109/ASAP...
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
July 15, 2026 at 7:58 PM
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
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/...
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/...
Exporting org files to the Eisvogel latex template
www.macs.hw.ac.uk
June 16, 2026 at 2:20 PM
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/...
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/...
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/...
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/...
Mailmerge with Microsoft OAuth authentication
You will need to complete two steps first:
www.macs.hw.ac.uk
January 27, 2026 at 11:08 AM
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/...
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/...
Reposted by Rob Stewart
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...
www.linkedin.com/pulse/domain...
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.
www.linkedin.com
December 10, 2025 at 3:15 PM
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...
www.linkedin.com/pulse/domain...
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.
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.
July 3, 2025 at 3:07 PM
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.
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.
We have just sent the code 435841 to a phone number.
Please enter the phone number this was sent to:
Please enter the phone number this was sent to:
June 30, 2025 at 5:08 PM
We have just sent the code 435841 to a phone number.
Please enter the phone number this was sent to:
Please enter the phone number this was sent to:
#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.
"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
June 10, 2025 at 2:43 PM
#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.
"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.
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/en/publicati...
From Haskell to a New Structured Combinator Processor
researchportal.hw.ac.uk
May 7, 2025 at 2:08 PM
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/en/publicati...
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/...
www.macs.hw.ac.uk/~rs46/posts/...
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).
www.macs.hw.ac.uk
March 31, 2025 at 10:20 AM
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/...
www.macs.hw.ac.uk/~rs46/posts/...
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/history.html
HAFLANG - A History of Functional Hardware
haflang.github.io
March 29, 2025 at 10:43 AM
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/history.html
Reposted by Rob Stewart
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.
March 26, 2025 at 12:29 PM
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.
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.
March 26, 2025 at 12:29 PM
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.
"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.
Beware the American tech bro oligarchs pushing the Trump 2024 agenda.
January 24, 2025 at 9:12 PM
"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.
Beware the American tech bro oligarchs pushing the Trump 2024 agenda.
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...
"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...
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
www.bcs.org
January 15, 2025 at 7:29 PM
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...
"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...
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.
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.
January 15, 2025 at 9:20 AM
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.
Reposted by Rob Stewart
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.
January 11, 2025 at 8:05 AM
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.
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.
January 11, 2025 at 8:05 AM
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.
Reposted by Rob Stewart
☕️ 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/
Submissions are just little 2-pagers, due on January 31. Plenty of time to throw something together! capra.cs.cornell.edu/latte25/
LATTE ’25
capra.cs.cornell.edu
January 9, 2025 at 5:15 PM
☕️ 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/
Submissions are just little 2-pagers, due on January 31. Plenty of time to throw something together! capra.cs.cornell.edu/latte25/
Reposted by Rob Stewart
'How's that on a scale of medieval misogyny?'
Ian Hislop tells Andrew Marr that Elon Musk is 'riddled with contradictions'.
Ian Hislop tells Andrew Marr that Elon Musk is 'riddled with contradictions'.
January 9, 2025 at 8:52 AM
'How's that on a scale of medieval misogyny?'
Ian Hislop tells Andrew Marr that Elon Musk is 'riddled with contradictions'.
Ian Hislop tells Andrew Marr that Elon Musk is 'riddled with contradictions'.
Reposted by Rob Stewart
"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...
www.youtube.com/watch?v=urcL...
Interview with an Emacs Enthusiast in 2023 [Colorized]
YouTube video by Programmers are also human
www.youtube.com
December 13, 2024 at 11:08 PM
"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...
www.youtube.com/watch?v=urcL...