HAFLANG - Functional Languages in Hardware @HaflangProject
Hardware implementations of high level functional programming languages. Supported by the EPSRC HAFLANG project at Heriot-Watt University (EP/W009447/1). haflang.github.io Edinburgh Joined August 2022-
Tweets83
-
Followers82
-
Following2
-
Likes1
Yukang Xie is presenting his research at TFP 2025 in Oxford. Draft paper title: "KappaMutor: A Compact Structured Combinator Processor for Haskell" Yukang is a PhD student on our EPSRC HAFLANG project.
Symbolics 3620 and LMI Lambda #lisp machines #vintage #ai @ComputerHistory
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.
Craig Ramsay is giving a project talk "Hardware Architectures for Lazy Functional Programming, Revisited" at SPLS at the University of Glasgow, 6th November. spli.scot/spls/meetings/…
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
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 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.
"Calculateur Fonctionnel" - A great name for a French functional architecture. We appreciate the nod to recursion, with the display unit in the display unit in the... From "A Functional Data-flow Architecture Dedicated to Real-time Image Processing", Sérot et al., PACT'93.
Real functional programmers code in SK. CC @GregMichaelson1 origin: Matthew Naylor, adapted from Chris Kania.
Our IFL paper presents a processor for non-strict functional languages. By avoiding complex CPU circuitry and compiler indirections, it performs 6 times more reductions per cycle than GHC, competing with a 4.7GHz Intel CPU despite clocking at only 193MHz. doi.org/10.1145/365256…
ikarus @0Ikarus
23 Followers 133 Following
Elara Moon @StanzaStre5147
0 Followers 50 Following
Bimbisar Walondre @bimbisar95
9 Followers 698 Following
Tom @tomstructured
23 Followers 506 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]
A_Happy_Kid @AddalaRaed
77 Followers 1K Following Software Engineer based on 🇹🇳. Programming languages enthusiast. Scala & Haskell Enjoyer. C++ Hardcore fan. Turns out Functional Programming isn't that hard.
Hussain Alqurashi @qurashi_hm
177 Followers 6K Following
ahuoguo @ahuoguo
37 Followers 311 Following
alcuin ❄️ @scheminglunatic
6K Followers 1K Following pure, lazy, immutable ✝️ "In programming language theory, there is only moral correctness." 🐱👉investi(gati)bg ... #TRAD_YAOI and #AuDHD_NetSlop
teo @TeofilC
36 Followers 407 Following programs in Haskell, Nix, Agda | studied philosophy | 🏳️🌈🏴 | they/them | also on https://t.co/Bnz4izVvUx and the fediverse
Conor Hoekstra @code_report
8K Followers 678 Following @nvidia • @youtube • @adspthepodcast • @arraycast Blusky: https://t.co/UPjBqO9qFS Mastodon: https://t.co/bjvEaww90u
Billie (bluesky arc @... @BillieTheGoose
260 Followers 306 Following she/they 🏳️⚧️ 11/21/21, pan 🏳️🌈, 35, Florida 🌴, computer witch 👩🏼💻🧙🏻♀️, sometimes artist, VR enthusiast
diego rosario @throwawayndelet
119 Followers 380 Following
Manuel Maarek @Manuel_Maarek
34 Followers 95 Following @peergramming @SecriousProject @hwcybersec @MACSHW @HeriotWattUni
Leftie. 🇬🇧 🎗... @leftie0
629 Followers 985 Following We now live in a multi-polar pre war world. Defense in the field begins in the factory. Si vis pacem, para bellum. Needs must when the devil drives.
Darryl Bailey @iEatLotion
22 Followers 69 Following
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
Rob Hernandez @sarcasticadmin
289 Followers 1K Following Engineer, tech-team member of @socallinuxexpo, #nixpkgs maintainer, #FreeBSD user, and enjoy all things Open Source KM6LBU
Brett Slatkin @haxor
7K Followers 864 Following Author of @EffectivePython. Software engineer, Office of the CTO @Google.
HoloEd @HoloEd
76 Followers 1K Following
Wtz_LASR @Wtz_LAS
22 Followers 45 Following
aron @Aron_Adler
3K Followers 3K Following ⊙ functional programming, dependent types. lean4 newbie. love thinking about type systems. jewish. not a p-zombie i promise.
Larry Diehl @larrytheliquid
797 Followers 658 Following Founder @ColimitAI. Formal Verification & Neuro-Symbolic AI. Formerly postdoc @uiowa and PhD @Portland_State.
Marc Thatcher @MarcThatcher
74 Followers 171 Following 'And you may ask yourself: well, how did I get here?'
River @RiverNotFlowing
73 Followers 816 Following
Tom @TOMHEWlTT
7 Followers 307 Following
AlexV @Asmodehn
108 Followers 712 Following Distributed Geek/Future of Code/Applied Category Theory/ Formal Methods/Free Software
Ernest Ng @ngernest2
506 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
RP @rajeshp403
410 Followers 2K Following clojure,javascript/Typescript,scala,c#,python,emacs. Lastly Janasunta from tekkali constitution. Views and opinions are My Own
Litia Eeloo @litia_eeloo
106 Followers 742 Following Sleeping at night is not what the next 700 people do.
Kamil Badyla @badeleux
61 Followers 352 Following
Rhee @junginrhee
27 Followers 264 Following Computer Science MS Candidate. Building circuits and tools to build circuits.
FTS @fishtreesugar
15 Followers 487 Following
CachorroAzul @cachorroazul84
89 Followers 3K Following Gosto de programação | Avatar criado por catalyststuff - https://t.co/iVkznMbel0
Three Year Top Dawg @3YearTopDawg
226 Followers 5K Following 3 Year Top Dawg, 3-time Middle School Chess Grand Master, 2-time Park Commission referee, 1-time teaching assistant
geoff @GeoffreyHuntley
55K Followers 3K Following looking for my next role. no longer @ampcode? email [email protected]
Bodhi @BodhiCogSci
1K Followers 6K Following PhD student in computational psychobiology at PAL Lab @UDGradStudents, PI- @AlonHafri | concepts, language faculty and interface systems
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Shengyi Wang @txyyss
16K Followers 1K Following Enthusiast of recreational mathematics | Also in mastodon: @[email protected]
David Young @roboguy20
503 Followers 1K Following Computer science PhD student focusing in programming languages
Rommel Quintanilla @rommelqc
178 Followers 2K Following
Sketching Science @sketchscience
28K Followers 2K Following Science, Memes, Art, and Internet. Created by @neto_flames
PJ Milani | Visual Te... @milanicreative
19K Followers 284 Following Daily visuals teaching you about psychology, productivity, and self-development • “Thinking in Visual Metaphors” course • 19 Years Film & Animation TeacherTrends for United States
You might like
