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 made.
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 that we should be), then we may need to…
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 saying that if MIT or whoever else is…
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 to work. As it is now it’s better to…
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 agree though that it still takes time…
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 for other instruments (though what the…
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 partial ownership over discoveries made…
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 watched them on tv, then they quite literally…
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 agree if the LLM fails to do so then…
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 if it is completely wrong, before…
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 all of OpenAI models AND Anthropic…
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 press (broader) Printing press →…
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 combined with the z3 SMT solver. It’s…
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 to use it. Could you give me an example…
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 technicial but similarly cool.
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 90, or 85 is too old to be in…
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 much easier to passively watch or…
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 is also 10x more expensive and there is…
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 day it is. Either way you still have to…
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 communities atm.
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 made.
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 that we should be), then we may need to…
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 saying that if MIT or whoever else is…
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 to work. As it is now it’s better to…
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 agree though that it still takes time…
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 for other instruments (though what the…
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 partial ownership over discoveries made…
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 watched them on tv, then they quite literally…
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 agree if the LLM fails to do so then…
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 if it is completely wrong, before…
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 all of OpenAI models AND Anthropic…
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 press (broader) Printing press →…
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 combined with the z3 SMT solver. It’s…
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 to use it. Could you give me an example…
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 technicial but similarly cool.
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 90, or 85 is too old to be in…
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 much easier to passively watch or…
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 is also 10x more expensive and there is…
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 day it is. Either way you still have to…
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 communities atm.