TJSomething

764 karmajoined há 13 anos

comments

há 4 diasdiscuss

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 decently at one tenth the cost. It's plausible that further research could yield other models that are smaller and more effective at limited tasks, reversing the trend of ever growing models.

há 25 diasdiscuss

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 it.

mês passadodiscuss

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.

há 2 mesesdiscuss

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 in Reno, it was 93°F at 2 PM, it peaked at 95°F at 3:30 PM, and it didn't fall back down to 93°F until 5 PM. Some of that sustained power usage probably is people getting home, but a lot of it is A/C.

há 2 mesesdiscuss

While Janet pulls from a few inspirations, the syntax is pure Clojure. I always figured that it was trying fix up the bumpy parts in Fennel to enable a programming style that was more consistently Clojure-like and functional than could be done in Fennel, since Fennel ultimately has to use Lua's semantics because Fennel compiles to Lua.

há 2 mesesdiscuss

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 abolishing the stock market as it exists, which seems more likely.

há 2 mesesdiscuss

"Chicxulub impact" seems to be functioning as a bit of hyperbole to imply that this collusion was absolutely devastating, by analogy to the K-T extinction event 66 million years ago.

Not that I really can tell what this was devastating to. Maybe United States v. Apple (2012), where Hachette Book Group, Inc., HarperCollins publishers, Macmillan publishers, Penguin Group, Inc., and Simon & Schuster, Inc. conspired with Apple to raise ebook prices?

há 2 mesesdiscuss

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 Power Query to core Excel in 2016.

há 2 mesesdiscuss

I love moving all my laundry to the dryer and forgetting to start the dryer. Probably happens once or twice a month.

há 3 mesesdiscuss

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.

há 3 mesesdiscuss

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 anything you see on a runway), some aren't (e.g. basic T-shirt), and some seem ambiguous to me (some ties might be art, but some are pretty boring and they don't have much practical use).

há 3 mesesdiscuss

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 maintain a spreadsheet with a rotating schedule of like 10 credit card companies that are cycled (or maybe shifted between based on who has the best deal for a given good or store in any given month?) for maximum points.

há 3 mesesdiscuss

  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: [email protected]

há 4 mesesdiscuss

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 compliant. If there isn't, then it's probably going to be really easy to subpoena to prove mens rea, because getting that right is tricky and requires a fair amount of review and coordination.

há 4 mesesdiscuss

Given Sec. Hegseth's record, I don't think he really wants women in the military.

há 4 mesesdiscuss

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.

há 4 mesesdiscuss

Is this a weird attempt at device verification?

há 5 mesesdiscuss

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 different way.

há 5 mesesdiscuss

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 jump the queue, that will be extra.

há 7 mesesdiscuss

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 standards.