vilem ❌
@buggymcbugfix
programming language theory & practice • PhD with @dorchard ongoing • agroecology • no-till • dad to a child on the spectrum • Goodhart's law is real
ID: 817126397013618694
https://github.com/buggymcbugfix/not-not-a-blog#blog 05-01-2017 21:51:29
6,6K Tweet
825 Followers
1,1K Following
deech
@deech
Brendan Dolan-Gavitt
@moyix
Building offsec agents: xbow.com Associate Prof, NYU Tandon (on leave). PGP keybase.io/moyix/ MESS Lab: messlab.moyix.net
PHD Comics
@phdcomics
Life (or the lack thereof) in Academia. Comic strip by Jorge Cham. Instagram.com/phd_comics
Edward Kmett
@kmett
Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. calendly.com/ekmett github.com/ekmett 🦋 @kmett.ai
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Bartosz Milewski
@bartoszmilewski
Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Warren Karlenzig
@greenflow
Enabling smart green futures. Sustainable tech & services Common Current. Speaker/ lecturer/ doer: TEDx, Stanford, UN, EU. Author, orchardist, biker & surfer.
Adam Chalmers
@adam_chal
Aussie. Rust eng @Zoodotdev, formerly @Cloudflare. My tweets have been read out loud in Australian parliament. other social media at my website below.
Yaron (Ron) Minsky
@yminsky
Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social threads.net/@yaronminsky
Joachim Breitner
@nomeata
Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 mastodon.online/@nomeata
Derek Dreyer
@herrdreyer
Get used to disappointment.
Loris D'Antoni
@lorisdanto
A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Emily Shuckburgh
@emilyshuckburgh
Climate scientist and mathematician. Director, Cambridge Zero, University of Cambridge
Frink
@frinklang
News about the Frink programming language and calculating tool. Frink *will* make you better at physics and science.
sabree λ ☕ → 🥓 → 👨🏿💻
@heavypackets
♥️ PL, Formal Methods, Privacy, DX, Rust 🦀, Lean, F* 🏳🌈 {⊥/⊥}
@[email protected]
@cyberglot
🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | cyberglot.lol/@april
Seán Burke
@seanburkeshow
Stand Up, Sketch Comedian and Class Act 👏 Inquiries: [email protected] VO: @Voicebankie
Jeff Cheah
@jeffhappily
Software Engineer. FP & Haskell. Interested in Programming Languages. Looking for new opportunities.
Peter Wohlleben
@peterwohlleben
I'm a forester, and if that wasn‘t my job, it would be my hobby.
Russ has gone to a better place
@russincheshire
Mat Fournier
@mat4nier
Geotech Engineer turned sw dev. M.A.Sc. Geological Engineering, Masters Data Science @UBC. FP/Rust: bsky.app/profile/mat4ni…
DOJA CAT
@dojacat
🌹
Killian Sundermann
@killersundymann
first national stand up tour tickets on sale now!!! ticket link below Rep @aviarytalent for live & [email protected]
AFRICAN & BLACK HISTORY
@africanarchives
African and Black History ̷M̷o̷n̷t̷h̷ Daily || africanarchives.blog
Alexis King
@lexi_lambda
computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Matt Parsons
@mattoflambda
Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Germany UN Geneva 🇩🇪🇪🇺🇺🇦
@germanyungeneva
Permanent Mission of Germany to the @UNGeneva & other International Organizations. Tweeting about #UN #EU #HumanRights #Trade #HealthForAll #GenderEquality | 🕊
Scientific Gems
@scientificgems
Science blog by Tony Dekker
Dmitrii Kovanikov
@chshersh
Functional Programming account #1. Senior SWE at Bloomberg. I write OCaml for money. All opinions are my own.
Inconvenient Truths by Jennifer Zeng
@jenniferzeng97
Member of International Press Association. CCP & China affairs. Support: donorbox.org/support-inconv… Also @JenniferZeng15
Anthony Alaribe
@tonialaribe
Watch me build developer tools in public. Starting with @APItoolkitHQ. I build stuff in Go, Rust (🦀) and Haskell. Maths ♥️ Engineering. HTMX fanboy
Joe Cutler
@alpha_convert
CS PhD student at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)
Tournevie
@tournevie
🔧 The affordable and ecological tool library in Brussels. 🔨 Follow us from 2025 onwards on tournevie.bsky.social !
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
olivia m. swarthout
@tochterzwiebel
baby, it’s blue // proprietress of @weirdmedieval // (not a historian)
Haskell ITA
@haskell_ita
it :: Haskell Italian Community. Chat with us here: t.me/haskell_ita or web.libera.chat/#haskell-it
Tweag
@tweagio
The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
htmx.org / CEO of div tags (same thing)
@htmx_org
high power tools for html - ʕ •ᴥ•ʔ made in montana swag.htmx.org (u know u want some)
Iris Boker
@bokeriris
מוזמנים לפודקאסט שלי חדשות האפוקליפסה גאופלטיקה, אסיה וכמובן סין.open.spotify.com/episode/1inkLW…
Yue Yao
@wrtcompilee
PhD student at @CSDatCMU; session types and friends; I consider myself a semanticist.
Fangyi Zhou
@fangyi_zhou_
🏳️🌈 🏳️⚧️ | Software Engineer | pronoun.is/they | Tweets are own opinion
Bweaking NuwuS
@bbcbweaking
Haiiii! Unofficial bweaking news awewts fwom da BBC! :3
weird medieval guys BOOK OUT NOW !!
@weirdmedieval
by @tochterzwiebel // listen to my podcast with @aranptappers and ORDER MY BOOK OUT NOW // [email protected] for enquiries
Cambridge Zero
@cambridgezero
#CambridgeZero A bold response to climate change, harnessing @Cambridge_Uni research and policy expertise to build a zero-carbon future. Led by @emilyshuckburgh
Free Assange - #FreeAssange
@freeassangenews
The Official International Campaign to free Julian Assange #FreeAssangeNOW Amplify: @Stella_Assange @DefendAssange @DefenseAssange @AssangeDAO
Nicolas Gendron
@nicola_gendron
𝕶𝕬𝕱𝕬𝕽𝕹𝕬𝖀𝕸
VCs Congratulating Themselves 👏👏👏
@vcbrags
They're adding value™ And they're very proud of it. @BragsVentures @VCBragsNews
anti software software club on cohost
@no_software
smashing the stack for fun and no profit ~ a software company by @vogon, @jkap, and @AerialShading ~ building @cohost_org
Stella Assange
@stella_assange
Via @UniOfOxford @SOAS Insta: StellaAssange
cohost.org
@cohost_org
the only social media platform with eggbug | a product of @no_software
Assange Defense
@defenseassange
The Assange Defense Committee is a national coalition fighting to free WikiLeaks founder Julian Assange.
Joyce Lee
@joycele0205
Journalistin @cosmo_ard | @dlfnova | Maus zum Hören | Alumni @NDMedienmacher. Bei Insta als joycetenglee
Institute of Computing for Climate Science
@cambridge_iccs
Institute of Computing for Climate Science @Cambridge_Uni - Advancing climate science through computer science, software engineering, data science, and AI.
typedfemale
@typedfemale
a really exciting new account "advanced pytorch user" - @cHHillee alt: @typedalt
PerfumeAddict: RESIST! #LiamsLaw. 🕯 TRA
@carolef83262070
On Blue sky under the same name.
VidTranslator - targum.video AI bot
@vidtranslator
🚧 🏗️ 👷 - Due to twitter API changes, this bot only replies to registered users of targum.video. Please use #translate_en_es to translate
ROEvBROS
@roevbros
The game show where we find out how much men know about women's bodies. Press & Media Inquiries: [email protected]
Best of Dying Twiter
@bestofdyingtwit
Looking into it. Chief Looker: @jenntakahashi
QBayLogic
@qbaylogic
Digital design for FPGA's | QBayLogic offers powerful FPGA engineering services for automation needs.
Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Conspirador Norteño
@conspirator0
Data Scientist/Musician/Participant in the General Confusion @trutherbotprop Resist autocracy and research/counter disinformation. I serve the realm.
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Election Maps UK
@electionmapsuk
🗳️ mapping uk election results & collating polling data. Also On: bsky.app/profile/electi…
Ruth
@__rubi05
I am a spirit that have a soul in a body #humanitarian #PanAfricanist #globalcitizen
Tailwind CSS
@tailwindcss
The utility-first CSS framework. Rapidly build modern websites, without ever leaving your HTML.
Pubity
@pubity
Informative, entertaining and breaking news.
Graham Hutton
@haskellhutt
Professor at @UoNComputerSci 💻 Haskeller tinyurl.com/PIH-II 📓 YouTuber tinyurl.com/FP-Nott🎙 Food Nerd 🍽 Glaswegian 🏴
Pilote de loc ⇹🇨🇭
@sbbtraindriver
Conducteur de train · SBB CFF FFS · Genève
Vanessa McHale
@vamchale
Mainly Haskell, sometimes J/?