Systems & PL @systems_pl
Interesting tweets on (Computer) Systems & Programming Languages. Op: @k4rtik Joined August 2015-
Tweets200
-
Followers32
-
Following131
-
Likes249
Systems & PL retweeted
This fall I'll be teaching a topics course on Encrypted Search @BrownCSDept: cs.brown.edu/~seny/2950-v/ (with notes and projects)
1
14
30
0
0
Systems & PL retweeted
Next Thursday, 15 early bird tickets open for Winter Retreat! Don't miss hot chocolate, Colorado snow, good friends and hand-invited guides!
After a long hiatus, we're back! The focus from here on will be on PL & Systems enabling concurrency. PS: @rustlang is beautiful.
Systems & PL retweeted
Number one mistake in TDD: Underestimating how effective trivial tests can be in catching bugs.
Systems & PL retweeted
Myrtle Software is looking for Haskell developers for exciting graphics/compilers/hardware work. bit.ly/1UNdsVu
Systems & PL retweeted
👂 Tip #91: Watch the SICP lectures beatsryetypes.com/tips/2016/05/0…
Systems & PL retweeted
New meeting on 5/26 @dcreager on The Early History of Smalltalk by Allan Kay. meetup.com/Papers-We-Love…
Systems & PL retweeted
@leastfixedpoint Papers We Love BOS covering Smalltalk this month: meetu.ps/2WWXfH
Systems & PL retweeted
@JeromeOnwunalu I would suggest Clojure now, not CL.
Oregon Programming Languages Summer School: existentialtype.wordpress.com/2016/04/11/opl… OPLSS 2016 registration is open!
Systems & PL retweeted
go home linkedin, you're drunk
Systems & PL retweeted
You aren't going to want to miss this. Pleased to announce @pbailis as the next speaker @paperswelovebos on 4/21 meetup.com/Papers-We-Love…
Systems & PL retweeted
I'm excited about a lot of the work in the distributed systems session at POPL! (Also: there's a distributed systems session at POPL!)
Systems & PL retweeted
Unless we have a good understanding of how our data objects are shared, mutation can have unanticipated results.
Systems & PL retweeted
java isn't slow (and links to a few fast java programs) jvns.ca/blog/2016/01/0…
Systems & PL retweeted
@CompSciFact a physical turing machine! youtu.be/E3keLeMwfHY
Systems & PL retweeted
.@pbailis loved grad school, and so might you! <gradschool3 bailis.org/blog/i-loved-g…
Systems & PL retweeted
The estimable @epcjones thoughtfully weighs in on my grad school post: bailis.org/blog/i-loved-g… (and a response: bailis.org/blog/i-loved-g…)
Systems & PL retweeted
Planning to pass through Pittsburgh? Come speak at the PoP Seminar! Contact @HofJan and @jeanqasaur to set it up. cs.cmu.edu/Groups/pop/sem…
Rease @Rease565920
15 Followers 1K Following
Vasileios Kemerlis @vkemerlis
1K Followers 822 Following Professor @BrownUniversity. Brown Hat. Research on systems and software security. 🏴☠️🇬🇷🇺🇸
bsky.app/profile/zee.... @zeeshanlakhani
2K Followers 4K Following eng @oxidecomputer | @papers_we_love/pwlconf co-founder/org. | @SCSatCMU PhD in PLT trial & erroring. Find me here instead: 🦋 https://t.co/hzRtv3yUNJ
isomorƒ @isomorf_io
341 Followers 965 Following a structured cloud IDE designed around an experimental software development paradigm
ueditoraa @ueditoraa
142 Followers 4K Following
cccc @marissatribolet
5 Followers 18 Following
LambdaConf 2025 @lambda_conf
9K Followers 2K Following A mind-blowing programming conference, held in Estes Park, CO.
🤷♂️ Maheswa... @maheswaranm
413 Followers 2K Following I'm a man with a one track mind, So much to do in one life time. Need it. Want it. Need it. Have to Have it. Software Developer in the making. #Foodie.
Shrayas @shrayasr
1K Followers 2K Following Runner • Head of engineering at @LogicsoftInd • Baby policy wonk • Atheist • He/Him
Douglas Creager @dcreager
984 Followers 2K Following Computer scientist, formal methodist, PL dilettante, frozen pizza connoisseur. Mastodon: @[email protected] This is a 9-planet family, kids! ♇
huduga @zaph0id
672 Followers 4K Following Finding the cadence of life. Hoarder of books, stories and experiences, entrepreneur.
Alvin Cheung @alvinkcheung
2K Followers 309 Following Data management and programming systems; Associate professor @Berkeley_EECS, member of @ucbrise, SLICE Lab, and @UCBIDS
alex benik @abenik
2K Followers 4K Following Founder of Encoded Ventures. Previously a Partner at AS54247
[email protected] @nbaksalyar
1K Followers 2K Following Rust, systems engineering, *nix | Creating @LowLevelAcademy and Headcrab https://t.co/WgG8znekVA | He/him
Jerrin Shaji George @jerrinsg
217 Followers 318 Following
Grzegorz Balcerek @grbalcerek
49 Followers 147 Following
Brian McKenna @puffnfresh
8K Followers 2K Following Computational trinitarianist. Talk to me about programming languages. The parrot is real. λΠ
Noufal Ibrahim @noufalibrahim
3K Followers 995 Following CTO/Co-founder Hamon Technologies 👔. Husband, Father 👨👩👦👦, Calligrapher ✒️, Martial artist 👊, Muslim 🕋, Keralite. 📼💾
OCaml MOOC @ocamlmooc
1K Followers 571 Following
Eric Eide @eeide
2K Followers 2K Following Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own • RTs not endorsements • @[email protected]
Tiago Vale @tiagomvale
53 Followers 135 Following
Emery Berger @emeryberger
5K Followers 5K Following No longer posting here. @emeryberger.bsky.social, Threads: @emeryberger, Mastodon: @[email protected]
Dave Herman @littlecalculist
15K Followers 405 Following Likes people & computers. Work: LinkedIn/Mozilla/JS/TC39/Rust (here I speak only for me). ❤️: @lisasilveria & @tinycalculist. Goes by dherman… elsewhere. he/him
chris martens @chrisa... @chrisamaphone
5K Followers 1K Following I'm not here anymore! Go find me where my display name says.
Vasileios Kemerlis @vkemerlis
1K Followers 822 Following Professor @BrownUniversity. Brown Hat. Research on systems and software security. 🏴☠️🇬🇷🇺🇸
Genode Labs @GenodeLabs
661 Followers 73 Following This account is dormant. Follow us on https://t.co/3QNB1TRhGd
Manish @ManishEarth
14K Followers 591 Following territory mapper. 💉did @ca_covid . 🗣️ likes languages. ✈️ Repatriate/ABCD. 👨🔬 Formerly physics. he/him
Noufal Ibrahim @noufalibrahim
3K Followers 995 Following CTO/Co-founder Hamon Technologies 👔. Husband, Father 👨👩👦👦, Calligrapher ✒️, Martial artist 👊, Muslim 🕋, Keralite. 📼💾
Chris Krycho @chriskrycho
3K Followers 148 Following Inactive here. 🦋 https://t.co/B9ZYo8IQJk Software craftsman and composer; theologian, writer, runner, photographer.
Love a Paper @loveapaper
2K Followers 1 Following Serving up randomly selected papers from the Papers We Love Github repository (https://t.co/o50pemj7Eb) | bot created by @imwally
LambdaConf 2025 @lambda_conf
9K Followers 2K Following A mind-blowing programming conference, held in Estes Park, CO.
Yehuda Katz @wycats
61K Followers 675 Following @[email protected] OSS enthusiast and @wykittens's parent. Heroku. Co-author of Extensible Web Manifesto. Front-end developer. @wifelette's husband. he/him
Leif Andersen @LeifAndersen
784 Followers 288 Following Working on Interactive Syntax at UMass Boston.
Functor Fact @FunctorFact
26K Followers 6 Following Functional programming and category theory tweets from @JohnDCook
IEEE Computer Society @ComputerSociety
67K Followers 902 Following IEEE Computer Society, the community for technology leaders, is the world's leading computing membership organization and trusted information source.
Microsoft Research @MSFTResearch
561K Followers 2K Following We advance science and technology to benefit humanity.
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
UW PLSE @uwplse
1K Followers 179 Following We are the Programming Languages and Software Engineering group at the University of Washington (@uwcse)
Rust Belt Rust @rustbeltrust
2K Followers 7 Following A #rustlang conference in the Rust Belt, October 18 & 19, 2019 in Dayton, Ohio
Association for Compu... @TheOfficialACM
72K Followers 3K Following The world's largest professional organization advancing #computing as a science and profession. Also @mastodon.acm.org Likes & shares ≠endorsement
Servo @ServoDev
9K Followers 30 Following Servo: The embeddable, independent, memory-safe, modular, parallel web rendering engine written in Rust. @LF_Europe
RustConf @rustconf
18K Followers 87 Following An event dedicated to #rustlang & its community 🦀 Taking place from Sept 8-11 in Montreal, Canada in 2026!
Patrick Walton @pcwalton
18K Followers 520 Following Programming languages and graphics person. @pcwalton.bsky.social
This Week in Rust @ThisWeekInRust
33K Followers 31 Following Cataloguing the Rust community's awesomeness. Also at https://t.co/nGTNd2tHk4 #rustlang
Rust Language @rustlang
152K Followers 2 Following A programming language empowering everyone to build reliable and efficient software. ** This account is no longer active. Follow us on other platforms! **
Evan Czaplicki @evancz
16K Followers 68 Following Creator and developer of @elmlang Reading highlights at @power_studies
Santosh Nagarakatte @santoshgnag
2K Followers 602 Following Professor and undergraduate program director, Computer Science, Rutgers University, New Brunswick. See my group RAPL: https://t.co/dYChac4veQ
Haskell Book @haskellbook
5K Followers 2 Following Twitter for Haskell Programming from first principles. Book for learning Haskell tested with actual learners! Feedback: https://t.co/pCopxGKTZa
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Niki Vazou @nikivazou
3K Followers 464 Following Research Associate Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.
Functional Jobs @functionaljobs
6K Followers 497 Following Dream jobs for functional programmers – Clojure, Haskell, Erlang, Scala, Lisp, F#, OCaml, ML, R, J, Q, and more!
Galois @galois
6K Followers 658 Following Galois applies cutting edge computer science and mathematics to solve difficult technological problems.
bsky.app/profile/zee.... @zeeshanlakhani
2K Followers 4K Following eng @oxidecomputer | @papers_we_love/pwlconf co-founder/org. | @SCSatCMU PhD in PLT trial & erroring. Find me here instead: 🦋 https://t.co/hzRtv3yUNJ
LispNYC @LispNYC
592 Followers 212 Following (send-mad-lovin (@LispNYC) (all-hackers)) since 2002. 🎥 https://t.co/hU5XZkkHZ1
Jay McCarthy @jeapostrophe
702 Followers 243 Following Mormon father who loves his family and likes pop music. Co-founded @reachlang
LLVM Weekly @llvmweekly
7K Followers 4 Following Find me on Mastodon/Bsky. ~~A weekly email newsletter on developments in LLVM, Clang and related projects. Curated by @asbradbury~~
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
David Thrane Christia... @d_christiansen
3K Followers 623 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him
Functional Geekery @fngeekery
3K Followers 199 Following A podcast on Functional Programming, covering topics across multiple languages. Hosted by @stevenproctor.
Dan Luu @danluu
45K Followers 44 Following Active on https://t.co/WG71Nrs60M; also trying out https://t.co/fGOzbSxVHi. No longer read replies or notifications here now that tweetdeck is gated.
The Debian Project @debian
283K Followers 4K Following The Universal Operating System; follow our news via https://t.co/zD9A4YClrc and https://t.co/wHPftZFODt
gabby @GabriellaG439
15K Followers 76 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
[email protected] @nbaksalyar
1K Followers 2K Following Rust, systems engineering, *nix | Creating @LowLevelAcademy and Headcrab https://t.co/WgG8znekVA | He/him
Chris Lattner @clattner_llvm
86K Followers 189 Following Building beautiful things like Mojo🔥 and MAX @Modular, lifting the world of production AI/ML software into a new phase of innovation. We’re hiring! 🚀🧠
Asumu Takikawa @asumu
530 Followers 495 FollowingTrends for United States
148 B posts
84,9 B posts
44,4 B posts
17,1 B posts
21,4 B posts
13,7 B posts
2.454 posts
5.776 posts
89 B posts
4.798 posts
13 B posts
12,7 B posts
2.854 posts
2.142 posts
10,8 B posts
11,2 B posts
1.543 posts
1.662 posts
2.658 posts
82,5 B posts
You might like
Pavel Panchekha
@pavpanchekha
1K Followers
Kartik
@k4rtik
1K Followers
Eskimo Coder
@tuxkimo
57 Followers
Arne
@A_r_n_e
277 Followers
Anita S V
@anitasvasu
241 Followers