MurphyA/hacker-news huggingface dataset:
by mcintyre1994 | 2025-06-10 21:48:17+00:00
I think Gemini's answer (2.5 Flash) is impressive

----

Since both Portugal and France are part of the Schengen Area, and a Brazilian citizen generally does not need a visa for short stays (up to 90 days in any 180-day period) in the Schengen Area, here's how immigration will work:

Lisbon: The Brazilian citizen will need to clear immigration in Lisbon. This is because Lisbon is the first point of entry into the Schengen Area. At this point, their passport will be stamped, and they will be officially admitted into the Schengen Zone.

Paris: Once they have cleared immigration in Lisbon, their flight from Lisbon to Paris is considered a domestic flight within the Schengen Area. Therefore, they will not need to clear immigration again in Paris.

Important Note: While Brazilians currently enjoy visa-free travel, the European Travel Information and Authorization System (ETIAS) is expected to become mandatory by late 2026. Once implemented, Brazilian citizens will need to obtain this electronic authorization before their trip to Europe, even for visa-free stays. However, this is a pre-travel authorization, not a visa in the traditional sense, and the immigration clearance process at the first point of entry would remain the same.
by sfpotter | 2025-06-10 21:48:29+00:00
I read it and it made me pretty upset... Wallace clearly got way out over his skis and simply shouldn't have been writing about the topic. There were way too many moments interspersed throughout the book where it was obvious that he didn't understand what he was talking about or trying to prove. I think one of the key lessons to be learned from the study of mathematics is intellectual honestly and humility. It felt like Wallace hadn't learnt that lesson and had something to... ahem... prove?
by OutOfHere | 2025-06-10 21:49:25+00:00
Requiring PoW (proof-of-work) could take over for simple requests, rejecting requests until a sufficient nonce is included in the request. Unfortunately, this collective PoW could burden power grids even more, wasting energy+money+computation for transmission. Such is life. It would be a lot better to just upgrade the servers, but that's never going to be sufficient.
by OjotCewIo | 2025-06-10 21:49:32+00:00
UEFI variables or not: who in their right mind serializes raw pointer values to any kind of storage (network, disk, nvram, ...)?

Why is it that the most security-sensitive areas are ravaged by the sloppiest programmers and the most negligent managers and business types? I'd like to understand the economics and the psychology behind it.
by torginus | 2025-06-10 21:49:37+00:00
Tbh, I have never heard of Pike or societyserver before, will check those out!

As for smalltalk, I am also not intimately familiar with the language, but what I have in mind is somewhat lower level, with emphasis on C-like struct layouts stored in a POD way (so raw structs inside arrays and the like).

I'd say a key difference is in my language (working name Dream (because I started the project as my 'dream' language, and picking names is hard)), is that these isolation contexts are explicit, and you pointers can't really cross them.

There are special 'far' pointers that do have the ability to reference external objects in different context, but there's an explicit unwrap operation that needs to happen that can fail, as that object is not guaranteed to be reachable for whatever reason. Processes can be explicitly deleted, meaning all reference operations to them will fail.

To be clear, when i say process, i mean my lightweight internal isolation thing.

So in summary, my langage is procedural inside processes, with in-process garbage-collection, C-like performance and explicit method calls. Between processes, you either have smalltalk-like signals, or you can do Rust-style borrows, where you can access objects inside the process for the duration of a method call.

It has erlang-like 'just let it crash' philosophy, but again is a C-like procedural language (or shall I say Go-like, since it has total memory safety and GC).

It also has familiar C-like syntax, and quite a small(ish) feature set outside of the core stuff.

I have a huge doc written up on it, no idea if it would work and if it did, it would be useful, but I do have some tentative confidence in it.

(Also no claims on being original or inventive.)
by nomilk | 2025-06-10 21:49:46+00:00
The baffling lack of candor from Heroku is alarming! At first their status page showed absolutely no problems. Some time later it received updates to acknowledge an incident. Why not go out of your way to be up front?

I feared this may be hackers of something much worse than heroku/salesforce is letting on, due to the complete lack of transparency.

But this line in the salesforce status page makes me think it isn’t something of that nature:

> Our efforts remain focused on internal testing and validation as we continue to see incremental improvements

“Testing and validation” isn’t something you’d do (or say you’re doing) during a hack.

Why don’t companies learn to communicate outages in order to help their customers? Even the heroku status twitter account has posted twice in twelve hours. There’s no excuse for such opaqueness.
by zzo38computer | 2025-06-10 21:49:59+00:00
There is philosophy of mathematics. The below are my ideas of my philosophy of mathematics.

The axioms are true within the system that has those axioms. Therefore, the theorems that result from those axioms and rules, are also true in any system that has those axioms and rules.

It does not make it 'true' in an absolute sense (since it is 'true' within the system and any others (including the Platonic realism, and others too) that includes them), but absolute Truth is inexpressible (this is my conclusion from my study of mathematics and of philosophy of mathematics, but it applies to other stuff too).

However, you should avoid to be confused by such a thing, since some people apparently are. For example, just because some specific sequence of symbols has some use in some system, does not mean that it is the same in a different system (even if they can be mapped to them, which they often can be). Furthermore, even if "X OR NOT X" is true (regardless of what X is, as long as it is well-formed), that does not mean that either "X" must be true or "NOT X" must be true. And, just because values can be assigned to the symbols of classical (or other kind of) logic, does not make it necessary to assign those or any other values.

(Principia Discordia also has some things about "Psycho-Metaphysics".)
by ttouch | 2025-06-10 21:51:03+00:00
meh, internal problems mostly

No idea where truck is going, it'll take me quite some time to tinker with CAD I think, it left me quite a bitter taste...

Fornjot seems to be doing good, I'm donating to them and I get regular updates (you should too!). Still, there's a long, long road ahead

If I were to do this all over again I'd either go the OCCT route (like chili3d or zoo) or solvespace. they're both "lacking" kernels if you compare them to the commercial ones, but I think there's enough "market gap" for makers that would prefer a sustainable CAD format instead of perfect fillets (and IMO freecad is not the solution).

Keep in mind though that my efforts where laser focused on non-math stuff. From what I gathered from my time in cadmium, b-rep kernels are hard in an unsustainable level. Browser level unsustainable. I just hope that out of seer necessity we'll find another way to solve the CAD problem, instead of a b-rep kernel
by aaronbaugher | 2025-06-10 21:52:13+00:00
The dodge is that the real experts always admitted the shots wouldn't prevent transmission; it was just the talking heads and media who said it would, and that's where most people get their information. So now, years later when people aren't freaking out and fearing for their jobs, we're supposed to have all known all along what the real scientists behind the scenes were saying.

I was told by family and friends that the shots were 100% safe and effective, and that if I didn't take the shot I wanted grandma to die, because that's what the TV told them; and when I tried to show them quotes from the actual scientists creating the shots that contradicted that, they said it was misinformation.
by StopDisinfo910 | 2025-06-10 21:52:19+00:00
> Oceans with almost nothing living in them but jellyfish; if images like that get people's attention and encourage reflection, I'm for it.

But that’s not what happens. What people hear is: “It’s lost already. Look how hopeless it all is. One again, two to go.” That’s actually the top comment right here.

From that, it’s either straight denial or resignation “If it’s lost, why should I care.”

It’s far better to view things as an evolving system we keep pushing in the wrong direction but on which we have agency. That’s why I like to explain net zero because it makes it clear that to reach net zero you need every part at zero or compensated. That includes your part and every steps do matter.

Plus it nicely forces the discourse to its logical conclusion and avoids something I have seen some companies do which is limiting the debate to an arbitrary year while conveniently forgetting that things keep going after.
by OutOfHere | 2025-06-10 21:52:55+00:00
I think that requiring PoW (proof-of-work) could take over for simple requests, rejecting requests until a sufficient nonce is included in the request. Unfortunately, this collective PoW could burden power grids even more, wasting energy+money+computation for transmission. Such is life. It would be a lot better to just upgrade the servers, but that's never going to be sufficient.
by pas | 2025-06-10 21:53:55+00:00
it's illegal since the Nakba, because starting wars are illegal without UN authorization

and paramilitary forces attacking civilians were illegal in British Palestine

taking private property also

and poisoning wells is also technically not super bueno under a little know statute, the laundry list of deeds for which Hammurabbi will fuck you up personally, but I'm not a legal scholars so maybe it was so legal a mockingbird granted them statehood.

https://en.m.wikipedia.org/wiki/Operation_Cast_Thy_Bread
by johanyc | 2025-06-10 21:54:01+00:00
> Or is the price drop an attempt to cover up bad news about the outage with news about the price drop?

This makes no sense. No way a global outage will get less coverage than the price drop.

Also the earliest sign of price drop is this tweet 20 hrs ago (https://x.com/OpenAIDevs/status/1932248668469445002), which is earlier than the earliest outage reports 13hrs ago on https://downdetector.com/status/openai/
by tomComb | 2025-06-10 21:54:59+00:00
Big fan swyx, but both here and in the article there is some bragging about being quoted by sama, and while I acknowledge that that’s not out of the ordinary, I’m concerned about where it leads: what it takes to get quoted by sama (or similar interested party) is saying something good about his product, and having a decent follower count.

Dangerous incentives IMO.
by xmprt | 2025-06-10 21:55:08+00:00
That link explains how OpenAI uses it, but doesn't really walk through how it's any faster. I thought the whole point of transformers was that inference speed no longer depended on prompt length. So how does caching the prompt help reduce latency if the outputs aren't being cached.

> Regardless of whether caching is used, the output generated will be identical. This is because only the prompt itself is cached, while the actual response is computed anew each time based on the cached prompt
by Tarsul | 2025-06-10 21:55:24+00:00
but that cuts both ways. They hold not only your own party accountable but also the other parties. Thus, if you are a politican that has a moral compass and believe you are the one who does the best job, then you would like a well-respected media organisation because you would think that it hits the other guys more often than yourself.

But yes.. this only works so long as the amount of politicans with a moral compass are a majority... the moment this changes is the moment that the media is the enemy.
by Bjartr | 2025-06-10 21:56:23+00:00
Didn't say the buttons were invisible, just text.

Even if this specific example is flawed, non-technical users can and do end up in similar non-sensical situations that require a call to support to sort out. The more customization that's possible, the more complicated those calls can get. (Think of the support guy that has to figure out that Grandma's Windows Home setup has custom group policy settings that her well-meaning grandson setup to make things simpler for her by hiding this or that, and now she can't follow the tech's instructions that work for 99.9% of users)

Not only that, but they do so enough that the added cost to field those support calls is enough for companies to change their products to reduce their likelihood.

Almost no-one on this forum falls into the category of user I'm describing. And this kind of user is one of the most common for general consumer software. There is a real cost burden to supporting software with configurability.

And when this kind of thing gets messed up, do users go "Oops! My bad!"? No, they go "This software sucks, I'm going to use <competitor> instead where this kind of thing never happens!"
by const_cast | 2025-06-10 21:56:24+00:00
IME it's always a moving goalpost. Of course people will say they'll donate if you just do this one thing, but it's not true. They'll find some reason not to donate because there's always reasons and that's that. So you can't rely on donations.

Doesn't matter the project. Mozilla, KDE, anything Canonical does, Gnome, Debian... someone will say "this isn't ideologically pure enough" and then not donate. But they're bullshitting you - they never would've donated.
by staunton | 2025-06-10 21:56:53+00:00
If it can be fixed, any civil engineer would clearly prefer to fix it rather than tearing it down and rebuilding it.

This is still not a noce analogy because tearing down a bridge is just expensive (and maybe unnecessary). Tearing down a political system isn't something you can "just do". Most people don't seem to want that and as long as that's the case it won't happen.

US citizens still enjoy vastly more rights, protection and political participation than most people in most countries. If you tear the system down, quite likely what you get will be even worse. Gradual change can be for the worse but also for the better, there's ample historical precedent for both. There's still a lot of ways this could go.
by junto | 2025-06-10 21:57:11+00:00
I think that’s a good question. If they did their jobs properly, acting as the 4th estate, then I’d be much more supportive.

However the last action I can remember that fulfilled checks and counterbalances was the publication of the Snowden files. After that the press died and it’s never recovered.

Journalists are too scared and media companies neutered, and no longer have what it takes to call out the executive.
by belorn | 2025-06-10 21:57:14+00:00
For something like cotton masks, the effect is somewhere in the range of 10-20% reduction of aerosol virus, and that is only for a very short time (minutes) while the mask remains dry and not saturated (which is why studies generally describe them as having an marginal effect). After that the rate of virus becoming aerosol increase back to the same rate as without masks. Those masks are not rated nor designed to prevent airbone viruses from becoming aerosols.

There are diseases that primarily spread through droplets where mask are more effecting in addressing coughing and sneezing. COVID was initially thought to be such diseases, but was later found to primarily spread through virus aerosol. This is why the recommendations to address covid was significantly changed in the later part of the pandemic.

In order to address medical problems you got to use the right tool for the job. In the same way you do not use antibiotic to treat viruses, different masks are effective at different diseases. In order to filter respiratory aerosol viruses that remain airborne for a long period of time over extensive distances, you need the kind of masks that generally comes with their own air source. Indoor ventilation and avoiding crowded spaces demonstrated a much better result than cloth masks could ever perform.
by AtlasBarfed | 2025-06-10 21:57:38+00:00
I'd like one to do my test use case:

Port unix-sed from c to java with a full test suite and all options supported.

Somewhere between "it answers questions of life" and "it beats PhDs at math questions", I'd like to see one LLM take this, IMO, rather "pure" language task and succeeed.

It is complicated, but it isn't complex. It's string operations with a deep but not that deep expression system and flag set.

It is well-described and documented on the internet, and presumably training sets. It is succinctly described as a problem that virtually all computer coders would understand what it entailed if it were assigned to them. It is drudgerous, showing the opportunity for LLMs to show how they would improve true productivity.

GPT fails to do anything other than the most basic substitute operations. Claude was only slightly better, but to its detriment hallucinated massive amounts and made fake passing test cases that didn't even test the code.

The reaction I get to this test is ambivalence, but IMO if LLMs could help port entire software packages between languages with similar feature sets (aside from Turing Completeness), then software cross-use would explode, and maybe we could port "vulnerable" code to "safe" Rust en masse.

I get it, it's not what they are chasing customer-wise. They want to write (in n-gate terms) webcrap.
by fn-mote | 2025-06-10 21:57:57+00:00
> I am not a fan of this kind of communication. It doesn't know so try to deflect the short coming it onto the user.

This is a very human-like response when asked a question that you think you know the answer to, but don't want to accuse the asker of having an incorrect premise. State what you think, then leave the door open to being wrong.

Whether or not you want this kind of communication from a machine, I'm less sure... but really, what's the issue?

The problem of the incorrect premise happens all of the time. Assuming the person asking the question is correct 100% of the time isn't wise.
by anthony-zentic | 2025-06-10 21:58:47+00:00
SEEKING WORK | US | REMOTE

Website: https://zenticsoftware.com

Technologies: GoLang, Python, C++, Rust, JS, AWS, React, PyTorch, llama.cpp, Slurm, Unreal Engine, Houdini DevOps: Ansible, Terraform, Vault, Docker, DroneCI, Kubernetes

Providing Software Engineering services tailored for your success: - Custom desktop / web application development

- Distributed computing backends

- DevOps pipelines

- Machine Learning (ML) pipelines

- High Performance Computing (HPC)

- Unreal Engine development

- Houdini artwork pipelines

Whether you need a complex enterprise system or a simple web application, we would be happy to help.

Please contact us for a free consultation call.
by dwaite | 2025-06-10 21:59:03+00:00
No, the model itself is one of the two Apple foundation language models (the AFM-on-device, specifically)

https://machinelearning.apple.com/research/introducing-apple...

https://machinelearning.apple.com/research/apple-intelligenc...

The architecture is such that the model can be specialized by plugging in more task-specific fine-tuning models as adapters, for instance one made for handling email tasks.

At least in this version, it looks like they have only enabled use of one fine-tuning model (content tagging)
by unsnap_biceps | 2025-06-10 21:59:14+00:00
> In the second incident, the crew restored trim 25 times and never thought to turn off the trim system, over a period of 11 minutes. This is plenty of time to remember what the runaway trim cutoff switch is for. There's no excuse here.

> ...

> The stab trim switch is a memory item, meaning it is supposed to be memorized by the crew. It's their job to remember it.

The runaway trim memory item was written in a way that was inconsistent with how MCAS runaway behaved.

The steps were:

> Firmly hold control column. Disengage autopilot if engaged. Disengage autothrottle if engaged. Use the control column and thrust levers to control airplane pitch attitude and airspeed. Use main electric stabilizer trim to reduce control column forces.

> If the runaway stops after autopilot is disengaged, do not re-engage autopilot or autothrottle; end of procedure.

> If the runaway continues after autopilot is disengaged, place both STAB TRIM cutout switches to CUTOUT.

> If the runaway continues, grasp and hold stabilizer trim wheel.

Historic runaway stab was generally consistant running, not a cycle like MCAS, so following the check list, you turn off the auto pilot, trim stops, you consider you completed the checklist. When it fires off again, it's not completely unreasonable to believe that it's not a runaway trim, as you completed the checklist as instructed.

As for the third incident, the Boeing Emergency Airworthiness directive specifically said that this issue only happened under manual control. The crew kept engaging the autopilot and when it continued to happen on the autopilot, it's not unreasonable for them to believe it wasn't the same issue per the Boeing Emergency Airworthiness directive.

Could they have done better? sure. Could they have saved the aircraft if they followed a different train of thought? yes. Was their train of thought unreasonable? According to the investigation, no, it was not. To many many other people who study this stuff, no one that I'm aware of places any blame on the crew and it feels wrong to continue to shit on their skills when from all indications, they did follow procedures as written and it wasn't enough.
by hparadiz | 2025-06-10 21:59:16+00:00
I'm out walking around LA all the time. Santa Monica alone is a beach town with an amazing ocean front. You don't need a car at all. I'm seriously sitting here doing the Obama shrug meme.

It's stupid that I even have to point out a few things. Like that I was born in Europe, have been to Germany and Japan, and lived near NYC for a time so I probably know better than some European about my own city.
by const_cast | 2025-06-10 21:59:39+00:00
> Ladybird is building a browser with a couple million dollars, why can't Mozilla do the same?

1. Ladybird isn't currently competing with Mozilla or anyone, so this is hypothetical.

2. It's a different problem space, because Mozilla is maintaining a decades old browser.

3. Mozilla is developing a very good browser considering how much money they have. They're competitive with Chrome on features and performance, while Google is dedicating much more money towards Chrome.
by seadan83 | 2025-06-10 22:00:10+00:00
The people chucking cinder blocks and protestors are unaffiliated. That is guilt by association, a logical fallacy.

Seeing immigrants and perceiving an increased in crime, and citing that they are related is post facto rationalization fallacy.

Let's see... what other logical fallacies are in here. Oh.. people emigrate and die, so the accumulation of numbers is not valid nor does that handle double counting.

AFAIK a strong US economy generates around 250k jobs per month. Further, there were more jobs created under Biden than were lost during the pandemic.

I'd also suggest if this all were a big deal, illegal entry ought to be elevated from a civil infraction. It is more severe in the eyes of the law to drive 25 hour than it is to overstay a visa.
by afavour | 2025-06-10 22:01:04+00:00
> It’s hard to even imagine today what we will have discovered by 2035; maybe we will go from solving high-energy physics one year to beginning space colonization the next year

I heard similar things in my college dorm, amid all the hazy smoke.

It’s very difficult to take this stuff seriously. It’s like the initial hype around self driving cars wound up by 1000x. Because we got from 1 to 100 of course we’ll get from 100 to 200 in the same amount of time. Or less! Why would you even question it?