skysight-inc/HackerNews huggingface dataset:
Is poor construction that needs to be replaced soon worse than no construction at all? I guess that's debatable, but I would have to see actual statistics on Chinese construction failure rates vs the US rather than just a general assumption that China = low quality before it is even worth considering.
To add another point to this, is that people at different points in their career are interested in different problems. A chore that a senior dev might be an exciting opportunity for a junior. Similarly a daunting task for a junior might might be just the right difficulty for a senior. It is super important to make sure you have mixed experience teams just to help keep morale up, and not stall out on any given set of tasks.
> But I also have a hard time believing they went thru this careful process of voice selection and it never occurred to them that the voice sounded like her, and didn't think about the legal repercussions

You do know the whole modus operandi of AI companies is "screw laws, take it all we'll see what happens" right ? That they actively lobby to not respect IP laws because they couldn't exist if they were enforced ? That they do not care about the negative impact they might have on anything ?

I'm no proponent of IP myself but I don't take from others to redistribute for my sole profit.
Can you elaborate more on how you think HoTT can solve the issue Buzzard mentions that when formalizing informal mathematics, the author frequently has a model (or, a particular construction) in mind and requires properties present in the model, and then claims that this is true for all "canonically equivalent" objects without actually spending time explicating the abstract nonsense required to properly specify the properties that canonically equivalent objects preserve, for their developement? (see: a product vs. the product)

Edit: and furthermore, the situation where the obvious choice of universal property (read: level of isomorphism) was a poor one, in their attempt to formalize localizations.
This is the vast majority of the problem. As a consequence, APIs with callbacks or wrapping generic things of any kind are forced to choose between "throws Exception" and a runtime exception, losing all detail and possibly choosing the opposite of what is actually needed. And there are TONS of these, and they're heavily used.

It's a badly crippled implementation that has poisoned the well, the concept is just fine. People like Result<T,E> well enough, and that's exactly as expressive as checked exceptions in languages that implement them correctly.
You gotta get off Earth no matter where you go in space. It's almost free to come home from LEO, you get a huge amount of free velocity change returning from the moon. (At the cost of rejecting the heat)

In the rocket equation

https://en.wikipedia.org/wiki/Tsiolkovsky_rocket_equation

the required mass ratio is an exponential function of the velocity change so adding another 2.5 km/sec for this and another 2.5 km/sec for that you are making the mission much more difficult.

It's bad enough that it takes two stages to get to LEO comfortably but going beyond that adds cost and complexity pretty quick, for instance the large number of Starship launches required to get a Moon mission into the right orbit.

I like to think about what interstellar travellers would do if they wanted to land on the Earth on the assumption that they are accustomed to life in deep space and have spent 1,000 to 10,000 years "living off the land" off comets and rouge planets and are used to a lifestyle like cutting up a planet like Pluto and building a number of small ringworlds powered by D-D fusion.

I'd conjecture that despite having advanced technology they would still find the "reverse space shuttle" problem where you land with a full load of fuel and then take off from the ground to be difficult. It's not like they are going to haul a space shuttle along with them and would probably find it non-trivial to 3-d print one from plans that old. My take is that it would probably take them a decade to figure it out and that they might well come up with an alternative answer like

https://en.wikipedia.org/wiki/Skyhook_(structure)

which depends on in-space infrastructure that they'd be experience with although it could work together with an air-breathing aircraft which would be something new for them.
Would you, personally, accept punishment if (when) your government is found to have done something wrong? After all, you can vote.

I get the feeling behind the desire, but this is why I don't think it's good.

You wrote up-thread:

> That's not sufficient though. The people who did the bad acts need to be punished, but the owners who profited from the bad acts need to be punished too. If you don't do that, you just create situations like Amazon: set an sounds-good internal policy but have internal incentives for employees to violate it (e.g. exploit 3rd party seller data to unfairly compete with them), then fire the employees as scapegoats when caught to deflect blame. So some harsh action needs to be taken the owners the shareholders.

And sure; but is it possible to determine when this incentive was created? If it is, can't it be stopped the moment it happens? If not, then the shareholders can't reasonably be blamed.

Unless the shareholders are the incentive, in which case sure.
Or we’re really bad at detecting fraud.
Discussions [1](20 points, 4 days ago, 10 comments) [0](9 points, 4 days ago, 6 comments)

[0]: https://news.ycombinator.com/item?id=40385882
[1]: https://news.ycombinator.com/item?id=40384672
Keep asking the same question until you get the answer you want to hear. It's common behaviour in all organizations. That faint hope that a more convenient answer is found so we can proceed BAU.

What I don't understand is why all these people that knew better that works d there didn't do more. Very cult like following, where faith in the organization's mission allows for the mental gymnastics described in this article. A few tech and specifically AI companies come to mind and it is disconcerting.
Everyone in my whole country has similar experience.
I don't think Google is particularly moral, but I do not believe they make any money now in Russia.
So you are incorrect in your main thesis.
YouTube monetisation was disabled a long time ago and Google was fined for some crazy amount for some imaginary offences. I don't think they sell any services now in Russia.
It makes sense: conditional on having achieved a lot, achievement doesn’t matter that much. This is why so many successful people will tell you they are glad for the time they spent with family and friends and so many people who didn’t succeed will talk about the opportunities they wish had worked out.
Microplastics in dog and human testis, potential association with sperm count
Not only that, they might secure a seed round.
Plenty of big companies have decided to leave Russia because of the invasion. Remember Russia has a tiny economy.

For example, ExonnMobile isn't traditionally known as a company that abandons major profits to virtue signal and yet they abandoned their Russian operators.
You really think The New Guy can change an entire corporate culture through sheer force of will? You are literally the lowest person on the totem pole. You have ZERO social status, ZERO influence. If the rest of the org/company is culturally aligned around seriously bad practices, you are going to sound like an crazy person, even if you are the only sane one in the room. You are simultaneously Sisyphus and Cassandra.
That doesn't surprise me, the problem with reinforced concrete starts getting out of hands around a century.
So you want universities to act as your vocational training program for free? No thanks. If you want to make demands about college curriculum, you can start paying up. Until then, universities owe employers nothing.

Employers have already shifted enough of their job training costs onto universities and their unwitting students. The free ride is over.
> the M3 because the M3 lacks a display controller that can drive the tandem OLED Ultra Retina XDR displays

For anyone who hasn't heard of these "tandem displays," they seem to be accomplishing greater brightness and outdoor visibility by layers one OLED on top of the other. It sounds bonkers, but there were those demos of "transparent televisions" last year, so it checks out. Should be pretty exciting if/when these make it to the iPhone and Watch.

I would have guessed that the displays would simply mirror each others' content, but the requirement of an enhanced display controller indicates that the two displays are controlled independently, and the video system is pushing twice as many pixels as the already absurd number necessary for a "retina display." This is all speculation, of course.

But if I'm correct, an M4 Air that lacks the tandem displays ought to be able to drive more external displays than the M3 model.
I find its Lisp generation to not just be syntactically wrong but conceptually inadequate. It's inability to generalize across languages is one of the big reasons I'm skeptical about language models' general intelligence.
Yes, but the right way to think about it is

https://en.wikipedia.org/wiki/Interplanetary_Transport_Netwo...

and Luna is just the first stop on the way from Earth. That Wikipedia article doesn't explain the concept as well as I'd like but the papers it references do.
26× Faster Inference with Layer-Condensed KV Cache for Large Language Models
Release Creusot 0.1 · creusot-rs/creusot
I love prefix-notation for arithmetic, not just because it prevents the need for disambiguating precedence.

Subjective, I know, but I think (+ 1 2 3 4) is way nicer than (1 + 2 + 3 + 4).
Direct link to the cited research paper: https://journals.plos.org/plosone/article?id=10.1371/journal...
The efficacy of duct tape vs. cryotherapy in the treatment of the common wart (2002)
I opened https://en.wikipedia.org/wiki/Open_XML_Paper_Specification and searched for "form field" and got no hits, so if nothing else the IRS couldn't use it. The Licensing section is filled with all kinds of nonsense, but I guess if it's an ECMA standard ... how bad can it be?

https://ecma-international.org/wp-content/uploads/TC46-XPS-W... and https://ecma-international.org/wp-content/uploads/TC46-XPS-W... are interesting in that they're different packaging of presumably the same data for compare-and-contrast. I will say that exploring .xps files is much easier via $(unzip) than using qpdf or friends
Over half of Aldi's locations actually belong to them [1]. Keeps them safe from the usual landlord racket.

[1] https://www.lebensmittelzeitung.net/handel/nachrichten/immob...
Microplastics found in every human testicle in study: Scientists say discovery may be linked to decades-long decline in sperm counts in men around the world https://www.theguardian.com/environment/article/2024/may/20/...
Bullshit. Masks are useless against an airborn pathogen---how in the world would anybody think that is remotely plausible? I suppose you wouldn't mind if your doctor operated on you without wearing a mask? I suppose you wouldn't mind if your chef or waiter would cough on your food before serving it to you?

We used to be a nation which didn't mind making sacrifices for the greater good. Now, apparently, we are a nation of whiners who think the best use of scientists's times is to keep making ever more excuses for our unpatriotic and antisocial behavior.

I was in NYC when the plague came. For months, every single day, I saw one of my neighbors being wheeled out of my apartment building, feet first, never to return.

Then, we started wearing masks, things got instantly and dramatically better. The key for NYC is that everybody, and I mean everybody wore the masks. From the patricians of Park Avenue, to the homeless in the streets, everybody was wearing a mask, anytime they were outside.

And no "scientific" study, no "meta-analysis" meat grinder by some assistant professor hack has any credibility at all. I saw what I saw, with my own eyes.

Compared to the sacrefices our grandparents had to go through, say, in WWII, being asked to wear a mask was a really small thing to ask. Its not like we had ration cards, or were drafted.
Arup is a private company
My understanding is: Sympathy is the furthest removed, not much past acknowledgement of. Empathy is simply that you are able to put yourself in their position and understand logically, often "feeling" for them. The feelings in the other steps have not yet converted to emotions, so the emotion has not moved you to compassion yet, compassion is the next, but distinct phase, and it is typically coupled emotion resulting in an action.
We take a stab at decoding SpaceX's ever-changing plans for Starship in Florida
Walking changed my life. I was obese and physically undisciplined, and exercise was too daunting to even consider.

I began walking, and along with diet changes, I lost tons of weight. It acted as a gateway into a new fitness lifestyle.

But I never stopped taking walks for two reasons: 1) Walking is the ideal form of active recovery - on rest days, you can still walk, and 2) The mental benefits are profound.

I average about 12k steps a day and cannot imagine my life without walking.

If you don't take daily walks and are compelled by the article or anecdotes in this thread, commit to trying it for just one month.
> That is not going to happen, without technology that currently only exists in Science Fiction, like artificial gravity, for the simple reason that we require 1g to live, let alone thrive.

Artificial gravity is easily generated via rotation or thrust.

> 1. How does this "immediate access" benefit the aforementioned "very large, permanently spaceborne crafts", which apparently won't be moored to planetary bodies?

It will be far easier to get materials into space from the moon than from the much deeper gravity well of earth.

> I agree. But given that, what evidence supports the idea that the branch that eventually allows us to leave our solar system requires us to first waste tons of resources on trying to send people to inhospitable, irradiated rocks for no good reason?

How do you see us developing the technology for humans to leave the solar system if we never develop the technology to visit the moon?

Technology is generally driven forward by increments, and having smaller goals leading to the larger one is pretty normal. Also, you don't need to "cheat physics" to explore space.
> None of these come close to the performance of reinforced concrete in highly dense urban areas.

Paris, which is mostly made out of stone buildings and is among the densest city on earth, disagrees.
Still paywalled :c
AI Outperforms Humans in Theory of Mind Tests
1.7 petabytes on Sqlite?

Sqlite's own advice:

> If your data will grow to a size that you are uncomfortable or unable to fit into a single disk file, then you should select a solution other than SQLite. SQLite supports databases up to 281 terabytes in size, assuming you can find a disk drive and filesystem that will support 281-terabyte files.

> Even so, when the size of the content looks like it might creep into the terabyte range, it would be good to consider a centralized client/server database [over SQLite].
If only The Graduate had listened. Perhaps some hybrid plastic evolution can be augmented with CRISPR.
"Cold-applying is the absolute hardest route to getting hired. A big part of your career is doing what you can to make that your last resort when job hunting."

Cold applying should be the most fair and introduce the least bias. My entire life has been cold applying.
But that's not the lander's problem.

I do agree NASA's Artemis program is strange. However it's enmeshed with Starship, and that's sufficiently different story.
> Layoffs are always a sign of bad management. 99% of the time layoffs are because someone high up overextended.

That seems like too strong of a statement to make. There's certainly macroeconomic factors that management can't predict, and if they cause layoffs it's a stretch to call that "bad management". You could argue "well maybe they shouldn't grown as aggressively as they did", but under-growing is arguably "bad management" as well. After all, the purpose of a business isn't solely to be a jobs program. If you grew 50% in the past decade but your competitor grew 200% in the same timeframe, that's arguably also "bad management", even if it meant you you were able to avoid layoffs in the last recession.
> For example, it may one day be possible to give people precise information about their abilities, and of the likelihood of achieving success in particular domains given those abilities.

As a technical matter, sure.

However, part of me would like to suggest that using tech as some sort of Delphic Oracle for human lives (especially the young) may not be in optimal taste.

Possibly just letting life be life, and not getting too frisky with putting boundaries on human potential, may be preferred.

Shifting from the singular to the plural, this kind of analysis might actually be helpful. Telling the young person that the marriage has a diminishing likelihood of existing over time could help to cool some hormones.

And then, obviously, corporate risk management is not new, and anyone making large moves without banging the numbers won't be making large moves for long.

Just don't tell the kids to stop believing. Hold on to "that feeeeeeeling".
Just because something is distinct does not mean it is independent.
> ability to reflect on "your first impulsive response"

This is why it's harder to be brave if you're smart.
When I was in college in the 80s and the laundry machines were coin driven the knowledge of how to bypass paying was widely known and shared. I’m sure this tradition of free laundry pre-dates my college years by decades. We didn’t tell the university or the laundry services company. Snitches
Webb Telescope offers first glimpse of an exoplanet's interior
YouTube must either respect local laws or leave the country... Which means that they should perhaps stop doing business with totalitarian regimes.
What kinds of careers are out there for Math grads?
Unemployed for over a year here. Somewhat of a different job sector vs most here (leveraged finance structuring / investment banking). Have gone both through networking & have applied to over 1,000 LinkedIn jobs, have looked at adjacent industries, etc. Most employers don't even bother to reply to job applications these days... I'm not even sure how to fix it - on either end - but it's depressing as hell.
There is one benefit to human spaceflight over robotic spaceflight: the human body is a much more adapted tool to unknown situations than robots are. A human hand is a better manipulator than any robotic tool (look up videos of robots trying to turn a doorknob and open a door, e.g.), and our locomotion tends to be well-adapted to adverse terrain.

But it is far from clear that such versatility is worth all of the costs of human spaceflight, principally the fact that humans are fragile bags of water that require fine-tuned environmental conditions to operate (and such conditions are difficult to provide in space).
Semi related. I wonder if they are planning to use the open podcast API https://fosdem.org/2024/schedule/event/fosdem-2024-3390-intr...
This comment is a great answer to those commenters who say "Google bought YouTube/Android/..., they haven't invented anything since Search" miss the actual hard part entirely.

(same for Meta wrt Instagram)

These products that have been scaled by multiple orders of magnitude since original acquisition are like ships of Theseus; almost everything about how they work, how they scale and how they make money, have completely changed.
Of course, it was an awful, awful thing, but that write-up was the most interesting, compelling, entertaining thing I've read online for a while now. Thanks for the link.
Everything is on the small order of magnitude when compared with getting into Earth orbit. As the quote goes, "Once you get to earth orbit, you're halfway to anywhere in the solar system."
> Letting 1 country control who has which weather where is unacceptable for almost any country.

As we saw in the Gerard Butler documentary "Geostorm."
Counterpoint: all of those incidents, except Apollo 1 are proof that the engineering was great, because nobody died.

For example, you mention the computer on the Apollo 11 lunar module crashing. In fact, it was recovering and working properly. The astronauts had left the rendezvous radar on during descent, in case it was needed for abort. That was not a nominal configuration, and the radar kept stealing cycles and causing the guidance computer to be overloaded with tasks. Remember, it was a hard real time system. What did the computer do? Reset and prioritize the key task: landing.

Apollo 12: Got hit (twice) by lightning. The electrical system wasn't fried, it survived it, in a protective mode. Importantly, the computers in the Instrument Unit, placed on the third stage, were completely unaffected.

Apollo 15: One lost parachute, still landed safely (if a bit hard) because of redundancy.

I could go on, but you get the point. It was a well-engineered system backed by a team of engineers.
this is some real bad faith arguing saying my point is semantically identical to the unabomber manifesto. i really don't think it's close to that, since i'm not arguing for any kind of primitivism, nor for killing people to get there. and if you agree that this throw-the-baby-out reaction is justified sometime, maybe this is actually one of those cases?

the point of the article, and what i think you're ignoring, is the decades of cover-up by the corporate producers of these chemicals to protect their profits. that's not a good look if they're convinced their products are worth the damage
My guess? The connection to the database can't be established.
I need this for mosquitos. They tend to go for my ankles and 1 bite is still fine, but as soon as I get 2+ the swelling up and itching just multiplies 10x.
But Iverson bracket notation does not occur in APL: you don't need (and cannot use) the brackets there.
From the article:

Many people complain that they have no time for books, yet somehow they manage to spend three or more hours a day watching television or scrolling through social media on their phones.
Rust's iterators optimize nicely–and contain a footgun
That's a very interesting approach! Thanks for sharing.
That sounds like a bug or the server being overloaded, the article loaded fine for me.
Employees are typically the weak point in corporate security.
Resilient and fast from a disk perspective, but in practice massively bottlenecked by the fact that Sqlite can only have 1 writer at a time.