skysight-inc/HackerNews huggingface dataset:
The way it works for aircraft is that now it's getting prohibitively expensive to design new planes. But new planes are still needed, so Boeing found a solution, and made the 737-MAX which is in theory an upgrade that does not require re-certification, but is in fact different enough that the differences lead to hundreds of deaths.

Perhaps without the certifications lots more people would have died. I'm just an armchair analyst. Just food for thought.
What happens to your body when you take a sip of coffee
5 year old me could understand monopoly's rulesheet easily enough

(and if you actually follow the rules the game ends in a reasonable amount of time)
This appears to only be in the actual website rather than the API. My guess, given that there are several names that are blocked, is that it is some kind of "right to be forgotten" (GDPR or CCPA) enforcement.

• Brian Hood
• Jonathan Turley
• Jonathan Zittrain
• David Faber
• David Mayer
• Guido Scorza
Also, it's very unlikely that Calculus will be the only subject you're taking. Other subjects require homework too.
I would gladly pay a bit more for a phone with a more manageable form factor and if I could be so lucky a battery life that's more than two days. Sadly it seems like I have to pay more for a product I want _less_, just because the demand for large form factor phones is high enough for Apple to consider just not bothering with. I understand market supply and demand, but eh...

Funny how the German word for mobile phones exactly what most modern mobile phones aren't. Handy.
Great advice, thanks
> they are just bad customers who they will always have a hard time making money from

The iPhone 12 mini still ended as one of the top 10 smartphone models sold in January 2021.[0]

There was also a new iPhone SE model that was half the price and roughly the same size. I wouldn't be surprised that most decided the iPhone SE was a better deal at the time. In fact, the iPhone 11 and iPhone SE were the top-selling iPhone models of 2020.[1]

[0] https://www.patentlyapple.com/2021/04/in-january-iphones-cap...

[1] https://wccftech.com/iphone-11-iphone-se-top-selling-phones-...
That's a question more suited to a microbiologist or bacteriologist than to me, but my educated guess, at least in the electron microscopy case, is that you'll see the bacteria inside the depth of the slices, rather than sitting "atop" the slices. i.e., if you cut open an apple and find half a worm, the worm was in the apple. If you cut open an apple and then see a worm on top of the slice, it's possible it arrived post-cut.
They don’t eat humans generally. They did eat a guy in one of the later ones. But the better thought out films don’t have them doing this. Just killing or paralyzing things and then taking them back to the nest.
There is a little difference between not supporting any more and blocking the user.
Intel GFX held back the industry 10 years. If people thought Windows Vista sucked it was because Intel "supported" it by releasing integrated GPUs which could almost handle Windows Vista but not quite.

The best they could do with the GFX business is a public execution. We've been hearing about terrible Intel GFX for 15 years and how they are just on the cusp of making one that is bad (not terrible). Most people who've been following hardware think Intel and GFX is just an oxymoron. Wall Street might see some value in it, but the rest of us, no.
What's your Bluesky profile?
Devyce (YC S22) | UK (remote/onsite/hybrid) | Senior Frontend/Fullstack/Backend Developers | Full Time

We're redesigning the business phone network from the ground up. Starting with mobile apps and a softphone, we're losing the jargon (who cares what an IVR is?) and building features customers actually want.

We try to be flexible around work and don't believe in regular 60-hour weeks. One key aim of our product is to help employees maintain a healthy work/life balance (who wants to be disturbed by business calls on the weekends?) in an age of remote and hybrid work. The founders lead by example, with all of us having worked 4-4.5 day weeks at times in order to spend time with our children.

We're looking for full stack software engineers - doesn't matter if you're much stronger in either the front or back end, but you do need to be able to build all the parts of a feature - there's no "front end team" once the backend is done. There is naturally work that's much more one sided, so you won't be stuck for months on the front end if you prefer the backend, but we're still a small startup so we expect you to get stuck in and help out where you can!

You'll need to visit our London office roughly once a month.

Apply here:

https://app.welcometothejungle.com/jobs/UmRQTUlO | https://app.welcometothejungle.com/jobs/lvOytmI9

Or email alistair.clark@devyce.co.uk and mention that you saw this on Ask HN: Who is hiring?
Texas Asks If Index Funds Are Illegal
https://archive.ph/cfp2k
CBMC is truly wonderful technology. Rust is still more powerful and easier to use at scale.

If your project has 100k lines of code, would you rather use CBMC or Rust? What about if your project has a million? 10 million? 100 million?

The fundamental issue is that SMT-based verification scales quite poorly. The optimal use of SMT-based verification is proving local properties of small chunks of code independently, and using the type system's encapsulation to scale up to global correctness.
Cultural Scenario Probabilities
Re: stemming and lemming, I just want to plug the most impressive NLP stack I ever used, "chat script", really it's for building dialog trees where it walks down a branch of conversation using effectively switch statements but with really rich conceptual pattern matching and capturing - so somewhere in the middle of the stack it has excellent abstracting from word input to general concept (in WordNet), performing all the spell correction (according to your dictionary), stem, lem, and disambiguation.

I've had it in mind for a while to build a fuzzy search tool based on parsing each phrase into concepts, parsing the search query into concepts, and finding nearest match based on that. It's a C library and very fast.

https://github.com/ChatScript/ChatScript

Looks like it hasn't been committed to in some time, I'll have to check out their blog and see what's up. I guess with the advent of LLMs, dialog trees are passé.
Someone should get fired for discontinuing ifort...
> Meanwhile AMD has released newer chips.

Your comment confuses me. BOTH have released newer chips. Intel with the Core Ultra 200 series and AMD with Ryzen 9000. Neither are going to be on Black Friday sales.

> So Intel has issues with either yield, pricing or other barriers to adoption of their latest.

How does not putting their latest chips on sale indicate trouble selling them?
I don't see where you inferred these questions from my statement.
You can find the latest version of "The Law of Root" on their site and it's update June 2023 with the latest expansion:

https://ledergames.com/pages/resources
One Woman Became the Scapegoat for America's Reading Crisis
0-to-1-ing a company is different muscle from managing an established company.

Revenue expectations, margins expectations, and investors are entirely different between the two.

This is why most founder CEOs tend to either get booted out or choose to keep their companies private as long as possible.
It’s telling that Republicans mistake an act of love for corruption. Everything about the Hunter Biden prosecution was abnormally politicized[1], and Trump would have loved to squash him like a bug just to spite his father.

[1] Seriously, before downvoting out of reflex, just read the fuckin’ thing and ask yourself if this sounds like justice being done: https://www.msnbc.com/msnbc/amp/rcna182437
Static IPs for Serverless Containers
eg. HP and HPE.

I don’t know if it’s legally possible, but HP shows the branding bit can kinda work.
> given you presuppose that humans come first even metaethically

My metametaethical argument would be it's only humans debating the metaethics.

> if you think the farmland/Moon settlement must be done for human survival

I don't. To the extent there's a contender for necessary for human survival, it's farmland. This isn't a discussion about survival, it's about aesthetics.

> why is human-human wealth redistribution not on the table?

One, it's literally easier to colonise the Moon than do this on a global scale. Two, because that's a separate topic.
CoW adaptive radix trees are the entire basis of $WORK's in-memory database -- we use them to store everything, then use boring old btrees to handle sorting data in arbitrary ways. A nice, performant persistent CoW radix tree would be a nice thing to have in my back pocket.
> Conquest means conquering.

I'm aware. I see it as analogous, though. Clearly many people would feel entitled to Mars whether or not there are pre-existing beings to wrest control from. The narrative feels the same: "we could do it and there's nothing wrong in doing it, so we did it and no one can complain". I only have further objections if there are pre-existing beings involved.

> Making nonsense arguments doesn't exactly advance your point.

You seem to be saying that manifest destiny that doesn't harm pre-existing life is fine. Let's say I agree to that (which I don't, above). To take it to its logical conclusion, you and I seem to agree that harming (sapient) life needlessly is bad. I pointed out that humans are, uh, bad at following that rule. True, that doesn't indict Mars colonization specifically. Also true, I have a bone to pick with how humans do things in general, which I think is even more pertinent. But we were already on the general-human-things tack by dicussing manifest destiny.
While I was reading about Burmese names, I also learned that people in Burma can change their names pretty much at will, so even the idea that a name is a stable identifier for a person is not necessarily true, not to mention the whole legal name change thing or the common practice in many Western countries of women taking there husband’s name at marriage. I remember as a kid seeing occasional pieces of mail addressed to my mom under her maiden name even though she had been married for 15 or so years at that point. (Then there was the mail that I occasionally got addressed to “Donald Lopez” thanks to badly written code misparsing the joint ownership of the home I owned with my wife before the divorce.)
Came here to mention this. I saw one around 1985: our numerical methods professor had one but we did our homework on a DEC-20 with a "proper" LA36 terminal with APL font and keycaps.

Wonderful course, taught in APL from the Red Book. Every example and homework was a one-liner. This is why a machine with a one-line LED display was even feasible in practice. And those little cassette tapes probably held a ton of programs.
Hey there!

In reverse order, I'd say yes, you may want to try at least Xcode 15.4, and preferably 16.0. I've also had issues with older versions of Xcode on the M series, and have had to update begrudgingly across versions over the years.

And, to the 'safe area' issue you're mentioning, I do appreciate the comment. I have a pretty rough version of windowing in the app, and it partially relies on a a full view layer. Ideally I'd take advantage of said safe area, but I'd need to clean up a few things first.

Now that I'm being reminded that this is a first-time user experience, I'll put this on the list!
Location: Lagos,Nigeria Remote: Yes Willing to relocate: No Technologies:Node.js,TypeScript,React,Vue,Laravel,MySQL,PostgreSQL,MongoDB,GraphQL Résumé/CV: https://preciousnnam.com Email: nnamvannessa@gmail.com Website: https://preciousnnam.com Github: https://github.com/amakavanessa
I'm looking forward to join a team where my contributions have a real impact and I can enjoy creative freedom.
Incident.IO | SF | Support Engineer | Full Time

Incident.IO are hiring a Technical Support Engineer in SF.

https://supportengineer.pro/jobs/4a0bd46a-08a6-47a0-a02d-513...
Every city has a culture and NYC especially does. That said, I find this disdain for tech workers to be universal in every city. Even in SFBA, it exists largely and tech workers themselves are self-loathing. I was always around people who were so critical of tech even in SFBA and thought I'd never meet people who hated tech and tech workers more... then I moved and realized most of society would prefer us to be dead than living.

I didn't think people in tech were any weirder than the general population. Then I kept meeting infra engineers from big tech and I understood where the stigma came from. These folks make up the majority of engineers in big cities. You don't need thousands of engineers to work on the Instagram/FB app itself. You need thousands of engineers to make it scale to billions of users. There's always less openings for product engineers than there is for infra.

My behaviors are pretty normal. When I avoid the conversation, I get a lot more good feedback and people at least in NYC assume I'm in finance or something. It's when they find out that I'm in tech that they really start to distance themselves. I've learned to avoid the conversation due to this.
Advent of Spin 2024
I did not suggest otherwise.
I have been using an iphone6s (ios 15. Received an update 4 months ago). for some time already. It works fine. Granted, I don’t use it for “important” stuff, but it works fine for browsing, checking train timelines, Uber, radio, youtube, whatsapp, Slack, camera, maps…
This line of thinking creates a vicious spiral straight to a banana republic.

>but republicans can do/say crazy things without an ounce of accountability from anyone.

some republicans campaign explicitly on reducing accountability and embracing nepotism, and when they deliver on those points their voters are hardly "shocked" because they advertised it from the get go. Many dems campaign on the high road, so no one should fault their voters if they feel betrayed and insulted when they go dark.

This behavior is just a childish, "the assholes coming up behind me are going to cut the line, so why should I be the sucker? I'm gonna cut the line and get what's mine while I have the chance."

As with the dumb election strategy of cozing up to establishment republicans: It's stupid because no one will want the fake ones (dems playing republicans) when they can get the original gangsters (republicans).
Year over year should be banned from data analysis
I think people forget how new and dynamic these devices are. Maybe in a couple of decades we can have evergreen devices, but for now the changes of the devices and capabilities is still driven by new releases and proliferation. These types of changes still require a ton of human effort and hardware restrictions. In the 60s and 70s car lifespans were much shorter (around 100k miles), but today those are much longer, double that of 50 years ago. You can already see this shift happening in smartphones -- as evidenced by consumers not recognizing improvements between devices that are 5 years newer, although if I'm going to be honest, I find it really odd that you wouldn't notice some of the improvements between iPhone 8 to 16.

It's wasteful, but also not really all at the same time. We're combining a lot of devices and functionality into one unit which can reduce waste, and there's not a lot of things in your life you use as much as a smartphone -- even if you cycle it out every 5 years. There are components of these that are easily recycled as well. For many households the costs of smartphones are cut down as the devices are passed down based on seniority or priority, this makes for a really functional reuse system.
Tying software support to how long the hardware lasts will ensure that every hardware manufacturer builds in a time-based killswitch into every device they make.

Software engineers are expensive.
It's over the VW - it is literally an unmanageable business. The government should outright nationalise it and return it entirely to its roots as the Peoples Car.
On that topic, can anybody chime in on state of the art PDF OCR? Even if that's a multimodal LLM, I've used ChatGPT to extract tabular data from images but need something I can self host for proprietary data.
or do you know what's likely holding it back

The lack of AMD GPUs in Android devices?
You must be kidding. They did reach out and documented their interactions, with names of engineers, dates, and all. Someone is ghosting someone here.
I think it depends a bit on how you count but I've heard it is an 8 holed donut
I didn't say they couldn't be done in parallel.

>Do you think that all non-urgent activities should/must be halted until the earth is improved?

No, I'm not sure how that follows at all.
As far as I'm aware there's no scientific consensus on what consciousness is, how to measure it, what exact mechanisms are in play, or if it even exists at all.

Before bothering with the topic of consciousness in AI and AGI, we really need to nail down that definition for humans before squabbling over its presence or absence in something else.
You’d have to get that brain cleanly from the creature to the blender.
Nope. From what i heard from VMWare he was just a bad manager. He seems to be just a person skillfully playing org game, yet when it came to deliver he just flopped.

The struggling companies with totally rotten management like to bring such "stars" (pretty shrewd people who built themselves a cute public image of supposedly talented engineers who got promoted into higher management on their merits) - Yahoo/Meyers come to mind as another example - who de-facto complete the destruction of the company while the management rides the gravy train.
Make sure to watch "The Smartest Guys in the Room" as well. While reading something well-written is usually more insightful than film, the interviews, recordings and internal marketing videos are priceless.
Management was not clueless. They were greedy, and they hired and built a greed culture.
Reminds me of competitive programming, a la Codeforces or IOI, where you solve incredibly challenging algorithmic problems that are wrapped in some silly story about a cow in a garden or something. (In my opinion, that is part of the challenge and fun!)
Facebook's Little Red Book
SEEKING WORK | local or REMOTE

Location: Africa or REMOTE

Willing to relocate: yes, to any location in Africa, where I can get the necessary permission to live and work. Occasional travel is possible.

Technologies: Linux, Front or Backend Web Development, General Software Development, System Administration.

Résumé/CV: on request (software development, CTO, mentoring, training, fluent in English and German, german citizenship)

Contact Email: see profile or http://codingforafrica.at/

Like this Ask HN: Recommend employers with positive social impact [https://news.ycombinator.com/item?id=31518945], I am looking for similar work. I am a European software developer who has lived and worked on four continents. Now it's time to move on and so I am in the process to relocate to Africa.

While I could find a job elsewhere I believe that the experience living in an area where my work is going to have an impact gives me a better understanding of the needs of the location I am serving. Whether it is through direct contact with clients and users or just by being part of a local community and learning about the reality of living there.

I have more than a decade of experience running a company, doing software development, support and training and mentoring adults and students, as well as working on educational projects, and I am willing to take on a mixture of roles as needed to support a project.

I am also open to work for companies anywhere as long as the work can be done fully remote from Africa.

In addition, my plan to use some of my income to hire local interns and junior developers and train them in order to pass on my experience. If you want to support this, I would love to work with you. Also if you are interested in hiring African developers yourself. I can help you build up your team.
It is actually not clear whether chimp/human hybrids are impossible.

https://en.m.wikipedia.org/wiki/Humanzee

It’s possible it was actually going to happen if not disrupted in China during the cultural revolution
A captcha can help in some scenarios, but they can be easily bypassed most of the time if anyone really wanted to.
No, they are not equal, because the actual topic at hand is how a sitting president is using his powers to give favors to his family.

There is no “what about”, it’s literally the topic!
Well, apparently if your CPU has one (030+) you can use something like Enforcer (http://www.sinz.org/Michael.Sinz/Enforcer/). I’ve yet to try it.
> I'm firmly on the side that says the lit side of the moon should be left untouched from here on out

I'm firmly opposed to your proposal. Having lit cities on the moon does not impinge in any way life on earth.

Are you also firmly opposed to airplanes?
I wonder if you could change your name to “April May” and submitted CCPA/GDPR what the result would be..
I was responding to vacuity, not you. They hold the position that Mars activities should not take place until we fix earth, if ever.
> Nothing about the Space Shuttle made any sense from a cost perspective.

Definitely not from a payload or scientific perspective. Is there some national security and/or jobs program angle where it makes sense?
SEEKING WORK | Remote Only

Location: EU

Technologies: Android, Flutter, Kotlin, Dart, Next.js, Typescript, Tailwind

Résumé/CV: https://dmilicic-blog.s3.us-east-2.amazonaws.com/dmilicic.pd...

Email: dario.milicic@gmail.com

Website: https://dmilicic.com

Blog: https://blog.dmilicic.com

I am a full-stack engineer specializing in mobile app development (Android & Flutter). I help create MVPs from start to release or add complex features and fix crucial bugs in existing apps.
It isn't a portmanteau, it's a classic Greek word construction (an ordinary expression of classic Greek morphology). "Morph" generally just means "shape" as a Greek root so "xenomorph" is more accurately "alien-shaped". Which gets back to it being a very generic term said in a fancy way (like "we don't even know if it is an alien, we just know it is alien-shaped"), like much technical and scientific jargon will do when it goes to constructing Greek words to describe something ("gynomorph" => "woman-shaped"; to call to a different sci-fi horror Species).
Dan McKinley: The Guerilla's Guide to Influencing Leadership
Your implementation sounds great, and I'm looking forward to seeing it. Yes, the SDK is extremely obtuse and really not that easy to play with. I kinda was stubborn and refused to pick up the new rendering tool after just having learned SceneKit and then Metal, so I'm sure it's gotten at least a little easier, but the tools that Metal exposes just don't have analogues from what I can tell.

Keep me on your short list for beta users when the time comes =)
the answer, as always, is hypochondria. i used to be a hypochondriac and it is crazy how much more im seeing my peers have hypochondria