Viewing profile — nomadygnt

He didn't make the opposite claim. You are the one that made the claim, meaning you have the burden of supporting it. If there are no studies then no credible claim can reasonably …

I'm not sure about "forbidden" per se but they definitely make accommodations for various things, e.g. riding as passengers in cars for long trips.

I agree to a point. But it should be regulated as what it is, which is gambling. Prediction markets doing everything in their power to avoid regulation is just scummy.

I agree with you. It is definitely what the PhD student signed up for. But like I said in a sibling reply I think if we are worried about having fewer grad students (not saying tha…

Yes, but I think as time goes on, fewer and fewer people are going to consider those letters next to their name worth it for the years that they need to invest. So, I am just sayin…

Taking a longer time to graduate to become the “world expert” in their field is fine if grad students weren’t paid next to nothing for the 60+ hours a week that they are expected t…

This is true, but who do you think knows better what to ask, or has better taste with regards to the open source project? The maintainer? Or the guy shooting a drive by LLM PR? I a…

I think it is more referring to the quality of craftsmanship of the violin compared to other violins. You can’t make a whole orchestra of Stradivarius violins and their equivalents…

If an OpenAI model helped someone create a cancer cure I guarantee that they would try to profit as much as possible from that fact. They have even talked in the past about having …

I agree with that last part but the people watching the athlete are definitely the customer. The athlete gets paid because people watch them on tv (and in person). If no one watche…

I see what you mean, but the problem is that the LLM provider is trying to provide all the value from the book to the user without the user needing to look at the book at all. I ag…

Maybe I am wrong about this but I think a lot of recent research has shown that trial and error is a great way to learn almost everything. Even just making an educated guess, even …

Honestly with how good OpenCode is, this really just makes GitHub copilot the best subscription for the average user. It’s the cheapest. It’s free for students. You get access to a…

This is fun! I thought I did pretty good with 123. I found a path from Books to Rainbow with 123 generated topics! Books → Johannes Gutenberg (people) Johannes Gutenberg → Printing…

Another cool tool that’s being developed for rust is verus. It’s not the same as Kani and is more of a fork of the rust compiler but it lets you do some cool verification proofs co…

Where do you work that you get to write Lean? That sounds awesome!

This seems really interesting to me as I don’t often work in domains that require me to know a lot of facts, but I still feel like SRS could be useful. I just don’t quite know how …

This is cool! I love this kind of simulation GPU programming stuff. Reminds me of this awesome talk from Peter Whidden: https://youtu.be/Hju0H3NHxVI?si=V_UZugPSL9a8eHEM Not as tech…

Which really makes you wonder how well the system is really working. Of course I don’t know this but I feel like if you asked everyone, the majority of people would say that 95, or…

In my mind reading is more similar to thinking than watching. I have no basis for this but it just feels more mentally active. Of course it could just be my biases but I feel it is…

Monopolies are anti-competitive. Without competition there is no incentive for innovation, lowering prices, not price-gouging etc. Is a 10x better product really 10x better if it i…

Yes! Whenever people say that we should have one timezone I always bring this up. Either you have to look up what time it is in another country or you have to look up what time of …

This was a great interview. I’m a big fan of Neal and Neal.fun

In elixir -> phoenix, python -> django, php -> laravel. Any other ones are gonna be a little niche but from what I can tell these four (with rails) have the most large and active c…