I haven't tried it, but I saw Leanstral, an LLM specialized in writing Lean proofs, posted on HN recently and it claims to outperform some larger general purpose models. It didn't beat Claude Opus, but it seems to do…
If open frontier models start closing up and states start more export controls on AI services and hardware, it might be good to ensure the supply chain is there to reproduce the SotA, or even a couple generations behind…
I mean I feel obligated. I'd feel bad if I skipped voting in an election where I found out after the fact that one of the candidates kicked puppies.
I'm not sure that follows as the biggest driver. 4 PM is nearly as high as as 6 PM. You would expect a big jump at 5 PM, but the biggest jump is from noon to 2 PM. Just looking at today's temperatures on my front porch…
I feel like this supposes a better world where most people are educated, rational, and calm investors with the time, money, and energy to actively manage a diversified portfolio. Or I guess you could get there by…
I mean, it might have been at first, but Microsoft figured out that the majority of users for lists without formulas in 1993 and they've strategized around that. IMHO, the biggest concession to this was when they added…
I love moving all my laundry to the dryer and forgetting to start the dryer. Probably happens once or twice a month.
The short answer is that the lambda calculus computes transformations on digital values while this is for building functions that can transform continuous (complex) values.
A lot of clothes aren't particularly practical. I'd argue that artifacts are more likely to be art if their purpose is more aesthetic than practical. As such, I'd say that some articles of clothing are art (like…
The big win I usually hear from family who use a lot of miles is on upgrading seats for free, which is really great because they have joint issues and fly fair number of international flights. But I think they also…
Location: Reno, NV Remote: Yes Willing to relocate: No Technologies: TypeScript, PHP, C++, Scala, C#, AWS Résumé/CV: https://www.linkedin.com/in/thomas-james-kelly/ Email: info@thomaskelly.co
If you can do traffic interception, there's a pretty good chance there's going to be traces of price levels in the API and the analytics. Especially since it's probably going to be bolted on to the side of anything PCI…
Given Sec. Hegseth's record, I don't think he really wants women in the military.
I'd assume the point is that they think that the possibility of serving the website to an individual physically within a prohibited country constitutes unacceptable liability.
Is this a weird attempt at device verification?
I actually own this, but I find that, in practice, remembering the mappings is tricky for most players. Also, it's surprisingly annoying to not have rotationally symmetric cards, or needing to hold the cards in a…
It's not the delivery that takes that long. It's the printing. It's a print on demand item, printed in the United States. The decks don't currently exist and the current print queue is just that long. If you want to…
It's not interactive. It's just an extremely brief brochure for the actual service, which is available via SSH. All the useful copy is under the About link at the bottom, which is so light as to fail WCAG contrast…
It matches my usual reading pretty closely. Society gives names to things that aren't real and then argues about them. Twitter is a microcosm of this with their own categories and assemblages of ideas that are even less…
It seems like there are two sides to this problem, both of which are hard and go hand in hand. There is the HCI problem of having abstractions are rich enough to handle problems like parsing and scheduling on the GPU.…
While more power may not make sense, less weight is an easy way to get more efficiency. And if you can keep the same power at a lower weight, that's a win.
I know it's beside the point, but I think a chunk of the reason for many of the security measures in airports is because creating the appearance of security increases people's willingness to fly.
I can get a six pack by doing exercises in my house everyday with some weights and resistance bands for 20 minutes a day and by spending 5 minutes a day tracking my food for a year. I don't think that there is a place I…
I played one day and I had to quit because it was stressing me out too much. Good job!
Seconding this. Additionally, I'm likely to fumble speaking tactfully as a result.
I haven't tried it, but I saw Leanstral, an LLM specialized in writing Lean proofs, posted on HN recently and it claims to outperform some larger general purpose models. It didn't beat Claude Opus, but it seems to do…
If open frontier models start closing up and states start more export controls on AI services and hardware, it might be good to ensure the supply chain is there to reproduce the SotA, or even a couple generations behind…
I mean I feel obligated. I'd feel bad if I skipped voting in an election where I found out after the fact that one of the candidates kicked puppies.
I'm not sure that follows as the biggest driver. 4 PM is nearly as high as as 6 PM. You would expect a big jump at 5 PM, but the biggest jump is from noon to 2 PM. Just looking at today's temperatures on my front porch…
I feel like this supposes a better world where most people are educated, rational, and calm investors with the time, money, and energy to actively manage a diversified portfolio. Or I guess you could get there by…
I mean, it might have been at first, but Microsoft figured out that the majority of users for lists without formulas in 1993 and they've strategized around that. IMHO, the biggest concession to this was when they added…
I love moving all my laundry to the dryer and forgetting to start the dryer. Probably happens once or twice a month.
The short answer is that the lambda calculus computes transformations on digital values while this is for building functions that can transform continuous (complex) values.
A lot of clothes aren't particularly practical. I'd argue that artifacts are more likely to be art if their purpose is more aesthetic than practical. As such, I'd say that some articles of clothing are art (like…
The big win I usually hear from family who use a lot of miles is on upgrading seats for free, which is really great because they have joint issues and fly fair number of international flights. But I think they also…
Location: Reno, NV Remote: Yes Willing to relocate: No Technologies: TypeScript, PHP, C++, Scala, C#, AWS Résumé/CV: https://www.linkedin.com/in/thomas-james-kelly/ Email: info@thomaskelly.co
If you can do traffic interception, there's a pretty good chance there's going to be traces of price levels in the API and the analytics. Especially since it's probably going to be bolted on to the side of anything PCI…
Given Sec. Hegseth's record, I don't think he really wants women in the military.
I'd assume the point is that they think that the possibility of serving the website to an individual physically within a prohibited country constitutes unacceptable liability.
Is this a weird attempt at device verification?
I actually own this, but I find that, in practice, remembering the mappings is tricky for most players. Also, it's surprisingly annoying to not have rotationally symmetric cards, or needing to hold the cards in a…
It's not the delivery that takes that long. It's the printing. It's a print on demand item, printed in the United States. The decks don't currently exist and the current print queue is just that long. If you want to…
It's not interactive. It's just an extremely brief brochure for the actual service, which is available via SSH. All the useful copy is under the About link at the bottom, which is so light as to fail WCAG contrast…
It matches my usual reading pretty closely. Society gives names to things that aren't real and then argues about them. Twitter is a microcosm of this with their own categories and assemblages of ideas that are even less…
It seems like there are two sides to this problem, both of which are hard and go hand in hand. There is the HCI problem of having abstractions are rich enough to handle problems like parsing and scheduling on the GPU.…
While more power may not make sense, less weight is an easy way to get more efficiency. And if you can keep the same power at a lower weight, that's a win.
I know it's beside the point, but I think a chunk of the reason for many of the security measures in airports is because creating the appearance of security increases people's willingness to fly.
I can get a six pack by doing exercises in my house everyday with some weights and resistance bands for 20 minutes a day and by spending 5 minutes a day tracking my food for a year. I don't think that there is a place I…
I played one day and I had to quit because it was stressing me out too much. Good job!
Seconding this. Additionally, I'm likely to fumble speaking tactfully as a result.