Curry and Type
@TypeSafetyFirst
I do semantics, type systems** and other stuff. ** mechanized mostly!
New to X, no one warned me that it would be addictive!!
Question for researchers: How do you become a program committee of some conference, workshop, demos, SRC??!
Waking up at 1 am to catch a flight to USA for CSF'25 conference. So excited!! @CSFSymposium
We are looking for an individual who will promote, nurture and grow the P4 ecosystem. This is a technical role, ideal for an individual from a hands-on software engineering background in networking . Learn more and apply | bit.ly/43F9OFm #P4 #Job
if you think education is about getting the answers correct on the test you’ve got major volkswagen syndrome
Going to a conference with an early bird price feels good 💵 💸
IEEE CSF 2025 early bird registration ends today! So register today at csf2025.ieee-security.org/registration.h…
Eating a Toblerone in the dark to make sure I get enough aluminum in my diet
Dollar for dollar, the booze is a significantly better investment.
Are you interested in programming 💻 languages 🗣️research? Do you like reading cool short student papers? Then you could become part of the PC of the PLDI 25 student research competition!!!! Here is the self nomination form with more information: docs.google.com/forms/d/e/1FAI…
How does 'Accept with shepherding' from 3 reviewers make the final decision for a paper as 'Major revision'? Even Reviewer 2 was happy! -.-
Naming definitions and picking symbols takes longer than writing them. Just me? 🥲
Bold of you to assume debugging isn't our therapy.
Writing code is easy, but understanding it a week later? That's the real challenge!
United States Trends
- 1. LINGORM HER AND HERS FANCON 66.3K posts
- 2. #BUNCHITA 1,436 posts
- 3. Frankenstein 80.3K posts
- 4. Tulane 4,407 posts
- 5. #SmackDown 46.9K posts
- 6. Giulia 15.1K posts
- 7. taylor york 8,455 posts
- 8. Supreme Court 182K posts
- 9. Aaron Gordon 4,577 posts
- 10. #TheLastDriveIn 4,000 posts
- 11. #River 4,578 posts
- 12. Russ 14.1K posts
- 13. #TheFutureIsTeal N/A
- 14. Justice Jackson 5,886 posts
- 15. Connor Bedard 3,124 posts
- 16. Gozyuger 1,920 posts
- 17. Tatis 2,169 posts
- 18. Scott Frost N/A
- 19. Pluribus 31K posts
- 20. Northwestern 5,106 posts
Something went wrong.
Something went wrong.