MurphyA/hacker-news huggingface dataset:
by GoblinSlayer | 2025-06-23 09:32:07+00:00
I think there's evidence for MWI and it's of the same character as evidence against geocentrism, you just question it, because evidence isn't airtight and geocentric prejudice is compelling because you reject Copernican principle and don't believe in relativity. But evidence against geocentrism isn't airtight either and can be questioned, and geocentrism can be hypothesized and is internally consistent, so why not, especially if you reject Copernican principle.

One branch interpretations are based on geocentric prejudice that the observer's state isn't changed much by observation (because observer doesn't feel change), and when the observer's state doesn't change much, we get geocentrism. But mathematics of quantum physics shows otherwise: the observer's state suffers decoherence and splits into macroscopic superposition, which is a big change and thus debunks assumption of unchanged observer's state. When observer's state changes significantly, observation becomes subject to relativity effect just like in case of spinning Earth.

>The only way there could be evidence for it is if it's wrong.

And what it means when there's no such evidence?

>The mortal's-eye view is fundamentally incompatible with the god's-eye view.

But then tracing must be fundamentally unable to extract mortal's-eye view from god's-eye view. What you say doesn't match what you do.

>If you want to argue that the Born rule is not "an observed phenomenon" then I don't know what to tell you.

I argue that Born rule is an observed phenomenon, and all observed phenomena are purely quantitative physical processes computable from Schrödinger equation, Born rule is the same, otherwise quantum physics wouldn't predict observation of Born rule.

Formally you might need measurement, but the trick is to convert the given problem into a problem of certainty, then measurement is trivial, and prediction is completely calculated from Schrödinger equation. Coincidentally Born rule is such a certain fact, so it doesn't matter if you measure it or not, measurement doesn't do much to certain facts, it's sufficient if you only calculate this certain fact and leave it as is without measuring it.
by dewey | 2025-06-23 09:32:16+00:00
What’s the actual difference between Cursor and Claude Code these days? I’ve used both and then just switched to Cursor because the company paid for it…but except the cli vs UI difference I couldn’t really spot any big differences as both did multi-file edits.

The current state of having multiple editors open, or having to switch between JetBrains stuff and Cursor is really a bit of an annoying transition period (I hope).
by liampulles | 2025-06-23 09:32:38+00:00
I don't think it's so much a question of a better language so much as a different language. There are obviously tradeoffs one makes with all language designs.

What might be interesting is a language ecosystem, where one can write parts of a system in one language and other parts in another. The BEAM and JVM runtimes allow for this but I don't think I've seen any good examples of different languages commingling and playing to their strengths.
by mobiuscog | 2025-06-23 09:35:14+00:00
It gets difficult in the teenage years, as not having a phone (or access to) effectively isolates them from their peer group and they become outcast.

Whilst this may be good to avoid brain-rot, it eliminates much of their social needs in many cases.

A balance is required, but that needs parents to actually pay attention and not just leave them to isolate themselves (with their phone) into their room.
by Cthulhu_ | 2025-06-23 09:35:53+00:00
> e.g. acetone plus hydrogen peroxide yields APEX/TATP

TIL, didn't know that. Acetone is right next to peroxide in the local household items store (in the Netherlands) over here. But a few aisles over you can also find CBD oil and melatonin, heavy duty painkillers like diclofenac, etc.
by davydm | 2025-06-23 09:36:30+00:00
One reason for lower comp-sci enrollments is simply because these tertiary education at these institutions is CRAZY expensive, and most people will be paying off student loans for years.

A better view of the situation would encompass people on non-traditional paths (bootcamps, etc) although I do understand that right now, there are many delusional companies who think they can replace coders with "ai" - and many who are already learning that they can't, so this may settle a bit.
by careful_ai | 2025-06-23 09:37:14+00:00
This post nails the common pain point: raw GenAI outputs feel detached from real codebases and impose an overhead that often negates any speed gains from AI.

The idea that generative coding tools are "offloading the easy stuff while leaving the hard, domain-specific thinking to humans" mirrors my own experience. There’s a strange cognitive tax that comes with trying to validate AI-generated code—especially when it’s syntactically right but semantically wrong in subtle ways.

What I’ve found most frustrating is that these tools often lack a sense of context. Not just in terms of project architecture, but also in terms of intent and long-term maintainability. I’ve ended up spending more time reviewing and rewriting than if I had just tackled it manually.

Still, I’m hopeful. When paired with lightweight human-in-the-loop workflows—like using AI to explain legacy logic or spot inconsistencies—it can be a decent thought partner. But as a coder’s autopilot? Not there yet.
by octo888 | 2025-06-23 09:37:39+00:00
Ban on "no ball games" signs is addressing the problem from the easiest and worst possible angle.

More than 400 playgrounds closed in England from 2012 to 2022 and annual park budgets have fallen

Why are they bouncing balls near/against a house? Probably because there aren't enough affordable, easy to access sports centres/playgrounds etc nearby. Plus helicopter parents afraid of letting kids out of their sight

Bouncing balls are low frequency noises and can drive someone insane and completely ruin the quiet enjoyment of their home. Those signs are perfectly valid to prevent anti-social noise pollution and prevent damage to property

Let's undo the austerity cuts instead of forcing people's property exteriors into make-do ball courts
by mytailorisrich | 2025-06-23 09:37:52+00:00
People change smartphones every few years because they want the new shiny ones. I think it would be more effective and pragmatic to work in depth on recycling of smartphones and all electronics rather than mandating things that add cost and resources without necessarily making a difference in the end.

To me this is typical political handwaving, aiming at surpeficial "solutions" that will get easy support (because "obviously" it makes sense, even if, really, not so much...) while not addressing the deep, more complex but more beneficial to solve, issues.
by EmilyHughes | 2025-06-23 09:37:54+00:00
Whats so crazy about it though? Intuitively it seems very likely to me that all possible states of 2028 would fit into a 64 bit number.

4x4 = 16 tiles, 64/16 = 4 bits, 16 powers of two = space for 0-65536 per tile.

So going up to only 2048 would leave some room even.
by bilekas | 2025-06-23 09:37:54+00:00
That's not debated and nobody mentioned that it's a 'surprise' there is a perf hit.

The topic is related to now being the time to disable it as there seems to be no need for it anymore due to a kernel patch, as well as Intel themselves publishing upstream without these.

> Intel themselves have enabled this flag in their builds available on their Github release page upstream."

> At this point, Spectre has been mitigated in the kernel, and a clear warning from the Compute Runtime build serves as a notification for those running modified kernels without those patches.
by pjc50 | 2025-06-23 09:38:38+00:00
I think we all agree on that; the problem is that some customer relationship management is .. highly political. Lots of face saving and message discipline. Engineers are not trusted to have the skills to do that even if you've got time to keep them fully briefed on what the story you're allowed to tell the customer is.

Sometimes even asking the wrong question can cause an upset. Engineers are prone to thinking or even saying things like, "successfully delivering the project is more important than the ego of a middle ranking procurement manager in the client, right?"
by Cthulhu_ | 2025-06-23 09:38:48+00:00
> And realistically what's the more trustworthy alternative?

This hints at a deeper problem; the fact that you can't trust e.g. the government to have an organization that tests and certifies anything sold, be it online or in shops. You should be able to trust things like vitamins when bought online.

Of course, if Amazon would only sell legit stuff, people would order stuff from abroad because like it or not, the general trend remains that people try to get the cheapest products. This is why legitimate products are pushed out of the market. This is why Amazon and Walmart pushed out local shops. Free rein capitalism.
by 8fingerlouie | 2025-06-23 09:38:59+00:00
A big part of the difference is that the BSDs are designed by a governing committee. They usually don't have 15 different solutions for the same problem, but instead 2-3 solutions that work well.

Take filesystems, the official filesystems are UFS(1/2) and ZFS. They have GEOM as LVM and LUKS and more.

That being said, the majority of money and development goes into Linux, which by itself may make it a better system (eventually).

Edit: Of course UFS is not deprecated.
by Paapaa | 2025-06-23 09:40:59+00:00
What does not make sense? Did you mean to answer to someone else? I only stated that Typst (the typesetting engine) is free to use and modify, and only the web app is closed source. Typst can be used without touching any web apps. I use Typst locally.

I made no claims about any mixes or claims about LaTeX.
by ath3nd | 2025-06-23 09:41:24+00:00
> Hamas explicitly states that committing genocide in Palestine and Israel against Jews and "Palestinian traitors" ... is the start. They clearly state their intent to do so worldwide, on essentially everyone, as that will bring the islamic second coming. Yes, really, that's what it says.

Nice, it's like the "preventive" strikes of Trump on Iran. Israel is basically committing genocide on Palestinians so ...Palestinians don't do genocide on them AND the world? Thank you Israel, for saving the world, by committing untold atrocities, a genocide and ethntic cleasing (in the name of good, of course).

Again, I will reiterate: Israel currently does to Palestinians what answers ALL criterias of a genocide. Is it a genocide? Yes. Can we call it a genocide? Yes. Would we continue calling it a genocide and compare it to what Nazis did to the Jewish population? Yes.
by drvhali | 2025-06-23 09:41:32+00:00
Hyperfocus is a defining trait of some types of ADHD and Autism spectrum.

But, don’t discount addiction in-general. Social media, internet use, and gaming are some of the things that can provide quick dopamine hits, which is the problem being addressed here.

Adding a button to turn it off for a short-time is like heating just a tiny spoon of heroin and injecting it. No AA sponsor should ever say, “Yeah, it’s ok to dip your tongue in that whiskey.” That’s nonsense.
by ICBTheory | 2025-06-23 09:41:36+00:00
No problem here is you proof - although a bit long:

1. THEOREM: Let a semantic frame be defined as Ω = (Σ, R), where

Σ is a finite symbol set and R is a finite set of inference rules.

Let Ω′ = (Σ′, R′) be a candidate successor frame.

Define a frame jump as: Frame Jump Condition: Ω′ extends Ω if Σ′\Σ ≠ ∅ or R′\R ≠ ∅

Let P be a deterministic Turing machine (TM) operating entirely within Ω.

Then: Lemma 1 (Symbol Containment): For any output L(P) ⊆ Σ, P cannot emit any σ ∉ Σ.

(Whereas Σ = the set of all finite symbol strings in the frame; derivable outputs are formed from Σ under the inference rules R.)

Proof Sketch: P’s tape alphabet is fixed to Σ and symbols derived from Σ. By induction, no computation step can introduce a symbol not already in Σ. ∎

2. APPLICATION: Newton → Special Relativity

Let Σᴺ = { t, x, y, z, v, F, m, +, · } (Newtonian Frame) Let Σᴿ = Σᴺ ∪ { c, γ, η(·,·) } (SR Frame)

Let φ = “The speed of light is invariant in all inertial frames.” Let Tᴿ be the theory of special relativity. Let Pᴺ be a TM constrained to Σᴺ.

By Lemma 1, Pᴺ cannot emit any σ ∉ Σᴺ.

But φ ∈ Tᴿ requires σ ∈ Σᴿ \ Σᴺ

→ Therefore Pᴺ ⊬ φ → Tᴿ ⊈ L(Pᴺ)

Thus:

Special Relativity cannot be derived from Newtonian physics within its original formal frame.

3. EMPIRICAL CONFLICT Let: Axiom N₁: Galilean transformation (x′ = x − vt, t′ = t) Axiom N₂: Ether model for light speed Data D: Michelson–Morley ⇒ c = const

In Ωᴺ, combining N₁ and N₂ with D leads to contradiction. Resolving D requires introducing {c, γ, η(·,·)}, i.e., Σᴿ \ Σᴺ But by Lemma 1: impossible within Pᴺ. -> Frame must be exited to resolve data.

4. FRAME JUMP OBSERVATION

Einstein introduced Σᴿ — a new frame with new symbols and transformation rules. He did so without derivation from within Ωᴺ. That constitutes a frame jump.

5. FINALLY

A: Einstein created Tᴿ with Σᴿ, where Σᴿ \ Σᴺ ≠ ∅

B: Einstein was human

C: Therefore, humans can initiate frame jumps (i.e., generate formal systems containing symbols/rules not computable within the original system).

Algorithmic systems (defined by fixed Σ and R) cannot perform frame jumps. But human cognition demonstrably can.

QED.

BUT: Can Humans COMPUTE those functions? (As you asked)

-> Answer: a) No - because frame-jumping is not a computation.

It’s a generative act that lies outside the scope of computational derivation. Any attempt to perform frame-jumping by computation would either a) enter a Goedelian paradox (truth unprovable in frame),b) trigger the halting problem , or c) collapse into semantic overload , where symbols become unstable, and inference breaks down.

In each case, the cognitive system fails not from error, but from structural constraint. AND: The same constraint exists for human rationality.
by sandos | 2025-06-23 09:41:48+00:00
When I got hired by a very big conglomerate here in Sweden, he said Sweden and Poland are amongts the cheapest in Europe for developer salaries, and I would think devops will be close.

You can easily find a decent devops here (not Google-level, no) for much less than 70k I would say, especially if theyre under 30 or so.
by graemep | 2025-06-23 09:42:14+00:00
> For some broader context missing from the article, there's been a long-running "controversy" with certain people in the Chinese Academy of Sciences making an argument called the multiregional hypothesis that modern Chinese evolved in China out of archaic hominins.

It is appealing because it justifies racism. It is just the contemporary version of polygenism of racial science.

That said, even if human evolution is more complex than simple out of Africa, all of humanity has a lot of shared ancestry and genetics do not support the concept of race.
by ljf | 2025-06-23 09:42:44+00:00
I had not heard of those - I'll have to look out to see if the NHS offers these.

Currently on 5 yearly review until I hit 50, as my oldest brother had the same cancer at 56, which sadly took his life, so I am not of standard risk.

Reading summary of that paper:

"The numbers of persons who would need to be screened to detect one cancer were 154 with colonoscopy, 166 with DNA testing, and 208 with FIT." So I'll still stick with a colonoscopy until something better comes along.
by mrsofty | 2025-06-23 09:43:09+00:00
marimo has made development FUN again for me. From the way I can use uv to manage my packages using the ui ( left julia because of that issue) to the reactive nature of the cells ( goodbye jupyter) it's a wonderful experience. It's fast moving and the community is wonderful. To have another lakehouse with such ease of use is another example of it's attraction. WELL DONE marimo j215
by mamonster | 2025-06-23 09:43:45+00:00
By far the biggest value-add in terms of salary over my career has been, and this is probably very finance specific but still, having a very good relationship with a recruiter. A recruiter with a good network has massive incentives to repeatedly place you over the course of your career, and if he knows that you are a good employee then he will usually give you the context on the positions that allows you to safely negotiate raises.

You also get to learn what specific recruiter/job description lingo means, for example "position with a lot of opportunities to develop" = "the senior employee doing this job quit/convinced the management to hire a junior for this".
by noelwelsh | 2025-06-23 09:44:21+00:00
I'm guessing you're not a native English speaker. Your descriptions could use some work. A few examples:

"For the first time, we can achieve semantic-level code reuse through type composition." is, to me, mostly meaningless. This almost certainly isn't the first time someone has done whatever it is you are claiming. What is *semantic-level" code reuse? Calling a library function is code reuse, and I expect that function to have the same semantics every time I call it. Why is type composition necessary to achieve this?

"Define the program's overall behavior through compositional declarations. This means we gain the ability to specify the program's overall behavior at the type level." How does the specifying behavior at the type level follow from composition? I can use composition, at the value level, just fine without types (e.g. in Javascript).
by wahern | 2025-06-23 09:44:44+00:00
FreeBSD literally has Capsicum: https://en.wikipedia.org/wiki/Capsicum_(Unix) That might be the most pure capability system out of all of them, though it's not something that works without application modification (yet). Android and iOS applications can automatically work with the native capability framework because they rely on higher-level SDK APIs. But AFAIU those capability systems are very coarse-grained, in the sense that it's difficult leverage the capability system internally within a single application. And keeping lower-level APIs (e.g. for C and POSIX filesystem I/O) nominally working (if at all) requires some impure hacks. All of which makes them very similar to FreeBSD Jails or Linux containers in that respect.

I wouldn't consider any of these systems "secure", though, as a practical matter. In terms of preventing a breakout, I'd trust an application on OpenBSD with strict pledge and unveil limits, or a Linux process in a classic seccomp sandbox (i.e. only read, write, and exit syscalls), more than any of those other systems. Maybe Capsicum, too, but I'm not familiar enough with the implementation to know how well it limits kernel code surface area. But any application that can poke at (directly or indirectly) complicated hardware, like the GPU, is highly problematic unless there are proofs of correctness for any series of inputs that can be sent by the process (which I don't think is the case).
by jeffparsons | 2025-06-23 09:47:00+00:00
I don't have a source for this, so take it with a huge grain of salt... but for some reason I have a memory of someone telling me that the older versions of Word saved and loaded documents by writing the bytes of in-memory data structures directly to files on disk, with not much in the way of marshalling or validation in the middle. Because it was fast, or something. You can imagine the kind of edge cases and oopsies that might result.

The new versions at least serialise to some kind of monstrous XML representation of Word's internal state, so while it's not going to win any awards for world's most elegant document format, it should be slightly harder to corrupt in subtle ways.
by pmontra | 2025-06-23 09:47:01+00:00
Nice app. I found a radio from the town nearby. Never heard about it. I even like the music they are playing.

On the bad side, this is an app which is very difficult to use with uMatrix because it loads JS from the domain of the selected radio and it must be whitelisted. Ok for sparse areas but apparently big cities return a different radio each time (or I didn't zoom it far enough.) I don't know if this is a solvable problem server side. Probably not because what can they do? Run a headless browser and stream the content, one browser per connection? That would be asking too much. I'll whitelist the stations I like most.

Thanks for site.
by bsaul | 2025-06-23 09:47:13+00:00
Hey,i'm trying it and just a sidenote : the french translation is atrocious (to the point where you may completely misunderstand the feature). I had to translate back to english in my head to try and find the original meaning.

A quick example : "detection de l'haleine" instead of "detection du souffle".

"Haleine" in french is mostly used to mean the "smell" of the breath. And i found examples like this in almost every screen.
by Shorel | 2025-06-23 09:47:27+00:00
> Can you hand to your heart say that forcing people to pay for internet to receive and send de facto phone messages is somehow better?

Absolutely yes, I can say that, because the answer is to pay for unlimited service, not having some websites having free traffic and pay through the nose for all others.

And whatever Meta is doing, will prevent this unlimited service, where I can download 20GB each day and my bill stays the same.
by WhyNotHugo | 2025-06-23 09:47:31+00:00
> No need to just have just 1 model that maps 1:1 to your DB row. This applies to all languages

I agree with your stance, but creating lots of DTOs is more work and we developers are lazy. It's incredibly common to see a single "User" type used everywhere. This also makes all User-related functions re-usable in all contexts (again: it's the fast and lazy approach).
by garychalmers | 2025-06-23 09:48:48+00:00
Cursor forces you to switch to a different IDE (unless you'are already using VSCode), while Cloude-Code (or Aider) is simply a terminal that works in parallel to your current IDE, editing directly your project files. In my case the "IDE" is vim+tmux+bash and I prefer CLI assistants, but this applies also to people that uses a graphical IDE different from VSCode.
by ChrisMarshallNY | 2025-06-23 09:49:18+00:00
True, but locally-relevant entertainment often doesn’t export well, even if it is extremely well-done. That seems to be changing. Maybe the wider distribution is “commoditizing” personal tastes.

I should note that Germans weren’t the only ones operating subs in WWII (but they were definitely operating the majority of them), so the submarine experience wasn’t unique to Germany.

I also really enjoyed the new Shogun limited series. It deserved every award it got. I heard that the Japanese they spoke was period-accurate, so it was maybe the equivalent of an English-language Shakesperian movie.
by conradludgate | 2025-06-23 09:49:35+00:00
Hi, interesting project. Looking into the code, it seems that when the random round is Hash, you're not encrypting half of the chunk:

https://codeberg.org/CipherNomad/Ariadne/src/branch/main/cra...

You split the chunk in half, use right to derive the cipher material and then only apply it to left. This leaves right unchanged.
by DiogenesKynikos | 2025-06-23 09:49:40+00:00
Iran tried option 3 in 2015, when it agreed to the JCPOA, but Trump withdrew from the agreement and applied "maximum pressure" on Iran.

There were forces in Iranian politics who argued for making a deal with the US. They even won out in 2015. But now, they've been proven wrong, and the hardliners (who should perhaps now be called the "realists") were proven right. The US isn't a reliable partner, and is willing to rip up any deal Iran makes.