Remy Goldschmidt
Chip compiler engineer at MatX Computing. http://keybase.io/taktoa http://admonymous.co/taktoa http://github.com/taktoa
@southbaysystems.xyz
@kostasanagnostou.bsky.social
Lead Rendering Engineer at Playground Games working on Fable. Always open for graphics questions or mentoring people who want to get in the industry. I tweet about graphics mostly. Views my own. Blog: https://interplayoflight.wordpress.com/
@spmontecarlo.bsky.social
Lecturer in Maths & Stats at Bristol. Interested in probabilistic + numerical computation, statistical modelling + inference. (he / him). Homepage: https://sites.google.com/view/sp-monte-carlo Seminar: https://sites.google.com/view/monte-carlo-semina
@8bitwizard.bsky.social
freelance concept artist | Firewalk Studios, Funcom, Netflix, Sloclap, Valve, DON'T NOD, Fun Dog, CIG artstation.com/shenglam https://www.instagram.com/8bitwizard/
@tyoverby.com
Professional OCaml enjoyer. Views expressed therein are also those of your employer.
@samarchdb.bsky.social
PhD Student in Databases @ CMU-DB Previously a Compiler Engineer @ Apple
@ionchy.ca
it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈 https://ionathan.ch
@swarat.bsky.social
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @mwillsey@discuss.systems
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@acowley.bsky.social
Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@wicko3.bsky.social
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
@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. 🇨🇦-🇺🇸
@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
@amadeusine.bsky.social
Mt. 22.40 · biology, enzymes, membranes, machine learning, compilers + programming languages, optimisation & replication · etc. · mild clouds · usually forgetting something · ✨
@conorpower23.bsky.social
Berkeley CS PhD student working on hydro.run. Former senior SWE on MSFT Cosmos. Databases 🐘 and distributed systems 🕰️ with some theory 🧮 thrown in.
@underfox3.bsky.social
Physicist, Telecom Engineering lover, HPC Enthusiast. Prog Rock/Metal fan. --- Independent tech analyst focused on semiconductors, patent analysis and emerging technologies.
@jmct.bsky.social
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@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.
@rpjohnst.bsky.social
@kmett.ai
Founder/Chief Scientist @ positron.ai I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason http://calendly.com/ekmett http://github.com/ekmett http://x.com/kmett http://comonad.com/reader
@bevyengine.org
Official account for Bevy Engine: a refreshingly simple free and open source game engine built in Rust. Follow for news and curated #bevy / #bevyengine content. https://bevyengine.org
@mattkeeter.com
✨ Weird CAD and graphics research ⚙️ Embedded software and Rust 🌎 Cambridge, MA 🏠 mattkeeter.com
@kit-ty-kate.bsky.social
Some kind of nerd by day and goblin by night. CS-gas {,injections} knower / Cyclophosphamide my beloved. 📍 Glasgow, Scotland 📢 FR/EN/DE 🎨 Avatar by @chordbug.bsky.social See also: 🐘 mastodon.social/@kit_ty_kate 🐞 https://cohost.org/kit-ty-kate
@johnkazart.bsky.social
Technical Artist @embarkstudios.bsky.social | Creator of #ConjureSDF and #MiterBox | he/him
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@sclv.bsky.social
"more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop
@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.
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@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
@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.
@brunolevy01.bsky.social
Researcher in computational physics,, Scientific director of Program Inria Quadrant 2018-2022 director of Inria Nancy G-Est, ERC GOODSHAPE-VORPALINE, #riscv ambassador