×
You are not logged in
Bluesky Follows
Stephanie Weirich
Follows by @fancytypes.bsky.social
Josh Gancher
Registered:18 Nov 2024 22:26
Follow date:18 Dec 2025 17:55
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Zach Weinersmith
Registered:3 May 2023 19:39
Follow date:22 Jun 2025 01:31
New Book out this summer: Sawyer Lee and the Quest to Just Stay Home.
Other things of mine: Bea Wolf, A City on Mars, and SMBC
Website: www.smbc-comics.com
Patreon: https://www.patreon.com/ZachWe...
derek guy
Registered:1 May 2023 06:41
Follow date:22 Jun 2025 01:30
Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter.
If you have a style question, search:
https://dieworkwear.com/ | https://putthison.com/start-he...
Sam Lindley
Registered:1 Dec 2024 20:16
Follow date:21 Apr 2025 01:36
Lean Focused Research Organization
Registered:14 Feb 2025 23:08
Follow date:27 Feb 2025 17:24
Supporting the Formal Mathematics revolution
Randall Munroe
Registered:27 Apr 2023 20:54
Follow date:15 Feb 2025 10:48
Hank Green
Registered:29 Apr 2023 04:29
Follow date:7 Feb 2025 12:33
Long Time Internet Guy
Lingjie Liu
Registered:27 Nov 2024 00:58
Follow date:30 Jan 2025 17:29
Assistant Professor at UPenn. https://lingjie0206.github.io. Research interests: Neural Scene Representation, Neural Rendering, 3D Reconstruction, Human Performance Modeling and Capture.
yatskar.bsky.social
Registered:17 Nov 2024 19:14
Follow date:30 Jan 2025 17:29
arratiapaulo.bsky.social
Registered:22 Nov 2024 14:18
Follow date:30 Jan 2025 17:29
kostaspenn.bsky.social
Registered:22 Nov 2024 22:12
Follow date:30 Jan 2025 17:29
CΓ©sar de la Fuente
Registered:28 Nov 2024 11:52
Follow date:30 Jan 2025 17:29
Presidential Associate Professor @upenn.edu - using AI to reimagine antibiotic discovery and peptide design. Previously @MIT, @UBC
π https://delafuentelab.seas.upe...
Michael Posa
Registered:6 Dec 2023 22:23
Follow date:30 Jan 2025 17:29
Asst. Prof. at the University of Pennsylvania, part of the GRASP Lab. PI of the Dynamic Autonomy and Intelligent Robotics Lab. https://dair.seas.upenn.edu
Weijie Su
Registered:28 Nov 2024 01:12
Follow date:30 Jan 2025 17:29
Associate Professor at University of Pennsylvania
Konrad Kording
Registered:1 May 2023 12:12
Follow date:30 Jan 2025 17:29
@Penn Prof, deep learning, brains, #causality, rigor, http://neuromatch.io, Transdisciplinary optimist, Dad, Loves outdoors, π¦ , c4r.io
GRASP Lab
Registered:25 Oct 2024 13:01
Follow date:30 Jan 2025 17:28
Founded in 1979, the GRASP Laboratory is an interdisciplinary academic and research center, and premiere robotics incubator within Penn Engineering.
The Warren Center for Network & Data Sciences
Registered:6 Sep 2023 17:31
Follow date:30 Jan 2025 17:28
A research center at Penn Engineering, working to foster research and innovation in interconnected social, economic and technological systems.
George Pappas
Registered:11 Feb 2024 21:43
Follow date:30 Jan 2025 17:28
Dani S. Bassett
Registered:15 Nov 2024 21:38
Follow date:30 Jan 2025 17:28
Networks, neuroscience, control theory, curiosity, science of science
π³οΈβππ³οΈββ§οΈJ Peter Skirkanich Professor, University of Pennsylvania
Joshua B. Plotkin
Registered:19 Aug 2023 02:11
Follow date:30 Jan 2025 17:28
Annenberg Professor of Natural Sciences, University of Pennsylvania
http://evolution.sas.upenn.edu...
Santosh Nagarakatte
Registered:14 Nov 2024 17:58
Follow date:27 Jan 2025 03:25
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/...
Mike Sperber
Registered:16 Oct 2023 08:16
Follow date:24 Jan 2025 22:51
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperb...
Yuriy Brun
Registered:19 Nov 2024 15:29
Follow date:24 Jan 2025 22:50
Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~b...
Tomas Petricek
Registered:28 Oct 2024 21:14
Follow date:24 Jan 2025 22:50
Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
Penn Engineering
Registered:14 Nov 2024 14:43
Follow date:24 Jan 2025 16:04
The official Bluesky page for Penn Engineering at the University of Pennsylvania
Andreas Zeller
Registered:22 Sep 2023 05:50
Follow date:24 Jan 2025 12:58
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
jeremysiek.bsky.social
Registered:16 Nov 2024 21:18
Follow date:24 Jan 2025 12:58
Stephen Edwards
Registered:20 Jan 2025 22:54
Follow date:20 Jan 2025 23:38
Associate Professor of Computer Science at Columbia University
https://www.cs.columbia.edu/~s...
PLDI
Registered:20 Jan 2025 21:34
Follow date:20 Jan 2025 23:34
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
Manu Sridharan
Registered:11 Sep 2024 19:01
Follow date:19 Jan 2025 06:24
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Frank McSherry
Registered:28 Oct 2024 23:26
Follow date:19 Jan 2025 06:23
Swarat Chaudhuri
Registered:13 Nov 2024 22:51
Follow date:17 Jan 2025 12:19
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/~swa...
jcreed.bsky.social
Registered:10 Nov 2024 12:48
Follow date:17 Jan 2025 12:18
Andy Gill
Registered:16 Nov 2024 17:22
Follow date:17 Jan 2025 12:18
Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Michael Kearns
Registered:12 Dec 2024 17:43
Follow date:17 Jan 2025 12:17
CS prof at Penn, Amazon Scholar in AWS. Interested in ML theory and related topics, as well as photography and Gilbert and Sullivan. Website: www.cis.upenn.edu/~mkearns
Crista πΆ
Registered:8 Sep 2024 16:40
Follow date:17 Jan 2025 12:17
Professor at UC Irvine, among other things. This is my personal account, not the Universityβs.
I like light and clarity.
Sebastian Graf
Registered:22 Dec 2023 22:12
Follow date:17 Jan 2025 12:17
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Konstantinos Kallas
Registered:20 Nov 2024 19:42
Follow date:17 Jan 2025 12:17
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
ICFP Conference
Registered:26 Nov 2024 00:07
Follow date:17 Jan 2025 12:09
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Yiyun Liu
Registered:4 Jan 2025 19:28
Follow date:17 Jan 2025 12:08
PhD student at Penn
ionchy
!! Invalid Handle !!
Registered:11 Apr 2023 16:17
Follow date:17 Jan 2025 12:08
it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL β UBC β¦ PhD @ PLClub β UPenn
asian-canadian π¨π¦πΉπΌππ°π³οΈβπ
https://ionathan.ch
Joe Cutler
Registered:27 Apr 2023 16:57
Follow date:17 Jan 2025 12:08
cutler.pl
Sam Tobin-Hochstadt
Registered:28 Apr 2023 22:29
Follow date:17 Jan 2025 12:08
Associate Professor, IU Computer Science Β·
Core Developer, @racketlang.bsky.social Β·
Member, TC39 Β·
Handler, Gravymaker Β·
Bike Advocate, Bloomington IN
Adrian Sampson
Registered:24 Mar 2023 19:02
Follow date:17 Jan 2025 12:08
actually just on Mastodon: https://discuss.systems/@adria...
plaidfinch
Registered:9 Apr 2023 21:15
Follow date:17 Jan 2025 12:08
i like emails: finch@plaidfinch.net
age123456789pqc3kgk33jrca6vqlf7pl8me3vqzjqj7jf60qdm9l42sm5ffva
Ξ»ββ‘ Β· Ξ½ββ Β· β‘ β Ξ βοΉβ‘β(ββ‘ββ β ββ) β β‘ββ
JMCT
Registered:19 Apr 2023 21:14
Follow date:17 Jan 2025 12:08
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
Nintendo .DS_Store
Registered:4 Feb 2023 18:00
Follow date:17 Jan 2025 12:08
Pidgin algebraist, baseball influencer https://slim.computer
Sam Westrick
Registered:26 Jul 2023 01:33
Follow date:17 Jan 2025 12:08
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl...
https://cs.nyu.edu/~shw8119/
Hila Peleg
Registered:8 Jul 2023 08:47
Follow date:17 Jan 2025 12:08
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
joomy
Registered:1 Jul 2023 23:12
Follow date:17 Jan 2025 12:08
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
π¦: http://twitter.com/joomy
πΈοΈ: http://joomy.korkutblech.com