Robert Szafarczyk
CS PhD student at the University of Glasgow. Compilers, computer architecture, FPGAs, HLS, Bluespec.
@stefanabikaram.com
Graduate Student (@SharcLab) + Research Faculty at @GeorgiaTech 🐝 Working on digital hardware design + AI https://stefanabikaram.com/
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@ddssff.bsky.social
Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
@maxkorbel.bsky.social
Principal Engineer @ Intel, lead for ROHD https://www.maxkorbel.com/ https://github.com/mkorbel1
@lefticus.bsky.social
C++ Developer, Trainer, Speaker, YouTuber https://www.youtube.com/@cppweekly
@andygillku.bsky.social
SVP of Product Development at Kodamai. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
@glasgowc3lab.bsky.social
Computer systems lab focused on Carbon-Aware Cloud and Edge Computing at @uofglasgow.bsky.social @uofgcompsci.bsky.social
@nikela-p.bsky.social
never thinking straight | always thinking parallel #hpc #sustainability #parallelcomputing #supercomputing Low Carbon and Sustainable Computing Lecturer at UofGlasgow @uofgcompsci.bsky.social
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@highlandsandrew.bsky.social
CEO of Codeplay, a specialist compiler company in Edinburgh, Scotland. Codeplay is now part of Intel. I also love spending time in the Highlands.
@simonjthompson.bsky.social
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
@jfbastien.com
Distinguished engineer Woven by Toyota—Compiler engineer—security enforcer—C++ standards committee language evolution chair—WebAssembly co-instigator 🔗 https://jfbastien.com 🔗 https://tlbh.it 📍 東京、日本
@llvmweekly.org
A weekly email newsletter on developments in LLVM, Clang and related projects. Curated by @asbradbury.org
@asbradbury.org
Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
@epcc.bsky.social
Based in the University of Edinburgh, UK, EPCC provides supercomputing and data services to industry and academia. www.epcc.ed.ac.uk www.linkedin.com/company/epcc
@veselinr.bsky.social
INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
@walkingrandomly.bsky.social
I’m here to discuss Mathematics, Research Software Engineering, Machine Learning and #HPC. I was @walkingrandomly on twitter Now a Community Developer Advocate at MathWorks. Author of The MATLAB Blog.
@thoefler.bsky.social
Professor ETHZ, head of SPCL, Chief Architect ML at CSCS researching large-scale #HPC and #AI systems and #Climate computing - youtube: http://bit.ly/3h1VgIU
@hpcnotes.bsky.social
25 years using + researching + buying #supercomputers. Now engineering leader for future #supercomputing capabilities at Microsoft Azure. Impartial in HPC community (as much as is possible) Posts about #HPC #AI #cloud #tech #F1 #LFC #aviation #travel …
@lauritzthamsen.org
Computer systems faculty at Glasgow, driving research on resource-efficient and carbon-aware distributed computing systems, @glasgowc3lab.bsky.social, lauritzthamsen.org ☁️💻🌱
@fpga.org
Kilocore RISC-V FPGA accelerators; former Microsoft dev tools architect; Vice-chair RISC-V SoftCPU SIG & Composable Custom Extensions Task Group; blog: https://fpga.org. Cyclist. Let's try kindness. 🇨🇦-🇺🇸
@shriram.bsky.social
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@keleshev.com
OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas Copenhagen
@bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
@daniel.haxx.se
I write curl. I don't know anything. I am @[email protected] Weekly email at https://lists.haxx.se/listinfo/daniel
@xkcd.com
@mikepound.bsky.social
Associate Professor in Computer Science at the University of Nottingham. I love telling people about computers, including on the Computerphile YouTube channel.
@dorchard.bsky.social
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling https://dorchard.github.io
@matt.godbolt.org
Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights. he/him
@jocare.bsky.social
Senior Lecturer (Associate Professor) in @uofgcompsci.bsky.social at @uofglasgow.bsky.social | Leads @giclab.bsky.social | #ComputerArchitecture #Compilers #EdgeAI #Security https://www.dcs.gla.ac.uk/~josecr/
@michelle-strout.bsky.social
Distinguished Technologist at HPE Adjunct Faculty at University of Arizona I work in High Performance Computing (HPC) and Programming Languages. I like making science work on parallel systems of all kinds, including GPUs, using Chapel (chapel-lang.org).
@chandlerc.blog
Software, performance, optimization, programming languages, security, open source, #CarbonLang lead, #LLVM, #Clang, C++. 🏳️🌈 http://pronoun.is/he or http://pronoun.is/they
@jonmasters.bsky.social
Troublemaker | Computer Architect | @Arm Servers Architect @Google | Former DE @RedHat | Former VP @Nuvia_Inc | Runner | Author | All views my own | #ArmServers
@csail.mit.edu
MIT's Computer Science & Artificial Intelligence Laboratory (CSAIL). Media Inquiries: [email protected]
@bcantrill.bsky.social
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@nwchem.bsky.social
Strictly personal opinions on high-performance computing, computational chemistry, Fortran, GPUs, MPI. Suomessa.
@righto.com
Computer history. Reverse-engineering old chips. Restored Apollo Guidance Computer, Alto. Ex-Google, Sun, Msft. So-called boffin.
@computerphile.bsky.social
YouTube videos about computers and the internet and stuff... Sister project to numberphile Supported by Jane Street - https://jane-st.co/computerphile
@bradyharan.bsky.social
Videos & Podcasts More about my work at: https://linktr.ee/bradyharan