I hope so too!
30.01.2025 19:43 — 👍 1 🔁 0 💬 0 📌 0
Just signed up for Blue Sky! Excited to see that a lot of the academic crowd from Twitter is here.
30.01.2025 19:22 — 👍 12 🔁 2 💬 3 📌 1
White House pauses all federal grants, sparking confusion
The Trump administration has put a hold on all federal financial grants and loans, affecting tens of billions of dollars in payments.
I think some people hear “grants” and think that without them, scientists and government workers just have less stuff to play with at work. But grants fund salaries for students, academics, researchers, and people who work in all areas of public service.
“Pausing” grants means people don’t eat.
28.01.2025 03:03 — 👍 43898 🔁 14563 💬 1621 📌 965
High School Physics Teacher. Desmos Fellow. He/him. #iTeachPhysics #EduSky
www.afreeparticle.com
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
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/
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
Computer things @Berkeley and music things elsewhere.
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
actually just on Mastodon: https://discuss.systems/@adrian
Husband, dad, cyclist, OCaml h4x0r, Cornell CS professor (in that order)
Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst.
Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org
I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
New blue sky. Same old troll.
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
Professor of Computer Science, Stanford - HCI & Design, Co-Founder & Co-Director Stanford HAI @stanfordhai.bsky.social
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
