@st01014.bsky.social
Code synthesizing Carbon-Silicon based lifeform 🖥️🧬 #Coding #Math #Physics #HPC & #AI #RetroTech #Aerospace #ＡＥＳＴＨＥＴＩＣＳ Random #Nerdiness & #Shitposting
@underfox3.bsky.social
Physicist, Telecom Engineering lover, HPC Enthusiast. Prog Rock/Metal fan. --- Independent tech analyst focused on semiconductors, patent analysis and emerging technologies.
@instlatx64.bsky.social
x86/x64, SIMD, #AVX512, "Aha!" moments. I have been writing code since 1986. Budapest, Europe https://instlatx64.github.io/InstLatx64/
@flaviocorpa.com
Software Engineer 🦥 Haskell & 🌳 Elm @Scrive ♟️ First #chesspunks on this app 🏯 日本語を勉強中(N3)
@ericniebler.com
C++ core compute libraries tech lead at @nvidia, husband, father, @isocpp member, former nomad, and sometimes artist wannabe. opinions are my own he/him
@haroldaptroot.bsky.social
https://mastodon.gamedev.place/@harold | http://haroldbot.nl
@dougall.bsky.social
@techsavvytravvy.com
sr software engineer @ crunchyroll 🦀🔪 @ crablang winning the fight against Big Outside™ 2024 hellthread heavyweight champion gas station snack enthusiast, father of some, does leetcode problems hardest to easiest, never sleeps, sometimes streams
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries) github.com/etorreborre etorreborre.blog
@alexn.org
Software developer, FP, Scala, Kotlin, Java / JVM, Haskell, Rust; contributor to https://alexn.org, https://monix.io, https://typelevel.org. 🌍 Bucharest, Romania https://alexn.org/about/
@steveklabnik.com
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes. Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
@lefticus.bsky.social
C++ Developer, Trainer, Speaker, YouTuber https://www.youtube.com/@cppweekly
@swtch.com
@viz.bsky.social
Carbon-based open sourcerer, code necromancer and a former alien. Author of C++20 std::format and http://github.com/fmtlib/fmt. Opinions are not mine.
@avi.press
Founder of Scarf (https://scarf.sh) Board @ Haskell Foundation Startups and open source analytics
@chiroptical.dev
PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Erlang programmer. Occasional content creator youtube.com/chiroptical twitch.tv/chiroptical. Fencing enjoyer.
@thephd.dev
💀 The C Standard Cannot Be Replaced And Will Never Be Destroyed. 💀 ✍ Writing: http://thephd.dev 📷 Avatar KIINGKISMET (https://kiingkiismet.com/) 🖼 Banner WusdisWusdat (https://wusdiswusdat.crd.co/)
@kosmikus.bsky.social
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder. Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
@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 📍 東京、日本
@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
@aspiwack.bsky.social
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
@fasterthanli.me
hi, I'm amos! 🍃 they/them 🫐 open-source witch & maker of snappy videos and articles at @bearcove.eu ✨ be kind, be curious articles: https://fasterthanli.me videos: https://youtube.com/@fasterthanlime podcast: https://sdr-podcast.com
@shafik.bsky.social
Compiler Engineer clang front end. Interests: C++, C, and undefined behavior. Martial Artist, Book Worm and Dad. he/him Mastodon: https://hachyderm.io/@shafik Blog: https://shafik.github.io/ #cplusplus #compilers
@luctielen.bsky.social
I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
@spanishkortez.bsky.social
Тот самый ex-редактор DTF, мемлорд, ПК-геймер, подкастер, продавец Anno. Люблю животных, мультики, вкусно поесть, шучу шутки.
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@sekun.net
i like learning, and making stuff with computers #rust #haskell #nix my yap collection → https://sekun.net github → https://github.com/sekunho
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@fclc.bsky.social
HPC, BLAS, I make things FAST Standing on the shoulders of giants TLDR; 🇨🇦🐧🧑🏼💻🚴🏎️🧗🏼 💩posting. Haver of opinions that are all my own. I mainly do #HPC #BLAS #AI #RVV and #clusters Proud French Canadian, you’ll hear about it (I help with HPC.social)
@felipe.rs
SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
@phoronix-poster.bsky.social
Unofficial account. Automated post via RSS. Maintained by @danni.id
@mcy.gay
a whimsicott crawled into your compiler and got stuck call me miguel. yes! i am a furry artist! more arts: art.mcyoung.xyz writings: mcyoung.xyz comm info: mcyoung.xyz/comms 🔞: @slop.mcy.gay 📍Seattle, WA
@without.boats
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: [email protected]