mvh

8 ms·

1.
by mvh 7mo ago
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 challenging, and has a cost component associated with it which makes t
2.
by mvh 10mo ago
Sort of related to what bloop is trying to do too right?
3.
by mvh 2y ago
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 characters that OpenAI didn't fix
4.
by mvh 3y ago
I use this every week and have been using it for years. Huge fan.
5.
by mvh 4y ago
Thank you! Keep in mind this was a joint effort by many, many students. I just happened to tweet about it first.
6.
by mvh 4y ago
Thank you! Our faculty allies were very helpful as well, although in a more private way.
7.
by mvh 4y ago
Thanks!
8.
by mvh 4y ago
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 public letter with 250+ signatures including many faculty. I ag
9.
by mvh 4y ago
I’m the student who wrote the twitter thread. Let me know if you have any questions!
10.
by mvh 4y ago
I want to know about .mil/anime
11.
by mvh 4y ago
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 than that (think 200k+), in junior / &q
12.
by mvh 4y ago
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 unsound logic. I must be missing something very obvious. Is it,
13.
by mvh 5y ago
I use program synthesis - cutting edge technology from, I think, the 70s?
14.
by mvh 5y ago
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 example of where you couldn’t just tell my # of built structure
15.
by mvh 5y ago
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 syntax, it’s also a number.
16.
by mvh 5y ago
Isn’t this a copycat crime of the similar incident in Florida roughly a month ago?
17.
by mvh 5y ago
This nonsense sounds a lot like programming in Coq.
18.
by mvh 5y ago
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?
19.
by mvh 5y ago
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.
20.
by mvh 6y ago
PSA: Chomsky answers emails.
21.
by mvh 6y ago
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!
22.
by mvh 6y ago
Point taken but, was it my manager’s fault when I wrote echo “print(“$1”+”$2”)” | python ?
23.
by mvh 6y ago
PSA: we often hold similar events at bstn.cc, in CS and math.
24.
by mvh 6y ago
Just a drive by comment: graphical languages can be entirely formal; just read any paper on automata and you’ll see some good examples.
25.
by mvh 6y ago
Lol this made my morning
26.
by mvh 6y ago
Google “ACAS X” if you’re interested in what these algorithms are like. There are some good papers available online.
27.
by mvh 6y ago
My dad (professor at University of Arizona) interviewed Shanna Swan, a scientist profiled in this article, recently. Anyone interested can find the episode here: https://podcasts.apple.com/us/podcast/reproductive-
28.
by mvh 6y ago
My dad (U Arizona professor of public health) interviewed Matthew Meselson at length, mostly about topics other than the mRNA discovery. Anyone interested can find the interview here: https://mobile.twitter.com/sci_histor
29.
by mvh 6y ago
I worked at NASA Armstrong for a summer. The have an entire team there that at least a few years ago worked full time on real time Linux. IDK if that was used in this case or not.
30.
by mvh 6y ago
Anything having the premise “what right do laborers have to complain …” is offensive and ridiculous. (Regardless of who the laborers are or how well paid they are or what form the labor takes.)

More ›