Tiago
banner
tiferrei.com
Tiago
@tiferrei.com
he/him • Computer Scientist @ UCL PPLV
Reposted by Tiago
Prakash Panangaden gives the first plenary at Bellairs ‘25
March 16, 2025 at 3:12 PM
Reposted by Tiago
Please stop calling your elected representatives. They’re very old and very confused, and it does them no good to get all riled up
February 1, 2025 at 3:44 AM
Reposted by Tiago
lmao no, TikTok users are not moving to Bluesky. They would literally rather learn Mandarin than learn how to read a feed of text posts. This is a millennial retirement home.
January 19, 2025 at 5:45 AM
Reposted by Tiago
Imagine still believing that America is the land of the free when they’re doing this to a journalist at a press conference
January 16, 2025 at 7:25 PM
Reposted by Tiago
Seminar Refreshments
January 16, 2025 at 8:27 PM
Reposted by Tiago
Everyone is happy with their parachute until they need it to open.
December 6, 2024 at 6:10 PM
Reposted by Tiago
A doctor’s letter to United Healthcare for denying nausea meds for a child on chemo
December 5, 2024 at 3:01 PM
A question for the OCaml pros: How do you deal with Stdlib.Set?

There are three things that always bring a lot of friction whenever I use it. (1/4)
November 18, 2024 at 12:22 PM
Reposted by Tiago
If you want to do a PhD on getting LLMs to spit out code that behaves as intended, come to
@ucsd_cse
www.nsf.gov/awardsearch/...
NSF Award Search: Award # 2422214 - FMitF : Track I: Aligning Code-Generating Models with Formal Specifications Lock
www.nsf.gov
November 13, 2024 at 4:58 PM