TJSomething

This is like half of all job listings I've read recently. And it's a decent amount of fintech that's like this.

I'm assuming that the most relevant geoengineering is worldwide stuff like blotting out the sun with microsatellites at L1 and dumping iron or lime into the oceans to increase CO2 absorption.

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.

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.

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

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.

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.

"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?

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.

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

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.

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

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

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.

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.

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 real than those present in broader society.

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. Then you need a sufficiently smart compiler problem of lowering these problems to the GPU. But of course, there's a limit to how smart a compiler can be, which loops back to your abstraction design.

Overall, it seems to be a really interesting problem!

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 can go to make single payer health care happen, even if I spent 40 hours a week for a decade at a 60% pay cut.

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've been using F# and there are actually several roadblocks for AOT F# [0]. However, a self-contained .NET JIT executable is still surprisingly small (18 MB for an ASP.NET minimal API written in F#), easy to build, and easy to deploy.

[0] https://github.com/dotnet/fsharp/issues/13398