Viewing profile — mvh

Hey! Fellow YCer (S24) here. Super cool idea. Depending on how b2c you want to be, one area to maybe consider would be surgeries. Scheduling rooms for surgeries is quite challengin…

Sort of related to what bloop is trying to do too right?

We're using Maitai's structured output in prod (Benchify, YC S24) and it's awesome. OpenAI interface for all the models. Super consistent. And they've fixed bugs around escaping ch…

I use this every week and have been using it for years. Huge fan.

Thank you! Keep in mind this was a joint effort by many, many students. I just happened to tweet about it first.

Thank you! Our faculty allies were very helpful as well, although in a more private way.

Thanks!

We have some excellent faculty allies. The admin is interested in doing the same thing to faculty (making them share space) and so faculty is 100% on our side. Hence we had a publi…

I’m the student who wrote the twitter thread. Let me know if you have any questions!

I want to know about .mil/anime

I'm a PhD student in CS in the USA. At my school in Boston, we are paid a ~40K USD/yr stipend. My friends in industry make a _minimum_ of 120k/yr, and some make considerably more t…

Why would you even consider using an unsound logic? I’m a 3rd year PhD student in formal verification and for the life of me I can’t imagine why anyone would choose to use an unsou…

I use program synthesis - cutting edge technology from, I think, the 70s?

I recently made a map (using Generic Mapping Tools) of one of the Aleutian Islands in Alaska, for one of my dad’s grad students to use in a paper. That would constitute a good exam…

You’re right. There are two types of 0: the internal syntax denoting digit shift, like in 507, and the number representing nothing, as in 0. So in our number system, o isn’t just s…

Isn’t this a copycat crime of the similar incident in Florida roughly a month ago?

This nonsense sounds a lot like programming in Coq.

Wild speculation: because Noetherian induction is kind of tricky? And linked lists are a way to sort of allude to that trick ones without calling it out by name?

I went on Semester at Sea with her - when I was only 3! My dad was a professor on the ship. Apparently she was super nice, although, I don’t remember, since I was 3.

PSA: Chomsky answers emails.

Alloy is awesome to model with but the results can be kind of hard to interpret. Luckily it has a great user group which responds to emails quickly with advice. Cheers!

Point taken but, was it my manager’s fault when I wrote echo “print(“$1”+”$2”)” | python ?

PSA: we often hold similar events at bstn.cc, in CS and math.

Just a drive by comment: graphical languages can be entirely formal; just read any paper on automata and you’ll see some good examples.