Attending NINeS 2026
February 10th, and thus the inaugural edition of NINeS is just around the corner. You can participate from anywhere in the world, at times that are convenient to you. See https://nines-conference.org/attend for information on how you can participate. We hope to see you on Feb 10th!
31.01.2026 16:19 โ ๐ 6 ๐ 6 ๐ฌ 0 ๐ 0
In either case, itโs difficult to quit!
28.01.2026 06:57 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0
19.01.2026 13:48 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
Yes.
19.01.2026 13:47 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0
CDMX!
19.01.2026 13:21 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0
You've heard of elf on a shelf, now get ready for...
08.01.2026 07:14 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
TFW you name the final exam "F" ... which causes students to receive an email telling them they've received an "F" grade๐คฆโโ๏ธ
Clearly de Bruijn is the way to go...
22.12.2025 20:23 โ ๐ 6 ๐ 0 ๐ฌ 0 ๐ 0
Now feels inappropriate given recent events, but thanks for appreciating!
14.12.2025 17:15 โ ๐ 2 ๐ 0 ๐ฌ 1 ๐ 0
This is awful. Glad to hear you and K are okay.
14.12.2025 00:09 โ ๐ 2 ๐ 0 ๐ฌ 1 ๐ 0
Twitter post from 2022
Real-life Twitter memes on a professional committee..
@shriram.bsky.social: โI just want to clarify my position, since I certainly don't want it misconstruedโ
@natefoster.bsky.social: Soโฆ ?
13.12.2025 14:00 โ ๐ 4 ๐ 0 ๐ฌ 1 ๐ 0
This is not a joke about CrowdStrike ๐
07.12.2025 23:36 โ ๐ 4 ๐ 0 ๐ฌ 2 ๐ 0
Congratulations to the CrowdStrike Software Update team for winning the 2025 FIFA Turing Award!
07.12.2025 20:46 โ ๐ 21 ๐ 0 ๐ฌ 1 ๐ 0
This dissertation is about using types for steaming computations. Speaking of streams, if you ever need to cross a stream, or find a life partner, you can do worse than the all-new Ford F150.
02.12.2025 01:55 โ ๐ 5 ๐ 0 ๐ฌ 2 ๐ 0
She had already rotated off!
20.11.2025 23:41 โ ๐ 3 ๐ 0 ๐ฌ 0 ๐ 0
Good luck! (And great t-shirt Jeff :-)
31.10.2025 16:34 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
Always remember to capitalize โmealyโ when talking about automata or people will think you have an infestation.
09.10.2025 00:50 โ ๐ 8 ๐ 0 ๐ฌ 0 ๐ 0
We are thrilled to announce that our NEW Large Language Model will be released on 11.18.25.
01.10.2025 14:38 โ ๐ 25136 ๐ 8348 ๐ฌ 662 ๐ 2208
Tappet Brothers School of Mufflers
30.09.2025 21:50 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
I have some bad newsโฆ
bsky.app/profile/theo...
24.09.2025 00:40 โ ๐ 5 ๐ 0 ๐ฌ 2 ๐ 0
Except in Philly where itโs the Law of Large Mummers!
16.09.2025 12:17 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
Could go with this one, if the OOPSLA PC encountered any sticky situations:
ppaq.ca/en/sale-purc...
09.09.2025 17:06 โ ๐ 2 ๐ 0 ๐ฌ 1 ๐ 0
Word
09.09.2025 16:05 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
Missed opportunity to not name it the โstrategic reviewer reserveโ
09.09.2025 16:05 โ ๐ 3 ๐ 0 ๐ฌ 2 ๐ 0
I came all the way to Coimbra wearing this silly t-shirt and @justinesherry.bsky.social isnโt even here ๐ญ
08.09.2025 21:22 โ ๐ 6 ๐ 0 ๐ฌ 1 ๐ 0
There are many good ideas for improving reviewing culture in CS. But the core issues cut much deeper. So, while mechanism is important, we believe simple mechanistic fixes are unlikely to be effective. With NINeS, we are creating a community and a culture that is truly different.
07.09.2025 18:10 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0
Prof at EPFL
AI โข Climbing
A new conference on networked systems dedicated to all the new ideas fit to discuss!
https://nines-conference.org/
Cosmologist, pilot, author, connoisseur of cosmic catastrophes. TEDFellow, CIFAR Azrieli Global Scholar. Domain verified through my personal astrokatie.com website. She/her. Dr.
Personal account; not speaking for employer or anyone else.
Automated software verification, scientific integrity, and random rants. Previously: PhD at EPFL.
Asst. Professor, London School of Economics
Fellow in Democratic Innovations, Yale ISPS
Governance Innovation Council, Meta
Studying lotteries in democracy and tech, HPE, political economy; turning history into data
acirone.com
Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote โDesigning Data-Intensive Applicationsโ (OโReilly). he/him
A programming language that scales with you: from small scripts to large multiplatform applications.
https://www.scala-lang.org
Pidgin algebraist, baseball influencer https://slim.computer
๐ป regulation (๐ #privacy ๐ณ)
โท๐ด๐ปโโ๏ธ๐ฅพ๐บ ๐ฎ๐จ๐ช๐ธ๐ช๐บ๐ณ๏ธโ๐๐ป
Visiting Prof @fgvoficial.bsky.social ๐จโ๐ซ
Formerly DCMS Principal Scientific Officer/Prof. Information Security & Privacy @oii.ox.ac.uk
Tech News @1br0wn.eupolicy.social.ap.brid.gy
AT Protocol ecosystem community. AT Community Fund, Tech Talks, and other social & community events content.
#ATmosphereConf โข Vancouver, Canada โข March 26th - 29th, 2026 https://news.atmosphereconf.org
Not a Bluesky official account.
#ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co
ex Docker, Unikernel Systems, Citrix
DMs open for collaboration on OCaml, Irmin or MirageOS projects!
Cornell Bowers is the new frontier of techโmoving technology, humanity, and society forward as one. bowers.cornell.edu
Teacher, researcher, globalist, republican.
tompepinsky.com
Assistant Professor @ Stanford
Creating breakthrough technologies for national security.
Proud father, husband, Brooklynite, and former U.S. Attorney for the Southern District of New York. www.damianwilliamsofficial.com.
Michigan Law Prof.
Co-host, Strict Scrutiny Podcast
Author, NYT Bestseller โLAWLESS: How the Supreme Court Runs on Conservative Grievance, Fringe Theories, & Bad Vibesโ
https://www.simonandschuster.com/books/Lawless/Leah-Litman/9781668054628