@dominikwinterer.bsky.social
PostDoc@ETH Zurich | Making Formal Methods better and more practical
@kenjennings.bsky.social
Your Jeopardy! pal. Author of 100 PLACES TO SEE AFTER YOU DIE (bit.ly/3kLgJKO) and a bunch of other stuff. OMNIBUS co-founder (patreon.com/omnibusproject).
@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/
@maxkorbel.bsky.social
Principal Engineer @ Intel, lead for ROHD https://www.maxkorbel.com/ https://github.com/mkorbel1
@drshashitharoor.bsky.social
INC. MP for Thiruvananthapuram. Author of 26 books. Founder AIPC. Ex Minister of State, Govt. of India. Former Under-Secretary General, United Nations. Cricket fan. shashitharoor.in
@yosyshq.com
The home for the team maintaining Yosys and related Open Source EDA projects. https://www.yosyshq.com/ Sign up to our newsletter! https://yosyshq.com/newsletter
@andygillku.bsky.social
Principal Engineer, AI Compute, at Rain AI. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
@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
@firdosem.bsky.social
🏏Cricket Correspondent and Broadcaster. 🧘🏽♀️Yoga Teacher Trainer and Scholar. 📚Book Lover. 🏃🏾♀️Slow Runner and Swimmer. 🏊🏾♀️
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@gregdavill.bsky.social
ASIC/FPGA/PCB/FW engineer at ASTC 🧙♂️ (He/Him) I also take macro photos of electronics
@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
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@retok.bsky.social
@ishaantharoor.bsky.social
Global affairs columnist @WashingtonPost.com, anchor of The Post's WorldView column and newsletter on int'l politics. Dad. New Yorker. Victoria concordia crescit. New to BlueSky!
@oshwassociation.bsky.social
The Open Source Hardware Association (OSHWA) aims to foster technological knowledge and encourage research that is accessible, collaborative and respects user freedom. Open Hardware Summit coming up May 30 & 31 2025 in Edinburgh! https://2025.oshwa.org/
@carolecadwalla.bsky.social
Ex-Guardian & Observer journalist till I got replaced by Nick Clegg. Fighting the Broligarchy since 2016. Please sign up to my (free!) newsletter: https://open.substack.com/pub/broligarchy
@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
@clairexen.bsky.social
Neurodiverse Trans Geek Girl 🧙♀️ Queer Kinky Poly Mess 🏳️🌈 🏳️⚧️ CTO @YosysHQ 😺 RISC-V, SMT 👩💻 Opinions are my Ceti eel's 😛 ACAB BLM ✊ I am Antifa 🏴🚩 Vienna, Austria 📌 she/her 🧚♀️
@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. 🇨🇦-🇺🇸
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@mattvenn.net
Engineer and Technology Communication. On a mission to make ASICs more accessible. YosysHQ & Tiny Tapeout founder member. https://ZeroToASICcourse.com https://TinyTapeout.com
@sibin.bsky.social
Systems+Security faculty @GWTweets CS. Resiliency, OS, Networks, CPS, Real-Time. Photography. #AnnotatedEquations. He/him. Opinions/RTs personal.
@kanishktharoor.bsky.social
Author of "Swimmer Among the Stars" (FSG), presenter of "Museum of Lost Objects" (BBC), and Senior Editor at Foreign Affairs. Pitch me at ktharoor@foreignaffairs.com.
@tacticalgrace.justtesting.org
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy: digital rights & economy 📍 Utrecht 🇳🇱🇩🇪🇪🇺 • Twitter: @TacticalGrace
@sathnam.bsky.social
Writer @thetimes. FRSL. FRHistS. WTF. Join me on my Empireworld tour in 2025. Pre-order my book on George Michael, Tonight the Music Seems So Loud, published by Picador in 2026. www.sathnam.com