Rob Stewart
@robstewartUKAssociate Professor in Computer science. Functional programmer, HPC, embedded systems, deep learning for Edge Computing. @[email protected]
Similar User
@kc_srk
@kosmikus
@ndm_haskell
@aleph_kappa
@SICSA_Scotland
@tikhonjelvis
@HaflangProject
@a_cowley
@andreymokhov
@OanaMAndrei
@danghica
@samth
@jfdm
@reifyreflect
@alexeyraga
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
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. haflang.github.io/history.html
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
How do people like Trump, and, for that matter, Johnson get elected? They divide people up. Bernie Sanders could see this 20 years ago.
We’ll be begging for it by then
NEWS 🚨: NASA continues to monitor an asteroid that could collide with Earth on Valentine's Day in 2046 Now has 'a 1 in 607 chance'
This exists because of the (huge amount) of work from me and a few awesome colleagues! That's pretty cool 😍 hw.ac.uk/study/undergra…
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.
When your client pleads guilty to the offence - and then tells the probation officer that he isn’t sorry at all.
🚨 NEW: Boris Johnson has said he regrets issuing “pathetic” and “grovelling” apologies for Partygate Questioned by ITV News, Johnson also refused to say whether he regrets apologising to the Queen Story ⤵️ politics.co.uk/news/2024/10/0…
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. haflang.github.io/people.html
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 😄
The key idea is that custom hardware enables implementation of high performance functional languages: hardware-level synchronization and write barriers to completely hide GC overheads from runtime, and wide memories for high computations-per-Watt (beta reductions) efficiency.
Our latest paper about Cloaca, an FPGA-based GC that uses hardware-level synchronisation and write barriers to avoid damaging graph reduction performance. We see significantly higher throughput and lower latency compared with a software GC implementation. doi.org/10.1145/367799…
Our latest paper about Cloaca, an FPGA-based GC that uses hardware-level synchronisation and write barriers to avoid damaging graph reduction performance. We see significantly higher throughput and lower latency compared with a software GC implementation. doi.org/10.1145/367799…
This is @maitlis UNLEASHED. What a fantastic way to start the day. Anyone got any more?
Our paper "Cloaca: A Concurrent Hardware Garbage Collector for Non-Strict Functional Languages" has been accepted to the Haskell Symposium 2024. It combines mark-and-sweep tracing with one-bit reference counting. It runs concurrently to the mutator, both implemented in hardware.
United States Trends
- 1. #WWERaw 39,3 B posts
- 2. Drake 289 B posts
- 3. Lamar 158 B posts
- 4. Ravens 43,1 B posts
- 5. Kofi 12 B posts
- 6. Bateman 6.249 posts
- 7. Canada 397 B posts
- 8. Elfrid Payton 2.313 posts
- 9. New Day 97,9 B posts
- 10. #BALvsLAC 5.430 posts
- 11. Not Like Us 75,4 B posts
- 12. Jaden Ivey 1.863 posts
- 13. Malik Harrison 1.325 posts
- 14. Big E 11,5 B posts
- 15. John Harbaugh 2.101 posts
- 16. Justin Herbert 4.865 posts
- 17. Lamelo 9.564 posts
- 18. #NJDevils 2.729 posts
- 19. Fulton 2.193 posts
- 20. #BoltUp 3.046 posts
Who to follow
-
KC Sivaramakrishnan
@kc_srk -
Andres Löh
@kosmikus -
Neil Mitchell (neildmitchell @🪡)
@ndm_haskell -
Ohad Kammar
@aleph_kappa -
SICSA Scotland
@SICSA_Scotland -
Tikhon Jelvis
@tikhonjelvis -
HAFLANG - Functional Languages in Hardware
@HaflangProject -
Anthony Cowley
@a_cowley -
Andrey Mokhov
@andreymokhov -
Oana Andrei (oanamandrei.bsky.social)
@OanaMAndrei -
〚Dan R. Ghica〛
@danghica -
Sam Tobin-Hochstadt
@samth -
Jan de Muijnck-Hughes
@jfdm -
Sam Lindley
@reifyreflect -
Alexey Raga
@alexeyraga
Something went wrong.
Something went wrong.