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.
HN user
killjoywashere
human dot embryology at gmail
Interesting bookmark: https://news.ycombinator.com/lists
With clear, dark skies, you definitely can.
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.
Nah, AI should definitely be illustrated as robots. Because they're robots. Adding framing, bearings, servos is just an I/O issue.
Elon making outrageous projections? Noooo.....
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.
Where is the Petrova line?!
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.
How's a 170 million pieces of evidence for poisoning children's minds
https://www.ftc.gov/news-events/news/press-releases/2019/09/...
Uh, yeah, I'm gonna need more of an explainer on that.
Fair, but software engineers are especially known for this. There was an XKCD about it
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.
Yeah, Hanlon's Razor applies.
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).
Possibly Bruno Villoutreix, but dropping this here to come back to later (and solicit help!)
https://www.pubmed.ai/blog/how-pubmedai-works
You're saying Nial used guassian splatting for his video? Or the style of camerawork, staging, and costuming is similar?
Put another way, is this a scientific comparison or an artistic comparison?
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.
It kinda picks up where Eureka! Left off: https://youtube.com/playlist?list=PLISEtDmihMo3HR3Zh757Rf7ZG...
I thought they were going to go into Oliver Heaviside. Instead we get gutta percha. /sigh
I think something people should take a hard look at is Firefox's crypto libraries. Firefox's implementation of cryptography in NSS is fundamentally in the browser. Chrome works with the OS. One could argue which implementation is better, but as a user, it's really helpful to have Firefox laying around from time to time. For all sorts of reasons.
For the uninitiated: https://en.wikipedia.org/wiki/One-electron_universe
Denmark is in a chronic baby shortage [1] and people in Western democracies are having less sex generally [2]. So, yay, less HPV. Go get vaccinated [3]. Unfortunately, there are some pretty significant (and sad, yes, sad) confounders.
[1] https://www.sdu.dk/en/nyheder/faldende-fertilitet
[2] https://www.google.com/search?q=western+democracies+decreasi...
I have never worked for a company. I have always worked for the government, the taxpayers, quixotically according to a lot of people on the internet, even, dare I say, the citizenry. Most people think these are cush jobs.
I spent decades worked way more than 996, on ships, ashore, in medical school, in residency, on clinical staff while doing entirely uncompensated research. Now I'm a subspecialist physician living in the Valley. I have never worked this little and enjoyed such a high standard of living. One of my seniors said "You don't have to work 2.5 jobs anymore. Just work 1.25 jobs". I work with teams across the spectrum of businesses to figure out how to build the business lines and I see the challenges small companies have. I really do. Not least of which is how the big companies have stacked the deck against new entrants.
Now that I do have some free time I spend it helping my wife build her business, I'm essentially her cofounder. Been incorporated for 8 years now. We think about motivating employees, paying them fairly, the breath-taking amount of money consumed by SaaS, rent, health insurance, travel costs and how that makes it hard to pay employees more. We think about motivating customers and charging them fairly. We see the mind-reeling amounts the big companies charge and then give customer discounts that effectively curb the competition. I see how they get their employees to work harder.
There are two fundamental rules in business:
1) If you're not making money, you're losing money.
2) Don't run out of money.
We watch the end-of-month profit margin going up and down like a rollercoaster. Some months, yeah, "This is great". Some months "Oh, oh, we cannot keep doing this".
We had one employee who really took this whole "I don't have to work ... hard" to heart. She would charge an hour for filling out her timesheet. She consumed her annual sick leave and accumulated PTO in her first 6 weeks. She would bail on scheduled work. Customers loved her but she was literally a net cost to the company money. How? Fixed costs. Overhead is real. Had to let her go. Honestly wasn't a hard conversation with her (she actually never returned some equipment, flat out stole from the company). What was hard was figuring out how to cover those customers and explaining to them why their favorite face of the company was gone.
You want to live a happy, ethical life? Live within your means. But that also entails having the means needed. And everybody else gets a vote. If you live in the US: the whole world wants your quality of life. Even if it's just 10% of the rest of the world, that's still double the entire US population, who are working 996.
Chatroulette was on to something. But is it still full of men exposing themselves?
If you've ever used liquid nitrogen to snap-freeze tissue in gluteraldeyde for electron microscopy, the problem is readily apparent: you can't get the heat out of large chunks of meat fast enough. And by large, I mean 1 cm cubed. 0.5 cm cubed, maybe.
A buddy from Bridgepoint made a point to me once: maybe we're not number one in every industry, but find me a sector where we're not in the top 10.