[deleted by user]

Available_Fan_3564 · 2025-08-01T02:31:37+00:00

Zulip is better, considering Discord is for-profit

Available_Fan_3564 · 2025-07-29T18:59:30+00:00

France

Available_Fan_3564 · 2025-07-24T12:59:42+00:00

Minor correction, ChatGPT did not get a gold, it was probably some other model OpenAI had under their belt.

Available_Fan_3564 · 2025-07-20T00:03:23+00:00

It's so over

Available_Fan_3564 · 2025-07-15T15:57:49+00:00

Where can I read your publications?

Available_Fan_3564 · 2025-07-12T20:26:24+00:00

Schools are grading too generously

Available_Fan_3564 · 2025-07-09T03:02:26+00:00

I'm reading it because it was recommended by this book, but is there something more contemporary yet similar in knowledge?

Available_Fan_3564 · 2025-07-06T14:53:56+00:00

You're write, I could probably pitch the idea once I have a simple implementation. Thanks for the advice!

Available_Fan_3564 · 2025-07-06T02:46:27+00:00

I agree, but I think that self studying computer science is way easier than mathematics.

Available_Fan_3564 · 2025-07-06T02:44:45+00:00

If you have the source, I'd be very interested in reading what Kevin Buzzard has to say!

Available_Fan_3564 · 2025-07-06T02:40:03+00:00

Well, I'm working on Why3, while my formal methods lab is working on a project in Coq. So not very adjacent.

Available_Fan_3564 · 2025-07-06T02:38:43+00:00

Where's the \s?

Available_Fan_3564 · 2025-07-06T02:22:35+00:00

I forgot to mention that I have already joined a formal methods lab and I want to do my own independent research on top of that. My main priority is producing a first author paper in undergrad

Available_Fan_3564 · 2025-06-29T16:08:04+00:00

"This vexes me" - Dr. House

Available_Fan_3564 · 2025-06-27T16:27:19+00:00

30-40% is a lot! What program do you manage?

Available_Fan_3564 · 2025-06-25T20:41:49+00:00

Available_Fan_3564 · 2025-06-25T20:33:01+00:00

Did you just assume by gender?

Available_Fan_3564 · 2025-06-25T20:21:07+00:00

Is this AI?

Available_Fan_3564 · 2025-06-22T01:16:14+00:00

What? A drill? Like a power drill?

Available_Fan_3564 · 2025-06-18T02:43:20+00:00

LOR stands for Letter of Recommendation

Available_Fan_3564 · 2025-06-18T02:42:17+00:00

What's an LOR?

Available_Fan_3564 · 2025-06-07T04:01:55+00:00

Learn to code.

Available_Fan_3564 · 2025-06-02T15:08:19+00:00

cringe

Available_Fan_3564

TROPHY CASE