boscillator

Oops, thanks. Stupid dyslexia.

Yah, the government has a big problem with trying to do big upgrades when a ship-of-theseus would work. I suspect this can be traced all the way up to how congressional appropriations work and the acquisitions/sustainment distinction, in addition to usual resume-engineering and second-system-syndrome.

Even here, it can be hard to know what to cut. OCX kept getting funding because running a GPS ground segment is in the government's purview, and sometimes you need to update legacy systems. Obviously, OCX was still a disaster, and we still don't have a modern ground segment, but the answer isn't necessarily cutting programs, it's spending the money in those programs more wisely, and empowering civil servants to stop obvious contractor grift. Actually doing that is difficult and may require more money in the short term.

*edit: spelling

The real answer here is that configuring HTTPS clients to trust a self-signed cert (or signed by an internal CA) shouldn't be as difficult as it is. I find it extremely annoying that every programming language has it's own idea of where certificates should live instead of just checking the os trust store.

detailed information about specific retractions is usually confidential and can only be shared with the relevant authors.

Good luck sharing that information with Max Planck. It's amazing how robotically humans can act sometimes. I suppose this could be an AI or automated response, but it's just as likely it's someone following the letter of the law without using any critical thought.

the right fix is not "handle every malformed case." ... [LLMs] will still attempt to handle now impossible errors.

This is the number one code smell from LLMs and I don't know why they are so obsessed with it. In python, it often comes as `hasattr` checks on types that are defined to have that attribute, in a code base that is fully type-checked.

Why do they do that? Is it from pre-training or re-enforcement? If that latter, can the labs please fix this?

Mostly unrelated, but what is going on with the "I specifically approve section ... of the terms and conditions" when you sign in without an account. Is this a new requirement somewhere?

Other than that, seems interesting! Simulink could always do with a competitor, although I'm always saying Simulink needs a text-based interface. Same signal flow programming model that supports scopes and continues time integrators, just with text instead of drag-and-drop.

A bad design with a good presentation is doomed eventually. A good design with a bad presentation is doomed immediately. - Akin's 20th law of spacecraft design

I always really enjoyed making a slick presentation. It was a lot of fun figuring out how to scope the hardest problem you are sure you can finish in 24hr while still having time to polish your presentation and make the app look good. I find picking a problem that lets you put a big map on the screen helps with the latter.

Huh, I've been to plenty of places were you could order it for an up charge and it came in it's own little bottle.

Tomas Pynchon has much to say about this in The Crying of Lot 49.

They show up as the #2 ad spot when you search "register a domain" and most people don't know any better.

It will be fascinating to see the facts of this case, but if it is proven their algorithms are discriminatory, even by accident, I hope workday is held accountable. Making sure your AI doesn't violate obvious discrimination laws should be basic engineering practice, and the courts should help remind people of that.

https://buchanan.one

No, I'm not super certain, but I believe most solvers are trained to be game theory optimal (GTO), which means they assume every other player is also playing GTO. This means there is no strategy which beats them in the long run, but they may not be playing the absolute best strategy.

I wouldn't be so sure that writing those toolboxes is cheap. You need an aerospace engineer to write the aero toolbox, or you are going to miss subtleties. I assume you need a biologist to write the biology toolboxes. All of these domain experts are really expensive, and I would not trust a toolbox that hadn't been review by them.

It doesn't seem to be the example here, but I know that X.transpose() does not work if X is a (3,) and not a (3,1), which is the common way to present vectors in numpy. MATLAB forcing everything to be at least rank-2 solves a bunch of these headaches.

Interesting... I wrote a similar post about MATLAB's syntax a while ago, and I still think MATLAB is one of the best calculators on the market.

RunMat is an interesting idea, but a lot of MATLAB's utility comes from the toolboxes, and unless RunMat supports every single toolbox I need, I'm going to be reaching for that expensive MATLAB license over and over again.

Yah, it is very strange to equivocate using AI as a spell checker and a whole AI written article. Being charitable, they meant asking the AI re-write your whole post, rather than just using it to suggest comma placement, but as written the article seems to suggest a blog post with grammar errors is more Human™ than one without.

Does this handle covariance between different variables? For example, the location of the object your measuring your distance to presumably also has some error in it's position, which may be correlated with your position (if, for example, if it comes from another GPS operating at a similar time).

Certainly a univarient model in the type system could be useful, but it would be extra powerful (and more correct) if it could handle covariance.

Ok, but what happens when lib-a depends on lib-x:0.1.4 and lib-b depends on lib-x:0.1.5, even though it could have worked with any lib-x:0.1.*? Are these libraries just incompatible now? Lockfiles don't guarantee that new versions are compatible, but it guarantees that if your code works in development, it will work in production (at least in terms of dependencies).

I assume java gets around this by bundling libraries into the deployed .jar file. That this is better than a lock file, but doesn't make sense for scripting languages that don't have a build stage. (You won't have trouble convincing me that every language should have a proper build stage, but you might have trouble convincing the millions of lines of code already written in languages that don't.)

I'm glad you bring up Kojima, because I think he's a master of this New Literalism. I just watched my partner play Death Stranding 2, and it feels like every other cut-scene has an NPC turn to camera and explain the themes of the game. And I love it! And it doesn't detract from the games ability to express those themes through metaphor and game-play.

Obviously subtlety is good, but choosing to be very literal can be an interesting artistic take. I don't think Kojima was thinking about how to dumb-down his message for audiences. I think its a genuine artistic choice rooted in his style. While I didn't like it for other reasons, I think the same can be said for Megalopolis. I loved the scene were it's just a full screen interview with Catiline, even if it was kinda dumb.

There's probably something interesting about how both the ten thousandth grey-CGI marvel movie and these more experimental artists are drawn to hyper-literalism in the now, probably with some thoughts about the social internet thrown in. I'll have to think about it.

Ah, I thought they were a little too funny to be computer generated. Makes sense.

Teenage Engineering has some really obnoxious marketing, but it seems to work. I mean, we're talking about then. Roland or Korg never make hacker news.

I'm still mad at IBM for giving me one of those tests for an internship after 4 years. It required a lot of fast mental arithmetic, which is, medically speaking, not my strong suit. I thought the job was programming computers, not being the computer, but the test suggests otherwise.

I probably should have figured out how to request an ADA accommodation... oh well.

That sounds like you've just made it so your app doesn't work behind a corporate SSL proxy. I really need people to stop rolling there own SSL stores (looking at you python, java and nodejs). I spend way to much of my time getting things running on my work laptop that should just use the CA store IT pre-installed.

I've always thought is should be Azure, Office and XBox, and each should get their own copy of Windows that they could focus on different things while still being largely compatible. Don't know if XBox could survive on it's own.

I don't care if Dinosaur BBQ is a tourist trap, it's delicious and I very much miss it. I would definitely conciser moving back to the Albany area.

The joke the article references seems to think this too, saying you'll find real subcultures in Albany. For some reason the article thinks Albany is the county, despite the fact it is a city with a population of 100k and a couple blocks of skyscrapers downtown.

Yes! It's in contrast to gimbaled systems. Putting the measuring instrument on a gimbal simplifies the math and often improves accuracy, but at the expense that you need this large moving object that needs more power.

I find markdown to be a more productive way to write prose than HTML. It also shouldn't be too hard to port from one generator to another, given that the content is just markdown.

Yes, understanding comes first and types come second. But being able to comfortably create types for your domain is a good sign you have sufficiently analyzed it.