Profile avatar
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/
31 posts 102 followers 111 following
Regular Contributor
Conversation Starter
Posts 21 Comments 19

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

submitted 16 days ago • 1 comment

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

submitted 53 days ago • 0 comments

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

submitted 55 days ago • 2 comments

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.

submitted 58 days ago • 1 comment

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.

submitted 58 days ago • 1 comment

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

submitted 106 days ago • 0 comments

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

submitted 119 days ago • 0 comments

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

submitted 128 days ago • 0 comments

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.

submitted 128 days ago • 0 comments

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.

submitted 132 days ago • 0 comments

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.

submitted 132 days ago • 0 comments

☕️ 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/

submitted 134 days ago • 0 comments

ultra-scroll - a smooth-scrolling package for emacs. github.com/jdtsmith/ult...

submitted 133 days ago • 0 comments

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

submitted 134 days ago • 40 comments

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

submitted 161 days ago • 1 comment

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

submitted 161 days ago • 1 comment

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.

submitted 175 days ago • 26 comments

⊨ bluesky ∈ accounts(sigplan)

submitted 181 days ago • 1 comment

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

submitted 181 days ago • 0 comments

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?

submitted 182 days ago • 1 comment

"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! 🎉

submitted 185 days ago • 2 comments