MurphyA/hacker-news huggingface dataset:
by hinkley | 2025-04-25 20:55:22+00:00
He was on steroids post treatment as well. Chemotherapy likes to cause anemia. In fact I think that’s where I first heard of EPO. Some survivor crowing about the efficacy at making them feel human again.

And they’ve discovered in more recent studies that steroid use has effects that last about twice as long as it’s detectable in your body (2 vs 1 year?). If sports weren’t such a young person’s game, I’d worry about people taking off for “surgery” and coming back built like a linebacker but testing clean.
by nikic | 2025-04-25 20:55:33+00:00
They do a bit more than that. One of the options (-disable-object-based-analysis under AA2) disables the assumption that distinct identified objects do not alias, which is disabling pointer provenance in at least one key place.

So I think this option very roughly approximates a kind of "no provenance, but with address non-determinism" model, which still permits optimizations like SROA on non-escaping objects.
by 3np | 2025-04-25 20:56:15+00:00
Only speaking for ASRockRACK, the situation is not much better with regards to firmware updates or confidence in IPMI security. Oh, and there's a fishy undocumented preconfigured second Admin account you have to go into user management to spot... Thank for alleviating buyers remorse as the grass seemed greener at SuperMicro ;^^

> They still seem to have ridiculous LAN sharing of IPMI, which means that even if you set their IPMI to use the dedicated NIC, and setup an isolated network, a loss of defaults means your IPMI is now no longer on that network but sharing the NIC on your main network.

This sounds partilularly weird though, if I am reading it right. Are you saying the BMC will bridge IPMI over multiple NICs in default configuration? And that there is no setup that safely and consistently binds the IPMI to a single NIC?

Isolating management to a dedicated network continues to be part of basic security and it's very surprising to hear that this would not be a supported use-case by SuperMicro...
by thegeomaster | 2025-04-25 20:56:26+00:00
It's a mix between the Transformer architecture and diffusion, shown to provide better output results than simple autoregressive image token generation alone: https://arxiv.org/html/2408.11039v1

Of course, nobody really knows what 4o image generation really is under the hood, but it looks to be like some kind of hybrid system like Transfusion to me. It is much better at prompt adherence than diffusion models, but its output can be clunkier/stylistically incoherent. At times, it also exhibits similar failure modes as diffusion (such as weirdly rotated body parts).

Given how it behaves, I think Gemini 2.0 Flash image generation is probably the same approach but with a smaller parameter count. It's... eerie... how close together these two were released and how similar they appear to be.
by Jensson | 2025-04-25 20:56:41+00:00
> I remain horrified that people I really thought were normal Americans are willing to burn it all down just so they don't have to hear Spanish spoken in their doctor's office.

Calling people who are against illegal immigration "racist" just makes it worse.

A majority of people are fine with legal migration, a supermajority of people think illegal immigrants should get deported. So no, the issue most see isn't that they don't like Spanish, the issue is that they are here illegally.
by db48x | 2025-04-25 20:56:45+00:00
These are not made up sizes. They are standard paper sizes available in any store. Most ordinary househole printers won’t actually print on tabloid, and some won’t print on memo, but all copiers (and multifunction scanner/printers) can copy two letter pages and print them side by side, scaled down to memo size, on a single sheet letter of paper. It’s just a button you press, or maybe a checkbox you check, or whatever. It’s not magic.
by whoknowsidont | 2025-04-25 20:57:28+00:00
Not only is "it" not needed, "being a fan" is pervasive to a detrimental extent. "posio-paths" are everywhere and are basically the default. In order to say something correct, make a correction, or present a counter-factual you have to layer your tone with a thousand feel-goodism's and niceties.

Otherwise you just get labeled as a hater, a contrarian, or worse - a critic. It's exhausting. People confuse being direct, dry, or taking a level-tone with dispassion, disinterest, or again being a "hater."

I would even say I've seen so many people being "super excited" about something that it's the opposite of contagious for me, it causes me to doubt how knowledgeable or sincere they are about the subject (whether it's a general topic or even a person).

We have too much fake-niceness, and we are over-enthused quite often on things that turn out to be nothing, at least in the U.S. We don't need more of it, at least IMO.
by atombender | 2025-04-25 20:58:27+00:00
I think NATS is definitely popular. What is your standard for "taken off", though?

One thing I've learned in my career is that the field is broken into many smaller "bubbles". There is lots of software that flies under the radar if you're not inside the right bubble. Blogs and books aren't necessarily an accurate measurement of how healthy an open source project is.

Sure, there may be less noise around NATS than, say, Kafka. But there could be other explanations for that. From my perspective NATS is one of those well-engineered workhorse technologies that get the job without fuss or hype or (until now) drama. Some tools are just quiet because people are getting stuff done with it. I'm willing to bet it's got decent adoption in Fortune 500 companies.

I don't have any hard numbers. But if you wander into the NATS community Slack, for example (which isn't easy to find, admittedly!), you'll find that it's quite active compared to many other open source projects. Looking at Docker Hub, NATS has very healthy stats, beating prominent projects like Cassandra in terms of absolute pulls, and not far from Kafka.

One thing is certain, Synadia is not going to make NATS more popular by moving to a proprietary license.
by m463 | 2025-04-25 20:59:13+00:00
Sounds like you have something a little like Carmel, California:

https://ci.carmel.ca.us/post/addresses

A unique characteristic of Carmel-by-the-Sea is that there are no street addresses. Properties are identified, for example, as being on the "west side of San Antonio Street, 3 houses south of 12th Avenue". In addition to this, many owners give their homes a name. The name you choose does not have to be approved or registered with the City.
by pmags | 2025-04-25 20:59:51+00:00
I had no idea the information avoidance was an area of study!

I'm curious to dig into this paper a bit more, because I've been wondering if the same phenomenon relates to:

1) the generally low quality of public discourse on a wide variety of topics -- many people seem to hate discussion based on evidence and would rather "go with their gut" or appeal to some vague notion of "common sense".

2) the popularity of AI -- there seems to be a common sentiment that AI is capable of taking care of the messy, yet important, details of the world around us so that we don't have to. i.e. AI is a information avoidance black box which gives us the liberty of ignoring what's actually in the box.
by shadowgovt | 2025-04-25 21:00:03+00:00
> ask yourself the work of which contemporary novelist, poet, composer, or painter you are eagerly awaiting

Marathon, by Bungie Studios (and frequently on the composer side the work of Christopher Tin), but who's counting?

More seriously: the nature of art has changed and this article doesn't seem willing to accept that change. Art can be the work of one creative talent, but it can also be the collective work of a whole army of people acting on a consensus goal. And right now, a lot of the resources of art creation are tied up in large-scale, multidisciplinary projects: movies, videogames, studio music.

Saying you're waiting for a movie to come out is precisely as much a statement about anticipating a work of high art as saying you're interested in what Dostoevsky will write.
by ivape | 2025-04-25 21:00:26+00:00
The government has to prove intent here, which as some have noted is difficult, but if the facts as recounted in the news stories are all true it doesn't seem that it would be overwhelmingly difficult to prove that she intentionally took action (2) to thwart an arrest that she knew was imminent

She is brave. I suspect we will look back on this one day if it goes that far. Even if you are staunch anti-immigration advocate, I would ask everyone to do the mental exercise of how one should proceed if the law or the enforcement of it is inhumane. The immigrant in question went for a non-immigration hearing, so this judge was brave (that's the only way I'll describe it). Few of us would have the courage to do that even for clear cut injustices, we'd sit back and go "well what can I do?". Bear witness, this is how.

Frontpage of /r/law:

ICE Can Now Enter Your Home Without a Warrant to Look for Migrants, DOJ Memo Says

https://dailyboulder.com/ice-can-now-enter-your-home-without...
by hinkley | 2025-04-25 21:00:31+00:00
The guy who won the Nobel prize for giving himself an ulcer estimated it as 90%, which is very comfortably “most”. If that has been drastically estimated down I hadn’t heard.

Also don’t abuse advil, kids. OTC painkillers can burn a hole in your digestive tract. I in fact know someone missing a few feet of intestine because of chronic back pain and overuse of non narcotic painkillers.
by julik | 2025-04-25 21:01:36+00:00
I haven't been in the business of writing WAFs, but if I got an assignment of "block every string in the request body that contains /etc/passwd or /etc/hosts, including filenames in multipart forms" – I would strongly debate that with the PMs requesting that. And - probably - debate for some kind of "This website is served by an application developed by people who know what they are doing" checkbox, which would instantly neuter rules like that.
by airstrike | 2025-04-25 21:02:09+00:00
I'm not sure that's what we're solving for. There is no silver bullet. No single language runs on every phone.

If we're teaching everyone some language, we could very much decide that this language ought to be installed in the "normal person computing environment".

I definitely don't want people to learn to write code from JavaScript as it has way too many issues to be deemed representative of the coding experience.
by timewizard | 2025-04-25 21:02:28+00:00
> the victim refuses to cooperate

You're describing an entirely different situation. Unless you're saying that deporting someone makes them wholly unable to participate in the process which is what I'm precisely disagreeing with. Cooperating can include things like simply filling out an affidavit or participating in remote depositions.

> and why the Mafia spent so much effort ensuring you knew you would die if you took the stand.

Removing someone from the country does not kill them.
by panabee | 2025-04-25 21:02:56+00:00
To provide more color on cancers caused by viruses, the World Health Organization (WHO) estimates that 9.9% of all cancers are attributable to viruses [1].

Cancers with established viral etiology or strong association with viruses include:

- Cervical cancer - Burkitt lymphoma - Hodgkin lymphoma - Gastric carcinoma - Kaposi’s sarcoma - Nasopharyngeal carcinoma (NPC) - NK/T-cell lymphomas - Head and neck squamous cell carcinoma (HNSCC) - Hepatocellular carcinoma (HCC)

[1] https://pmc.ncbi.nlm.nih.gov/articles/PMC8831861
by sterlind | 2025-04-25 21:04:03+00:00
Mercury feels like if the Ada people wrote Prolog. it's very verbose. you have to declare signatures in separate files and determinism modes. grounding is strictly enforced. it's statically typed. there's no REPL, remarkably.

in exchange, the compiler catches a lot of bugs and the code is blazing fast.

Curry is a superset of Haskell. it takes Haskell's pattern matching and makes it extremely general (full unification), extends it to non-determinism with choice points. it does have a REPL, like ghci.

Like Haskell, Curry is lazy. Mercury (like Prolog) uses mostly eager, depth-first evaluation (SLDNF resolution.) Clause order doesn't matter in Curry, which uses a strategy of "needed narrowing" - variables are narrowed when they need to be.

Unlike Mercury (and Prolog), and like Haskell and other FP languages, Curry draws a distinction between function inputs and outputs. You can do relational programming via guards and pattern matching, but it doesn't feel as Prolog-y.

Curry is more niche than Mercury, which is at least being used to build Souffle (a static analysis language built on Datalog), which is actually being used in industry somewhat. But it's a shame because Curry has a lot to offer, especially to Haskellers. They're both worth checking out though.
by b112 | 2025-04-25 21:04:10+00:00
This sounds partilularly weird though, if I am reading it right. Are you saying the BMC will bridge IPMI over multiple NICs in default configuration? And that there is no setup that safely and consistently binds the IPMI to a single NIC?

By default, their servers have a 'failover' mode for the main NIC. This means that when the server gets power, and IPMI boots, if the IPMI NIC doesn't have a link it will then share connectivity with the main NIC.

# To get LAN mode:

ipmitool raw 0x30 0x70 0x0c 0

# 00 = dedicated, 01 = share, 02 = failover

# To set, use 0|1|2:

ipmitool raw 0x30 0x70 0x0c 1 <value>

You can set it to 'dedicated', but sometimes that's buggy and the setting can get lost. I've had it happen. And it defaults to failover on most servers I've bought, so a dead bios battery means the same outcome.

And if you're not aware, and leave it at failover, your dedicated IPMI LAN switch dies, then next boot all your stuff is exposed.

From what I've read, this is still the same in 2025.

I'd really have preferred a jumper for something this insanely unsecure.

Thanks for the FYI on AsRockRACK.

Have you had any firmware updates for IPMI with them, however?
by shadowgovt | 2025-04-25 21:04:21+00:00
Much great writing is now actually living in the realm of the fanfic and the self-published. This is not the death of art; if anything, it speaks to art's creation having become so prolific that there is no publishing-house gatekeeper that can contain it.

It's hard for me to take seriously a "Where are all the novels?" critique when there is currently a very active long-novel-title-to-multi-hour-anime pipeline running at white-hot intensity. Perhaps the author missed them because they're in Japanese.
by nikic | 2025-04-25 21:04:27+00:00
One peculiar thing about the benchmark results is that disabling individual UB seems to fairly consistently reduce performance without LTO, but improve it with LTO. I could see how the UB may be less useful with LTO, but it's not obvious to me why reducing UB would actually help LTO. As far as I can tell, the paper does not attempt to explain this effect.

Another interesting thing is that there is clearly synergy between different UB. For the LTO results, disabling each individual UB seems to be either neutral or an improvement, but if you disable all of them at once, then you get a significant regression.
by mdpye | 2025-04-25 21:05:48+00:00
There are loads of systems where every button and encoder has many functions, with modal or paged interfaces. But I'm trying to stick to a model of no hidden or ephemeral state with my modular, just for fun, I guess. Mostly analogue, so no non-volatile memory to store settings, the positions of the patches and knobs set everything, and the test is that if I power it down and back up it must come back doing what it was doing when the power went out (very long cycle lfos notwithstanding!)

When a laptop can simulate anything, the physicality of the interface is most of the attraction, so might as well go all the way...
by gnulinux | 2025-04-25 21:06:00+00:00
Principia was written during the naive Logicist era of philosophy of mathematics that couldn't foresee serious foundational decidability issues in logic like Godel's incompleteness theorems, or the Halting Problem. Formalism/Platonism and Constructivism are two streams that came out of Logicism as a way to fix logical issues, and they're (very roughly speaking) the philosophical basis of classical mathematics and constructive mathematics today.

The way formalists (mainstream mathematical community) dealt with the foundational issues was to study them very closely and precisely so that they can ignore it as much as possible. The philosophical justification is that even though a statement P is undecidable, ultimately speaking, within the universe of mathematical truth, it's either true or false and nothing else, even though we may not be able to construct a proof of either.

Constructivists on the other hand took the opposite approach, they equated mathematical truth with provability, therefore undecidable statements P are such that they're neither true nor false, constructively. This means Aristotle's law of excluded middle (for any statement P, P or (not P)) no longer holds and therefore constructivists had to rebuild mathematics from a different logical basis.

The issue with Principia is it doesn't know how to deal with issues like this, so the way it lays out mathematics no longer makes total sense, and its goals (mathematical program) are found to be impossible.

Note: this is an extreme oversimplification. I recommend Stanford Encyclopedia of Philosophy for a more detailed overview. E.g. https://plato.stanford.edu/entries/hilbert-program/
by godelski | 2025-04-25 21:06:41+00:00
> The only question is whether obstructing ICE is classified as the legal offense of obstruction

There's other questions tbh. I don't know the answers, but I think it is critical to point out.

An important one is "does ICE have the authority to operate in the location they were operating in?" If the answer is no, then Dugan's actions cannot be interpreted as interfering with ICE's official operations. You cannot interfere with official operations when the operations are not official or legal. An extreme example of this would be like police arresting somebody, and in a formal interrogation they admit to murder, but the person was not read their Miranda rights. These statements would likely be inadmissible in a court. But subtle details matter, like if the person wasn't arrested or if they weren't being interrogated (i.e. they just blabbed).

This matters because the warrant. In the affidavit it says Dugan asked if the officer had a judicial warrant and were told they had an administrative warrant.[0] That linked article suggests that an administrative warrant can only be executed in an area where there is no expectation of privacy. This is distinct from public. There are many public places where you do have a reasonable expectation of privacy. A common example being a public restroom (same law means people can't take photos of you going to the bathroom). So is there a reasonable expectation of privacy here? I don't know.

I think it is worth reading the affidavit. Certainly it justifies probable cause (at least from my naive understanding). But the legal code is similar to programming code in that subtle details are often critical to the output. That's why I'm saying it isn't "the only question", because we'd need to not only know the answers to the above but answers to more subtle details that likely are only known to domain experts (i.e. lawyers, judges, LEO, etc)

[0] https://www.motionlaw.com/the-difference-between-judicial-an...
by PaulHoule | 2025-04-25 21:06:42+00:00
As I see it three letter organizations have been using frameworks like Apache UIMA to build information extraction pipelines that are manual at worst and hybrid at best. Before BERT the models we had for this sucked, only useful for certain things, and usually requiring training sets of 20,000 or so examples.

Today the range of things for which the models are tolerable to "great" has greatly expanded. In arXiv papers you tend to see people getting tepid results with 500 examples, I get better results with 5000 examples and diminishing returns past 15k.

For a lot of people it begins and ends with "prompt engineering" of commercial decoder models and evaluation isn't even an afterthought For information extraction, classification and such though you get often good results with encoder models (e.g. BERT) put together with serious eval, calibration and model selection. Still the system looks like the old systems if your problem is hard and has to be done in a scalable way, but sometimes you can make something that "just works" without trying too hard, keeping your train/eval data in a spreadsheet.
by thekevan | 2025-04-25 21:07:10+00:00
>The rather extreme omission of any kind of media system in the car is jarring, but it, too, has secondary benefits.

>“Seventy percent of repeat warranty claims are based on infotainment currently because there’s so much tech in the car that it’s created a very unstable environment in the vehicle,” Snyder says.

I'm totally cool with them not having an infotainment screen or even a stereo itself. But speaker management might be a pain.

I really hope they decide to either include speakers to which you connect to your own infotainment system or at the very least, have the space or brackets where you can bring your own speakers and install them without cutting.

Having a bluetooth speaker take care of all the sound is just too bulky and cumbersome for those of us who need to live with constant music in the car. Plus, I don't want to leave a $150 bluetooth speaker in my car all the time and encourage break-ins.
by aksss | 2025-04-25 21:08:13+00:00
There are plenty of use cases in the narrow band that it can operate, but it is a pretty narrow band. Around town commuter in climate that doesn't need AWD/4WD, like great for shopping, commuting, or for small contractors doing jobs. Two people in the vehicle plus luggage, it will be interesting to see what happens to range. Love the concept.
by psychoslave | 2025-04-25 21:08:19+00:00
I don't know what you red about Russell, but in my own readings he has always been presented as a fervent atheist, so except with a far stretched interpretation of "neutral monism" as some form of gnoseologic divinity, it's hard to imagine such a character looking for any god.

Also Russel himself ruined the cathedral of Frege with its eponymous paradox, he was clearly among the best to understand how a thing like Godel's incompleteness theorem could come along the way.

And for his relation to madness, his personal life have been felt with many turmoil from an early age. If anything it seems that mathematics saved him, preventing his early desire for suicide.

https://plato.stanford.edu/entries/neutral-monism/

https://en.wikipedia.org/wiki/Copleston%E2%80%93Russell_deba...
by damnitbuilds | 2025-04-25 21:08:29+00:00
"This goes 10X for such difficult sciences as psychology (which is literally still in infancy) and biology. In these fields, designing a proper experiment (controlling as much as you can) is basically impossible, so we have to tease signal out of noise and it's failure prone."

For psychology replace "Difficult" with "Pseudo".

To lose that tag, Psychology has to take a step back, do basic research, replicate that research multiple times, think about how to do replicatable new research, and only then start actually letting psychologists do new research to advance science.

Instead of that, unreplicated pseudo-scientific nonsense psychology papers are being used to tell governments how to force us to live our lives.