MurphyA/hacker-news huggingface dataset:
by 112_134 | 2025-06-14 13:17:18+00:00
Similar experience here. Historically traditional talk therapy only retraumatized me and was not going to be compatible with my personality. I had ran out of other treatment options (stimulants, SSRIs, EMDR, ECT, meditation/mindfulness...) before finally reaching for psilocybin purely out of desperation.

Combined with intensive integration therapy it has been the only treatment that had any positive effect. A lot of treatments have a risk profile in whether they will confirm my existing beliefs and only aggravate my situation (similar to above, failing to find "go to therapy" useful advice and opening myself to blame/unlovability from givers of the advice), but I hope I can go back sometime for a similar treatment if it's psychoactive.

It was no cure, and today I'm largely the person I was before treatment moodwise, but one thing I learned was for a condition such as mine, there is unlikely to ever be a cure. I had just the right amount of trauma that I can expect to manage my condition for the rest of my life. But what opinion do I choose to attach to this belief? That I'm okay with it. It wasn't my fault so there's not any sense in shaming myself for not finding what I can't have. At least one thing I can say is I found something that had an effect, and no matter how pessimistic I get, not even I can deny that with some depressive retort. This is not a sensation I'm familiar with. Before taking the drug I had lost all hope from believing my incompatibility with doctor-approved methods made me an untouchable, on top of already being depressed. It was clear my path forward would have to be paved away from the one society prescribes for me from then on.

Strangely I have no strong desire to take the drug again yet even though I am still depressed. I accept my life will be one of sometimes violent mood swings and I will have to be more patient with myself than in the past. I have made it my life's goal not to foist my malfunctioning brain's irrationality onto others at all costs. My condition is not my fault, but it is my responsibility to manage it. If I'm depressed now I just try to sit with it instead of fighting for things I know are unrealistic to have. I'm just not like most people, and I'm okay with that now, more or less.
by tengwar2 | 2025-06-14 13:18:34+00:00
Satie is fascinating, and I don't know of any composer who had so much variety in what he attempted. The Gymnopedies and Gnossiennes are by far his best known pieces, but once you get away from that it gets strange and wonderful. He threw off ideas which seem to have led to different musical movements years later. Minimalism, for instance, was a term first coined in 1968, but some people point to Satie's Vexations of 1893 (https://www.youtube.com/watch?v=sKKxt4KacRo&list=RDsKKxt4Kac...) - to be played 840 times. One puzzle (at least for me) is to work out whether he had the piano or organ in mind for some pieces. While the instruments look similar, some of the held notes will fade away on the piano, losing harmonies which would otherwise be present.
by piva00 | 2025-06-14 13:20:20+00:00
If Google spent Moon-landing level of money in their quality/deployment infrastructure I expect a much better coverage checker than "100% unit tested", they are famous for having a whole fuzzing infrastructure, coverage analysers for more complex interplay of logic is something I use daily in a non-Google levels of spending (even though still a big enough corporation) which often reminds me that I forgot to write a functional test to cover a potential orchestration issue.

I don't think "completely untested" is correct but tested way below expectations for such structural piece of code is a lesson they should learn, it does look like an amateur-hour mistake.
by jsnell | 2025-06-14 13:22:11+00:00
Why in the world would the program exit due to that? This is a server. I'd you're going to fail entirely due to the error, the natural scope of error propagation is to fail the request. Having the entire program quit would be insane.

And when the failures are request-scoped, you're back to the outage not being global but affecting only the customers using this feature with a bad config.
by b112 | 2025-06-14 13:23:04+00:00
Parent is very mistaken. The F-35 is famous for taking a long time to turn around, for long repair times, and being non-mission capable frequently.

It's also absurdly expensive to maintain. it requires special hangers and maintenance bays, all up to US requirements.

Even the US military has to use Lockheed to do all the work.

The F-35 is a pork trough, designed to provide employment and jobs more than defense.

And anyone buying it is locked into wonderous maintenance costs, all benefitting US employees.

One telling sign of this is that Gripens are designed to be maintained anywhere. You know, like when you're in a thing called a "war", and your bases have been blown up?

You can turn around some Gripens in 30 minutes with them landing on a highway.

Try that with a princess like the F-35.

I prefer to have planes which are designed to be in the air, instead of to provide jobs.
by johnisgood | 2025-06-14 13:23:55+00:00
Everyone (eh, most) believes their work is crucial.

There are cognitive biases like the self-serving bias, or the IKEA effect, which leads individuals to overvalue their own contributions, as well as subjective importance derived from their immediate impact and daily responsibilities. And of course limited visibility into the broader organizational priorities often obscures how different roles contribute to overall growth and success.
by zozbot234 | 2025-06-14 13:25:38+00:00
> but of course it's not the kind of "step forward" with immediate, observable results.

Nice, it looks like you agree with Kevin Buzzard's claim about HoTT in the presentation I linked above. While mathematicians as a whole have historically not cared all that much about the practicality of formal foundations, it's worth noting that Kevin Buzzard has quite some expertise in dealing with the Grothendieck-style fuzzy, informal reasoning about equality that happens to be a key motivation behind HoTT itself and the univalence approach. What he seems to claim on the topic is that HoTT makes it a tiny bit easier to phrase a formal treatment of these issues, but you still have to do all the really hard work of proving that everything "respects" the equalities you claim it respects. The fact that you can then "transport" mathematical objects, proofs etc. along equalities is nifty but is also the kind of thing that would be glossed over to begin with in any informal treatment, so there's no real gain wrt. that.
by justrudd | 2025-06-14 13:26:28+00:00
This made some memories pop. I was on the camera and photo app team. I was not an integral part at all. I think most of my code never made it into the app because being part of that org was a shocking experience. I came from building web apps in an org that got shut down to writing mobile apps that used the Windows build system. My psyche was not prepared.

But I remember I worked with 2 of the smartest people I’ve ever worked with - guy named Mike and guy named Adam. To this day I miss working with them.
by khurs | 2025-06-14 13:26:52+00:00
Apple and Androids relationship I would say is known and stable.

I suspect they are more worried about HarmonyOS phones in China and other markets as Huawei are fierce competition.

“Calculations based on data from the government-affiliated China Academy of Information and Communications Technology showed that April shipments of foreign-branded phones in China rose to 3.52 million units from 3.50 million a year earlier.

Apple has faced increased competition from domestic rivals in China and has resorted to price cuts to stay competitive.

Chinese e-commerce platforms were offering discounts of up to 2,530 yuan ($351) on Apple's latest iPhone 16 models in May.“

https://www.reuters.com/world/china/apples-iphone-sales-capt...
by cykros | 2025-06-14 13:27:50+00:00
One time pad cryptography generated with truly random pads with no reuse of keys and no leaks in key transmission being the big exception.

But yea, calling it inconvenient for most uses is quite an understatement. It did serve many spies well though during the Cold War using numbers stations, even if the Soviets were known to take short cuts by just having a room full of people randomly hitting keyboards rather than using true randomness.
by ajsnigrutin | 2025-06-14 13:28:47+00:00
Hardware has gone a long way...

...software... well, that's a different story.

While a cray could compute millions of things and did a bunch of usable stuff for many groups of people who used it back then, a raspberrypi today has trouble even properly displaying a weather forecast at "acceptable speeds", because modern software has become very bloated, and that includes weather forecast sites that somehow have to include autoplaying video, usually an ad.
by esprehn | 2025-06-14 13:29:01+00:00
I work on Cloud, but not this service. In general:

- All the code has unit tests and integration tests

- Binary and config file changes roll out slowly job by job, region by region, typically over several days. Canary analysis verifies these slow rollouts.

- Even panic rollbacks are done relatively slowly to avoid making the situation worse. For example globally overloading databases with job restarts. A 40m outage is better than a 4 hour outage.

I have no insider knowledge of this incident, but my read of the PM is: The code was tested, but not this edge case. The quota policy config is not rolled out as a config file, but by updating a database. The database was configured for replication which meant the change appeared in all the databases globally within seconds instead of applying job by job, region by region, like a binary or config file change.

I agree on the frustration with null pointers, though if this was a situation the engineers thought was impossible it could have just as likely been an assert() in another language making all the requests fail policy checks as well.

Rewriting a critical service like this in another language seems way higher risk than making sure all policy checks are flag guarded, that all quota policy checks fail open, and that db changes roll out slowly region by region.

Disclaimer: this is all unofficial and my personal opinions.
by tomhow | 2025-06-14 13:33:30+00:00
I know your intention was simply to raise the issue of gender biases in medical research resource allocation, but it set off a gender flamewar, and that's just the kind of thing we're trying to avoid on HN. It's important to think about the consequences of the comments we post, and it was predictable that this kind of thing would happen.

For what it's worth, I saw the comment earlier and thought "not great but don't want to silence a valid point about gender biases in something as important as medical research", but looking now at the flamewar that's resulted, I'm afraid we just have to uphold the guidelines.

Another thought that came to mind when I saw your comment:

Over the years I've had my own experiences with illnesses that cause great pain, distress and limitations on life options, and during those times I often had thoughts along the lines of "people in my category with illnesses like this just aren't considered important enough to attract research funding and care for our plight".

Having continued to look into the topic very deeply, another explanation arises: conditions like this (complex disorders involving autoimmunity – even of the relatively mild kind that I had) are just very difficult to research, because as soon as you start studying a cohort of patients, it turns out to be very difficult to find consistent factors that explain the condition.

My understanding is that endometriosis (and I have learned a little about it from seeing loved ones being diagnosed with it or evaluated for it) is that it's of the same kind; it seems to be at least partially an autoimmune disease (or frequently co-morbid with autoimmune diseases) and, as the article states, it has been found to be extremely difficult to explain, let alone treat. We see similar obstacles with other autoimmune illness like ALS and MS, both of which have had huge amounts of funding over the years but still elude researchers' attempts to even explain them, let alone cure them.

It just seems that some illnesses are extremely hard to explain and cure, even with vast amounts of money invested in them, and that's particularly the case with anything involving autoimmunity.
by gugagore | 2025-06-14 13:35:13+00:00
I was talking to someone about inductive data types, and showed them the zero/succ definition of `Nat`, e.g. in Lean or Rocq.

It was interesting because they were asking "is this all you need? What about the Peano axioms? Is there anything more primitive than the inductive data type?"

I bring it up because it's good not to take for granted that the Peano axioms are inherent, instead of just one design among many.
by lvl155 | 2025-06-14 13:35:34+00:00
That’s BS take. iOS design is one of the most coveted roles if not the most important role you can get as a designer. It reaches billions and influences everything else. Just because we are not impressed with Apple’s direction, doesn’t mean these roles at Apple are not highly sought after. People would work for free to have that on their cv. Not everyone is motivated by pay and this is especially true among people with actual talent.
by zellyn | 2025-06-14 13:35:49+00:00
This happened to me during the pandemic. High (insupportable) stress, plus a year or two of significantly too little sleep, plus social isolation.

It was terrifying. I had just seen my mom taken by Alzheimer’s (or something similar) way too young, and thought my life was over.

All the tests coming back negative, making a point of hanging out with friends, returning to the office, and getting enough sleep seemed to help, and it slowly started getting better.
Ask HN: Are there dev conferences focusing on "soft skills"?
by theletterf | 2025-06-14 13:37:04+00:00
At a glance, most developer conferences seem focused on boasting about minutiae and implementation details ("I've done X", "Lessons learned from fixing Z", and so on). While those are fun to attend and are indeed relevant to a stack, framework, platform, or language, they often restrict the human side of software development to fun marginalia.

Do you know of a developer conference that covers key skills such as communication, teamwork, and personal growth, even as the main track? Or those are all considered to be orthogonal to shipping code and thus less valuable, important, or interesting?
by sunshine-o | 2025-06-14 13:37:15+00:00
Yeah let me put it in context.

I was exited and used Gnome 1.2 back in 2000 (?) It was fun but not serious compared to let's say the MS Windows 2000 desktop.

Progressing in the Gnome 2 serie it became a more serious project and something that could compete with the MS Windows desktop.

Both are full of annoyances...
by thisdougb | 2025-06-14 13:37:22+00:00
I do a lot of code review and doc/comment updates on my iPhone, using Working Copy and a small bluetooth keyboard. It turns out to be ideal because the small screen size means better mental focus.

I have a vm I connect into via ShellFish (same dev as Working Copy) for when I want to checkout/fix/deploy, but it's a rarity that I need to do that.
by bluefirebrand | 2025-06-14 13:39:00+00:00
I tend to agree and I think we're seeing a lot of things that historically have led to incredible civil unrest, riots, revolts, revolutions

Maybe the rich and powerful don't know much history. Or maybe they have convinced themselves that this time they will get away with it, because of... Something. Automation? Globalization?

I am not sure. I find myself very frightened of the idea of a massive and violent revolution
by scythe | 2025-06-14 13:39:45+00:00
Popular understanding, particularly in the United States, is a little behind the scientific opinion on the subject. Most women I've talked to are still under the impression that endometriosis can only be diagnosed by laparoscopy. But there have been improvements in the use of contrast MRI for diagnosis, and as of 2022 the guidelines in Europe recommend MRI as the first option.

https://pmc.ncbi.nlm.nih.gov/articles/PMC9732073/

However, the protocol isn't perfect, and there is probably still room to develop better contrast agents and MR sequences.

>some kind of ignorance of womens' conditions

Some things are just hard. The treatments for benign prostatic hyperplasia suck too. There is no effective reversible pharmaceutical male birth control. Et cetera.
by placardloop | 2025-06-14 13:42:09+00:00
My significant other is going through this situation, and in my experience it seems as though most doctors just simply don’t care to actually find a diagnosis (or at least, don’t have the time or motivation to care), combined with a hefty dose of “that’s not my job”. My SO has been to specialist after specialist who spends a grand total of 2 minutes listening to the symptoms, followed by “well let’s do some blood tests and see what they say” (ignoring that the last 5 doctors already did blood tests). And then when the blood tests come back with nothing obvious, the doctor just throws up their hands and says “well I don’t know what to do, you should go see <other specialist>”.

The reason the “family member or friend who knows someone who can recommend a doctor” seems to work well, in my experience, is because that doctor then has some motivation to actually care, as the patient is connected to someone they already know and care about.

Our medical system financially incentivizes doctors to see as many patients as possible, but doesn’t financially incentivize actually making them better. For that, the system just hopes that doctors will care, without giving them the room to do so.
by majewsky | 2025-06-14 13:42:10+00:00
docs.rs is just barely viable because it only has to build crates once (for one set of features, one target platform etc.).

What you propose would 1) have to build each create for at least the 8 Tier 1 targets, if not also the 91 Tier 2 targets. That would be either 8 or 99 binaries already.

Then consider that it's difficult to anticipate which feature combinations a user will need. For example, the tokio crate has 14 features [1]. Any combination of 14 different features gives 2^14 = 16384 possible configurations that would all need to be built. Now to be fair, these feature choices are not completely independent, e.g. the "full" feature selects a bunch of other features. Taking these options out, I'm guessing that we will end up with (ballpark) 5000 reasonable configurations. Multiply that by the number of build targets, and we will need to build either 40000 (Tier 1 only) or 495000 binaries for just this one crate.

Now consider on top that the interface of dependency crates can change between versions, so the tokio crate would either have to pin exact dependency versions (which would be DLL hell and therefore version locking is not commonly used for Rust libraries) or otherwise we need to build the tokio crate separately for each dependency version change that is ABI-incompatible somewhere. But even without that, storing tens of thousands of compiled variants is very clearly untenable.

Rust has very clearly chosen the path of "pay only for what you use", which is why all these library features exist in the first place. But because they do, offering prebuilt artifacts is not viable at scale.

[1] https://github.com/tokio-rs/tokio/blob/master/tokio/Cargo.to...
by kcplate | 2025-06-14 13:42:35+00:00
> In this late stage of his illness, he must have been aware that this capacity was deteriorating rapidly, and the panic that caused was worse than any physical pain.

I watched my father go through this (due to Alzheimer’s) before he passed away. He would say “I don’t understand why I just can’t think like I used to”. It was heartbreaking. He was a brilliant mathematician before the disease put him in a mental prison. It was pure torture for him.
by simondotau | 2025-06-14 13:44:15+00:00
> Though Ive did get rid of skeuomorphism.

By replacing skeuomorphism with minimalism, Ive's anti-skeu was a cure nearly as worse as the disease. They were right to move away from skeuomorphism, but they did so recklessly, giving us a UX where almost all cues for an element being "clickable" were stripped away.

Ive hasn't done a single impressive thing after Jobs' departure. To the extent that Ive did anything noteworthy, it was with Jobs as visionary, product director and tastemaker. Outside of that relationship, his work has been derivative of prior Apple design success, or embarrassingly wrong-footed. Factoring in the lag time of product cycles, it's astonishing how rapidly Apple improved after Ive's departure.
by squircle | 2025-06-14 13:44:17+00:00
Was detachment 418 already engaged? Joking aside, is there anyone on this forum who has ever been to war who would advocate for war being a desirable end in itself? That is, must conflict, if an inevitable aspect of life, always perpetuate itself? Or, if tension in itself can be good and necessary, does it have to resolve around suffering and destruction? (Its a thrilling experience to explore the unknown, push yourself beyond known limits, or fire a weapon, for instance... but none of this necessarily implies harming others.) Are there examples of win-win scenarios where all sides involved feel heard, appreciated, and respected? Invariably, technology (as embodied culture) is the double edged sword of civilization which is useful and necessary for individual and collective health and well-being. At a certain point, might the lot of us as a globally aware individuals realize that, through historical contigency, have lost the thread and are clinging to false dichotomies (man vs nature, etc)? What happens when an immovable object encounters an unstoppable force?
by MxcAlex | 2025-06-14 13:44:39+00:00
Seedance is the latest AI video generation model, capable of converting text prompts or images into high-quality videos. Supporting both text-to-video and image-to-video modes, it generates smooth and natural video content. No professional experience required - simply describe your ideas and Seedance will transform your creativity into vivid video works. Perfect for content creation, marketing promotion, education and training, and various other scenarios.
by naikrovek | 2025-06-14 13:44:40+00:00
Holding Apple to a high standard this long after the the death of the industry’s one and only true UI/UX purist is folly.

It’s regular “you”s and “me”s there now.

US corporate structure absolutely kills the spirit in the kind of people who could make a difference. And when it doesn’t, it kills the ability of those people to be promoted to a position of influence.

I am not a huge fan of Steve Jobs, but he did understand UI and UX better than just about anyone, and he stuck to his guns.

“I can’t believe this is coming from Apple” is something I said when I saw iPhones with a camera bump. Camera bumps are a fucking abomination.
by johannes1234321 | 2025-06-14 13:45:29+00:00
No. With more computing power the level of detail increased.

And some problems are even more complex.

My father spent his career on researching coil forms for Stellerator fusion reactors. Finding the shapes for their experiments then was a huge computational problem using then-state of the art machines (incl. cray for a while) and even today's computing power isn't there, yet.

Other problems we now solve regularly on our phones ...