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/
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...
"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...
Reposted by Rob Stewart
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.
November 29, 2024 at 1:28 PM
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.
Reposted by Rob Stewart
⊨ bluesky ∈ accounts(sigplan)
November 23, 2024 at 7:37 PM
⊨ bluesky ∈ accounts(sigplan)
In Scotland: 3 degrees at 4pm, rising to 13 degrees at 4am the following morning. An Insight into weather instability caused by climate change.
November 23, 2024 at 1:57 PM
In Scotland: 3 degrees at 4pm, rising to 13 degrees at 4am the following morning. An Insight into weather instability caused by climate change.
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.
mastodon.scot
November 22, 2024 at 9:41 PM
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?
Reposted by Rob Stewart
"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! 🎉
this is the culmination of years of research (and most of my grad school work), so I'm excited to see it finally published! 🎉
November 19, 2024 at 8:49 PM
"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! 🎉
this is the culmination of years of research (and most of my grad school work), so I'm excited to see it finally published! 🎉