Where does this leave formal verification? Are we just shit-out-of-luck at this point? You can formally verify everything about an airplane's code, but if any of that is wrong, ChatGPT might decide that the best way to help you win the Nobel Prize is to take down the airplane your chief rival for the prize is currently in.
There are 200 Chinese industrial engineers, 8 Chinese bankers, and 1 Goldman Sachs disciple of Hank Paulson, reading this right now thinking of ways to chip away at sentence in this paper.
I don't know about the Sweden saga, but the VA saga is a deep rabbit hole. I helped build a dream team of companies at one point to fix part of this for another system at one point, and the integrator fell down under their own weight.
I thought I was going into informatics to write code. It's politics as far as the eye can see.
In case anyone is wondering why anyone should give a shit about this language, the relevance of MUMPS is that the largest market share holder of EHR systems is Epic, and their core database still runs on MUMPS.
You life, quite literally if you find yourself in a hospital, depends on MUMPS.
The second largest competitor, Cerner/Oracle Millenium, runs on MSFT SQL, and it's on life support. Last I heard, Oracle was looking to unload it.
My wife owns a business in a highly AI-resistant field (occupational therapy) in the most historically price-insensitive market (Silicon Valley). Her CAGR is 88% over the last 8 years. But we were talking about this economy problem today and with the SWE layoffs starting to roll through she said this morning: "It doesn't matter if AI can't replace us if no one can afford the service." That's crazy. Shit has changed. Not getting OT for your autistic kid is like not getting a wheel chair for a bilateral below-the-knee amputee. Whatever it takes.
GAF did. There are two issues: 1) too expensive 2) not modular. I like that I can separate my solar decision from my roof decision. Panels make that possible.
This will get downvoted to oblivion, but consider a major change: enlist in the military, sign up for a stint on a commercial fishing vessel, or go work as a firefighter. You will have tons of time with other people, even live with them for extended periods, but they will also tend to respect your space.
that sounds plausible. For people not tracking, the concept of intelligence at play is "object based development". One analyst drops a label, brief synopsis, whatever, and it just sits there for the next person who comes along. The world view gets more accurate over time, but there's a recency error that's hard to measure until the probability function collapses with a measurement.
Table 1 and Figure 4: why are the Virginia controlled-access highways different? That population stands out in a way that smells like either a cultural difference or a policy difference.
I spend most of my time in California, have lived in SoCal and NorCal, and I spend a fair chunk of time driving around Virginia. My guess is that there's something fishy with the Virginia data being reported. Because if there is anyplace on earth with an insane number of controlled access roads, it's gotta be NVA/DC metro area (or the Tri-Border Area as I like to call it).
Also, they need to either update the caption for Figure 4, or move the plots to correspond with the caption. Clearly the Virginia data is on top (or the code is wrong, which seems exceedingly unlikely).
If you're using Windows, you're using a computer controlled by a corporation and your actions on that machine are not your own. Even if you walked into a store and bought it, your actions on that computer may not belong to your boss, but you're definitely working, directly, for Microsoft.
Any "feature" of Windows is there because one or more organizational leaders wanted it. Government, commercial, academic. Somewhere in between. But they pray every night for your more complete subjugation.
Interesting bookmark: https://news.ycombinator.com/lists