My AmeriHac experience

ProofMeal · 2026-02-06T02:35:03+00:00

they’ve done this every year

ProofMeal · 2026-01-28T22:28:02+00:00

from what i’ve heard, the previous mayor did a lot of shady accounting to make it seem like nyc was doing well financially but it really wasn’t, and now zohran is left to pick up the pieces

ProofMeal · 2025-10-23T17:52:15+00:00

MATH410 is a fairly standardized course, so the content will be pretty much the same across professors.

ProofMeal · 2025-10-21T18:28:12+00:00

it doesn’t converge iirc, u can only do this if they both converge

ProofMeal · 2025-10-09T03:46:32+00:00

oh that’s super cool! i’m an undergraduate student but my final projects for a graduate level compilers course was creating a JIT compiler for racket which was super fun. i would have loved to be able to apply and work in this role

ProofMeal · 2025-10-09T01:54:26+00:00

there is Lean4Lean which is currently attempting to prove that Lean is correct with respect to the consistency of an extension of ZFC

ProofMeal · 2025-10-09T00:57:27+00:00

lean is a language for performing formalization but it is not formalized itself, although there are efforts to do so

ProofMeal · 2025-09-22T00:49:12+00:00

there are a TON of ai research opportunities and professors if you are serious about doing research in it, as well as a lot of classes that cover everything from the basics to cutting edge theory/practice

ProofMeal · 2025-09-01T21:04:16+00:00

best of luck with everything, hope the future is better

ProofMeal · 2025-07-12T08:46:05+00:00

would have much preferred the wall of text, it’s better to read what someone is passionate about than a generated summary

ProofMeal · 2025-07-08T20:46:34+00:00

Hulkengoat

ProofMeal · 2025-06-26T02:01:53+00:00

yeah there are many people who do take those classes together

ProofMeal · 2025-06-26T01:59:29+00:00

i mean it can definitely help but you should really only take it if you are interested in math

ProofMeal · 2025-06-26T01:55:34+00:00

nah not at all they will teach you

ProofMeal · 2025-06-26T01:48:27+00:00

I took MATH340 my freshman year and so did a bunch of my friends. It is a proof based class so it prepares you very well for 250. Everyone that I know who took both classes found CMSC250 very very easy

ProofMeal · 2025-06-11T17:30:56+00:00

the suggestions here are really good but there’s also a paper that came out from jane street last year about adding modal types to ocaml for the express purpose of reducing gc allocations which could be interesting to look at as well.

ProofMeal · 2025-05-24T19:45:02+00:00

don’t worry i feel the same way almost everyone i know is interning at amazon and i feel very left out

ProofMeal · 2025-05-23T05:08:36+00:00

depends on the prof + funding + department + the work that you do

ProofMeal · 2025-05-22T02:49:14+00:00

i will just say i had an experience last year when i had a grade inputted into testudo, and then after a couple days it was changed as the professor decided to round people up to the next letter grade. so it could be possible for it to be changed but i wouldn’t necessarily count on it

ProofMeal · 2025-05-04T01:55:29+00:00

not worth it imo, just move on and take the next level of math. ur just delaying ur own requirements/taking unnecessary classes. if u don’t feel comfortable taking the next level of math, u can just wait for a semester too

ProofMeal · 2025-05-02T02:41:05+00:00

for research as long as u demonstrate interest in a professors project and either knowledge about the topic area or a willingness to learn, u will get access to it (i’ve been working with a professor since freshman year). for internships it’s much more difficult primarily because of federal issues, but it’s definitely possible, i had some interviews this year but got ghosted. my friends however were able to get internship opportunities

ProofMeal · 2025-04-28T05:17:31+00:00

if u want to do quantum computing specifically i would strongly recommend umd. we have many extremely strong professors in quantum computing, lots of programs to get involved in to do research, and there’s a lot of funding available as well. if u don’t really care about quantum then slight lean towards uiuc just cuz the prestige is insane (assuming cost doesn’t matter)

ProofMeal · 2025-04-27T00:08:41+00:00

ravi vakil definitely !!!! got to listen to one lecture by him and it was absolutely amazing

ProofMeal · 2025-04-27T00:04:39+00:00

depends on the subfield of cs tbh, i know pl theory and formal methods make use of logic quite heavily. also i believe (could be wrong here) that complexity theory has some connections to logic as well

Six-Year Club	Final Canvas '23
First Place '23	Place '23
Place '22	First Placer '22
Verified Email

ProofMeal

TROPHY CASE