🚀 LLMs + Formal Methods = Smarter Program Repair? Our paper was just accepted at AAAI 2025! 🎉
🔍 Formal Methods find bugs but struggle with fixes. 🤖 LLMs repair code but over-edit. What if we combined their strengths? 🧵👇
27.02.2025 15:04 — 👍 3 🔁 1 💬 1 📌 1
The selfie camera on pixels has a setting for face retouching. Not sure if there is something similar for the back cameras 🤔
26.12.2024 12:13 — 👍 0 🔁 0 💬 0 📌 0
🎓⚙️ Meet GitSEED, a revolutionary tool for programming education accepted at sigcsevirtual.acm.org! Labs, projects, dashboards & personalized feedback—all on @gitlab.com. Let’s dive into how it transforms learning. 🧵👇
04.12.2024 16:41 — 👍 8 🔁 3 💬 1 📌 0
https://danieltrt.github.io
PhD Student in CMU in Societal Computing
Video game developer and makers of the games South of Midnight, We Happy Few, and Contrast. An Xbox studio based in Montreal.
Actor. Writer. Producer. Internet Native. “Lost Daughter of Sparta” out March 17, preorder now! https://bit.ly/LostDaughterOfSparta
Been making videos since 2007 over on Youtube.com/wheezywaiter.
I'm at all these places, too https://linktr.ee/wheezywaiter
Videos & Podcasts
More about my work at: https://linktr.ee/bradyharan
I make things. They’ll probably come back to haunt me in a few years’ time. https://www.tomscott.com/
CS professor at UT Austin, does research in programming languages & formal methods.
Raytracers are my "hello world"s
he/him
At CMU, the (Blue)sky's the limit. United by curiosity and driven by passion, we reach across disciplines, forge new ground and deploy our expertise to make real change that benefits humankind.
CS Professor at @istecnico.bksy.social - ULisbon
Father of 3. Rider of MT-09.
"I'm not protesting to change the world. I’m protesting to ensure the world doesn’t change me."
I'm a member of the imperial senate on a diplomatic mision to Alderaan.
Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8!
www.justinesherry.com
👨💻🕵️♂️ MSCA COFUND Postdoctoral Fellow @ IIIA-CSIC, Barcelona 🇪🇸
🕵️♂️ Visiting Researcher @ University of Oxford 🇬🇧
🌐 pmorvalho.github.io 🇵🇹
Creators of Hades, Pyre, Transistor, and Bastion.
· Merchandise: https://supergiant.games/merch
· Discord: http://discord.gg/supergiant
Videos. Educational? Not really. Funny? Eh.
youtube.com/@captaindisillusion
patreon.com/captaindisillusion
A bot by @katef.bsky.social
Official account of the Red Hook Studios games Darkest Dungeon and Darkest Dungeon II.
Play Darkest Dungeon II on Steam: http://bit.ly/3QPr4QU
ESRB Rating: Teen
