nomadygnt

6 ms·

1.
by nomadygnt 29d ago
When you buy a framework, you are not forced to buy the same component from framework. You are free to buy a new laptop like you would if your laptop from Dell failed.
2.
by nomadygnt 2mo ago
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.
3.
by nomadygnt 4mo ago
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.
4.
by nomadygnt 4mo ago
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.
5.
by nomadygnt 4mo ago
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 change the incentive st
6.
by nomadygnt 4mo ago
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 worried about having fewer
7.
by nomadygnt 4mo ago
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 finish as quickly as pos
8.
by nomadygnt 5mo ago
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 and effort to make good
9.
by nomadygnt 5mo ago
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 Stradivarius equival
10.
by nomadygnt 5mo ago
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 with AI be part of t
11.
by nomadygnt 7mo ago
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 would not get paid.
12.
by nomadygnt 8mo ago
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 there is a market for the
13.
by nomadygnt 8mo ago
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 learning something makes i
14.
by nomadygnt 8mo ago
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 models AND Gemini models a
15.
by nomadygnt 8mo ago
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 → Sedition (evil) Sedition →
16.
by nomadygnt 9mo ago
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 really a cool system for
17.
by nomadygnt 9mo ago
Where do you work that you get to write Lean? That sounds awesome!
18.
by nomadygnt 9mo ago
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 of what you mean her
19.
by nomadygnt 1y ago
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.
20.
by nomadygnt 1y ago
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 congress. But somehow they ke
21.
by nomadygnt 1y ago
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 listen to something rathe
22.
by nomadygnt 1y ago
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 no alternative?
23.
by nomadygnt 1y ago
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 look it up.
24.
by nomadygnt 1y ago
This was a great interview. I’m a big fan of Neal and Neal.fun
25.
by nomadygnt 1y ago
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.