MurphyA/hacker-news huggingface dataset:
by gandalfian | 2025-10-15 14:17:35+00:00
People leave out that when the wholesale electricity prices are above the Government guaranteed price the Government makes a profit on selling the wind electricity. So in this example when the grid is full to the brim with wind energy but there is still a demand for last resort gas backup generators the wholesale price of electricity must be high and the government is minting money from the wind turbines, even while paying some to turn off... This is not always the case. But it would be interesting to hear, taking into account the high electricity prices since the Ukraine energy crisis, how much the Government makes from selling the power at a profit and renting the sea floor to the turbines, minus the subsidies paid when prices are low or the wind turbines have to be turned off. It's hard to make a judgement on the economics of it all without knowing this. We may be paying far less for subsidised wind power than we think.
by vladms | 2025-10-15 14:17:57+00:00
I find it quite ironical that while discussing the topic of logic and correct answers the OP talks rather "approximately" leaving the reader to imagine what he meant and others (like you) to spell it out.

Yes, I thought as well of your interpretation, but then I read the text again, and it really does not say that, so I choose to answer to the text...
by CalRobert | 2025-10-15 14:17:58+00:00
A €700,000 home has annual LPT around €618, depending on the council. https://www.revenue.ie/en/property/local-property-tax/valuin...

To me, a tax of under 0.1% is pretty close to 0. If only ETF's enjoyed the same treatment, it might be easier to save up for a deposit!

We agree that scarcity is what makes houses more expensive.

Edit: I can't reply to below but ETF's suffer from deemed disposal, where even unrealized gains are taxed at 41% after holding them for 8 years. https://irishfinancial.ie/how-you-calculate-deemed-disposal/
by CaptainOfCoit | 2025-10-15 14:17:59+00:00
Now you made me unsure, so skimmed https://www.youtube.com/watch?v=SrsWUmiayLM for a bit, which seems to me to confirm it's just horizontal camera movement. But there seems to be a zoom in/out functionality, which would move the camera in/out+vertically, but that's different than rotating around the character freely. The camera also does a ton of vertical movements by itself too, as Mario jumps/falls.
by hannesfur | 2025-10-15 14:18:04+00:00
It’s unfortunate that this announcement is still unspecific about what they improved in the Neural Engine. Since all we know about the Neural Engine comes from Apple papers or reverse engineering efforts (https://github.com/hollance/neural-engine), it’s plausible that they addressed some quirks to enable better transformer performance. They have written quite interesting papers on transformers on the Neural Engine:

- https://machinelearning.apple.com/research/neural-engine-tra...

- https://machinelearning.apple.com/research/vision-transforme...

Things have definitely gotten better with MLX on the software side, though it still seems they could do more in that area (let’s see what the M5 Max brings). But even if they made big strides here, it won’t help previous generations, and the main thing limiting Apple Intelligence (in my opinion) will continue to be the 8 GB of unified memory they still insist on.
by NoGravitas | 2025-10-15 14:18:06+00:00
> A free OS will empower developers to implement technical workarounds that could trick these apps into working there.

Not if they require something like hardware-backed remote attestation, and only accept such attestation from Google or Apple.

I'd love a practical Linux phone, and being able to run a deblobbed close-to-mainline kernel on a new-ish phone would help with that, but that doesn't really solve the most user-facing problem of mobile phones, the ecosystem lockdown.
by mapontosevenths | 2025-10-15 14:18:30+00:00
You nailed it. It's just not really a social experience OOTB. There are apps you can use to place multiple viewers in the same virtual space (similar to the ones on the quest), but it's just not "social" in the way that a real theater is and to do that locally would cost a fortune and be awkward and pointless.

That said, I entertain less than I watch movies alone. It's probably not worth giving up an entire room in my house for the handful of times per year that I actually entertain. My home theater is mostly just about my quest for perfection when enjoying the films that I love. If/when I can get that out of a headset... cool.

Ideally it will have real Dolby Vision/Atmos and all of the other things high end home theater equipment is expected to have, and right now the AVP doesn't. Between the reflection issues, lack of Dolby Vision, etc it's only like 80% of the way there.
by sixothree | 2025-10-15 14:18:31+00:00
And a "pro" computer that comes with half a tb of storage by default with a $200 premium for another 0.5 tb of storage. Oof. Just gross.

I know people complain at every release. But I look at the three choices presented and they are all disappointing to me. It's a huge turnoff to see the only initial differentiator presented to be a choice between "measly" amounts of RAM and storage to "barely acceptable" amounts.

To get even close to the specs on my Surface Pro I'd have to hit the configurator and spend at least $1000. Even more to hit the config of my work issued HP notebook.
by woodruffw | 2025-10-15 14:18:44+00:00
I don't think the problem is CI/CD runs on pull requests, per se: it's that GitHub has two extremely similar triggers (`pull_request` and `pull_request_target`). One of these is almost entirely safe (you have to go out of your way to misuse it), while the other is almost entirely unsafe (it's almost impossible to use safely).

To make things worse, GitHub has made certain operations on PRs (like auto-labeling and leaving automatic comments) completely impossible unless the extremely dangerous version (`pull_request_target`) is used. So this is a case of incentive-driven insecurity: people want to perform reasonable operations on third-party PRs, but the only mechanism GitHub Actions offers is a foot-cannon.
by alephnerd | 2025-10-15 14:18:54+00:00
My SO's family is from the portion of Gia Lai neighboring Cambodia. Gia Lai itself is fairly poor, but ime the neighboring half of Cambodia is even poorer and desperate.

It's the same story in the Mekong Delta as well (having had to go to extended family weddings in rural An Giang).

And calling out the relative lawlessness in Cambodia is not racism in any shape or form. Based on your comment history, it seems you are reflexively defensive about Cambodia to a startling degree.

Cambodia was dealt a bad hand, but so was Vietnam and Laos as well, yet neither have the same degree of institutionalized criminality that you see in Cambodia.

The problem at the end of the day lies with the country's leadership, and a quasi-reformed Khmer Rouge member like Hun Sen just isn't the right leader to help Cambodia develop out of the LDC category.

Heck, Bangladesh (historically a peer of Cambodia) was also formed due to a tumultuous history and severe instability in the 1970s-90s, but concentrated on state capacity development - something which Cambodia's leadership thumbed their nose at in the 2010s.
by toomuchtodo | 2025-10-15 14:19:29+00:00
If it could exist during our lifetime, assuming the capture and storage of encrypted message streams is trivial to well resourced threat actors (nation states), if the cost is reasonable to implement quantum mitigations it is reasonable and prudent from a risk management perspective to do so.

The worst case scenario is nation states consuming and storing these encrypted message streams, and suddenly achieving the ability to rapidly decrypt everything previously captured and stored a la "No more secrets."
by jaredklewis | 2025-10-15 14:19:43+00:00
I’m already aware of that. I don’t love gerrymandering, but it’s categorically different IMHO. Gerrymandering is an abuse of the system, but it is still working within the system.

That’s in stark contrast to the current, mainstream Republican ideology which dictates that if Republicans lose, then the election must have been “rigged,” which is more like burning the whole system to the ground.
by pico303 | 2025-10-15 14:20:41+00:00
Same boat, and 100% agree. I couldn’t find a single example of Windows or Windows software where I think the experience is in any way better. Windows only saving grace, as a developer, is WSL.

For a simple example, no app remembers the last directory you were working in. The keys each app uses are completely inconsistent from app to app. And it was only in Windows 11 that Windows started remembering my window configuration when I plugged and unplugged a monitor. Then there’s the Windows 95-style dialog boxes mixed in with the Windows 11-style dialog boxes; what a UI mess. I spoke with one vendor the other day who was actually proud they’d adopted a ribbon interface in their UI “just like Office” and I verbally laughed.

From a hardware perspective, I still don’t understand why Windows and laptop manufacturers can’t get sleep working right. My Intel MacBook Pro with an old battery still sleeps and wakes and lasts for several hours, while my new Windows laptop lasts about an hour and won’t wake from hibernate half the time without a hard reboot.

I think Windows is the “good enough” for most people.
by kryllic | 2025-10-15 14:21:43+00:00
Probably don't want to draw more attention to their ongoing lawsuits [1]. Apple, for all its faults, does enjoy consistency and the unruly nature of LLM's is something I'm shocked they thought they could tame in a short amount of time. The fallout of the hilariously bad news/message "summaries" were more than enough to spook Apple from allowing that to go much further.

>Built into your iPhone, iPad, Mac, and Apple Vision Pro* to help you write, express yourself, and get things done effortlessly.** Designed with groundbreaking privacy at every step.

The asterisks are really icing on the cake here.

---

[1] https://news.bloomberglaw.com/ip-law/apple-accused-of-ai-cop...
by fennecfoxy | 2025-10-15 14:21:44+00:00
This is why I love Samsung for DEX. It's not perfect but it's actually fairly usable when travelling. Can even use it wirelessly with a compatible display (which sometimes hotel TVs are).

I'm very excited for stuff like smart glasses ever single Glass, meta's new stuff is awesome in terms of slimming things down but the real excitement is the wristband for input. Looks like we'll be solving the display/input problems soon enough.

They seemed resistant to the idea of a compute puck but I honestly think that's fine. I'd rather have a phone in my pocket that can be used for compute than bulkier glasses, though it is nice if future glasses can do very basic tasks unaided.

I hope that pretty soon I won't even need a laptop for out of hours tasks (but would still use one for the standard work day most likely).
by philistine | 2025-10-15 14:22:07+00:00
Knowing Apple, they'll never allow a use case where you have to restart your Vision Pro or iPad to get it into Mac mode, most assuredly losing cellular access in the mean time.

Apple is already offering apps that work on all devices on their stores. Look at every single Apple Arcade release as an example. That's their vision; every device has a specific UI, but apps can run on all of them separately.
by kstrauser | 2025-10-15 14:22:10+00:00
Yes, because every one of our customers will be emailing me today with a questionnaire:

* Are we affected?

* What’s our timeline for fixing this?

* Have we asked all of our vendors the same questions?

(This doesn’t affect us in any way. If it did, I’d be scrambling to patch it so that our customers would relax.)
by kotaKat | 2025-10-15 14:22:15+00:00
Surprised they aren’t beating the “performance per watt” drum they normally would be on Mx releases. I’m assuming this will be a bit of a snoozer until the M5X/M5 Ultra or an M6 hits the pipeline.

If anything, these refreshes let them get rid of the last old crap on the line for M1 and M2, tie up loose ends with Walmart for the $599 M1 Air they still make for ‘em, and start shipping out the A18 Pro-based Macbooks in November.
by fruitworks | 2025-10-15 14:22:25+00:00
Consoles are dying and PCs are replacing them. Like the original commenter suggested, people want to run PC games. The market has decided that the benefits of compatibility outweigh the added complexity. On the PC you have access to a massive expanding back-catalog of old software, far more competition in the market, mods, and you're able to run whatever software you want alongside games (discord, teamspeak, game streaming, etc.).

Macs are personal computers, whether or not they come from some official IBM Personal Computer compatibility bloodline.
by zamadatix | 2025-10-15 14:22:28+00:00
Even at 1.8x the base memory bandwidth and 4x the memory capacity Nvidia spent a lot of time talking about how you can pair two DGXs together with the 200G NIC to be able to slowly run quantized versions of the models everyone was actually interested in.

Neither product actually qualifies for the task IMO, and that doesn't change just because two companies advertised them as such instead of just one. The absolute highest end Apple Silicon variants tend to be a bit more reasonable, but the price advantage goes out the window too.
by Insanity | 2025-10-15 14:22:40+00:00
Yeah I love my M1 iPad Pro. But the "liquid glass" update made it feel slower. Really only the 'unlock' feels slower, once I'm using it it's fine. But it's slightly annoying and does make me want to update this year to the m5.

But it's a glorified Kindle and YouTube box, so I'm hesitating a little bit.
by lostmsu | 2025-10-15 14:22:40+00:00
There's a huge footgun in that article that has broader impact:

> but it gets worse. since the workflow was checking out our PR code, we could replace the OWNERS file with a symbolic link to ANY file on the runner. like, say, the github actions credentials file

So git allows committing soft links. So the issue above could affect almost any workflow.
by lingrush4 | 2025-10-15 14:22:55+00:00
> Many people people dealing with burnout, mental or physical problems, could ease up and work part time.

This is precisely why UBI (also known as socialism) is unsustainable. Most people don't want to work. If you disincentivize them from working, many of them will stop. And then there will not be enough taxpayers to support the government handouts anymore.
by sirwhinesalot | 2025-10-15 14:22:59+00:00
I don't know if it is the paper you are thinking of (likely not) but this idea of checking predictions against outcomes is a very common idea in less mainstream AI research, including the so called "energy-based models" of Yann LeCun and the reference frames of the thousand brains project.

A recent paper posted here also looked at Recurrent Neural Nets and how in simplifying the design to its core amounted to just having a latent prediction and repeatedly adjusting that prediction.
by pessimizer | 2025-10-15 14:23:08+00:00
Why would the FSF be working on a problem that has absolutely no technical element? What exactly do you want them to tell your bank and your government? Why exactly can't you tell your bank and your government that?

> that is where I feel they could truly make the biggest difference for freedom for the average user.

By doing what exactly? Telling your government to change their ID policies? You seem to be complaining at your health food store about the nutrition of McDonald's food, because most people eat at McDonald's and that's where they would make the most difference.
by SideburnsOfDoom | 2025-10-15 14:23:09+00:00
FYI, the fixed versions were released yesterday, the 14th, in the October 2025 "Patch Tuesday"

at https://dotnet.microsoft.com/en-us/download/dotnet

They are 8.0.21 and 9.0.10

https://github.com/dotnet/core/blob/main/release-notes/8.0/8...

https://github.com/dotnet/core/blob/main/release-notes/9.0/9...

as per https://github.com/dotnet/aspnetcore/issues/64033
by dathinab | 2025-10-15 14:23:27+00:00
the problem is if the money they get isn't as simple as "the current salary"

also the chance that they a) don't have a sentiment about meta, b) ex-colleges they have good relations too and c) now about some internal workings is close to nothing

a) a is bad no matter if it's a positive or negative

b) is very bad, it pretty much guarantees some degree of non objective actions. Like in positions like lobbyist it's never "just bussiness" it's always about positive connections reinforced by positive interactions not "big" enough to be bribes but also not nothing. Which might be related to how they got this job.

c) is a potential even bigger problem, if the sentiment is negative this insider knowledge could be used to harm meta, which in turn gives meta munition to sue and hinder regulatory actions and for a positive sentiment they might subtle change decisions because they know how they "happen to unluckily collide with how meta does things" and similar. But they really shouldn't do that.

Worse even if the person acts perfectly neutral meta can try to fight/delay legislation just by "claiming" this person did abuse insider knowledge.

Lastly how do you know that there isn't an unofficial deal that meta will pick them up again with a superb salary after they happened to do subtly meta friendly politics.

Like don't get me wrong, the person might be cable to act neutral and there might not be any under the table agreements. It's even quite likely. But it's a pretty bad idea anyway because it stinks of corruption no matter if it actually involves corruption.

And it's not like Irland has a problem with decisions biased in benefit for big US tech they have even been sued over by the EU....
by outcoldman | 2025-10-15 14:23:28+00:00
Marketing:

M5 announcement [1] says 4x the peak GPU compute performance for AI compared to M4. I guess in the lab?

Both iPad and MBP M5 [2][3] say "delivering up to 3.5x the AI performance". But all the examples of AI (in [3]), they are 1.2-2.3X faster than M4. So where this 3.5X is coming from? What tests did Apple do to show that?

---

1. https://www.apple.com/newsroom/2025/10/apple-unleashes-m5-th...

2. https://www.apple.com/newsroom/2025/10/apple-unveils-new-14-...

3. https://www.apple.com/newsroom/2025/10/apple-introduces-the-...
by lou1306 | 2025-10-15 14:23:29+00:00
What makes Mac great is/was the ecosystem of 3rd party tools with great UI and features. Apple used to be good enough at writing basic 1st-party apps that would mostly just disappear into the background and let you do your thing, but they are getting increasingly "louder" which... may become a problem.

I still agree that second hand Thinkpads are ridiculously better in terms of price/quality ratio, and also more environmentally sustainable.
by ulrikrasmussen | 2025-10-15 14:23:36+00:00
The timing of this is also really important, as the EU is currently planning on rolling out mandatory app-based age verification, and currently it looks like the solution will be locked to Apple and Google phones "for security reasons". I have contacted my own government, and their answer is that they currently do not plan to support alternatives only used by a minority of citizens (absurd statement coming from a government agency). Having a major OEM actually offer a native non-Google Android phone will be really important to be able to put pressure on governments to stop locking their citizens into American big tech platforms because of will be a lot easier to argue that it is anti-competitive (which it always has been, but governments apparently don't consider postmarket operating systems as even part of the competition).
by bogwog | 2025-10-15 14:24:04+00:00
https://grapheneos.org/articles/attestation-compatibility-gu...

That page seems to be saying the opposite: hardware attestation would support GrapheneOS, whereas the Play Integrity API would not.

Anecdotally, both of the banking apps I use 'just work', and I haven't encountered any app that doesn't work. The closest thing was the Disney parks app a few years ago which would crash on launch until I disabled the hardened malloc feature for it.
by nyrikki | 2025-10-15 14:24:12+00:00
No, the belt trick is about the fundamental group of SO(n) where n>2 is Z_2and the fact that a 4pi rotation is homotopic to the identity.

It is often introduced as RP^3 being isomorphic to SO(3) and as RP^3 is not simply being connected thus SO(3) cannot be.

They don’t explain why until students have the ability to deal with 4D 3-spheres being projected on 4D hyperplanes.

You can build an intuition with a 2-sphere being projected through the origin onto a 2d plane. This will demonstrate how the antipodes are not uniquely identified.

If you go from SU(2), which is the double cover of SO(3) you can use basic algebra to reduce it to a^2+b^2+c^2+d^2=1 where a,b, and c are your free variables and figure it out.

It works well without that complexity at lower levels because people are actually rotating the clopen set, which is only allowed to be the entire body or the empty set.

The 4pi symmetry applies to the topological properties of neurons and the plate trick in the real world because you are translating a portion or a property of the body and not the entire body.

Same thing on how they don’t introduce Tori topology when using Euler angles.

Pick up basically any topology or Lie algebra book targeted at first year grad students and the topic will be covered.

Bredon’s Topology and Geometry is one I personally like.
by exabrial | 2025-10-15 14:24:17+00:00
> A nearly 30 percent increase in unified memory bandwidth to 153GB/s

I'll believe the benchmarks, not marketing claims, but an observation and a question.

1. AMD EPYC 4585PX has ~89GB/s, with pretty good latency, as long you use 2xdimm

2. How does this compare to the memory bandwidth and latency of M1,M2,M3,M4 in reality with all of the caveats? It seems like M1 was a monumental leap forward, then everything else was a retraction.
by billy99k | 2025-10-15 14:24:23+00:00
This is starting to remind me of the switch from ASM -> C or more recently, the switch from pure HTML/Javascript to frameworks.

Technology advances and if you don't follow the advancements, you will suddenly find yourself laid off with no job prospects.

This happened to my cousin last year. He's in his early 50s and was the subject matter expert on decades old technology, which nobody really uses anymore. He was laid off and when he tried to get another software development job, many interviewers laughed at him for his outdated tools and techniques he used.

He ended up getting a job as a mechanic and will most likely not get back into IT.
by cudgy | 2025-10-15 14:25:08+00:00
“My current preference is a guaranteed educational/training stipend for any unemployed adult who wants one, and changing the standard career advice for the next generation from "learn to code" to "learn to startup".”

I agree with this sentiment in the short term for people that have coding or startup skills already. We may need to ask ourselves at some point. Why work for a company when I can use AI to create a competitor to my employer in two months?.

However, this is not a long-term solution as not everyone can be a startup. Startups fail at a huge rate and they’re gonna fail even more and more startups and more people are competing to be startups. Startups don’t pay money until they start making a profit which could be years, so it’s not a legitimate replacement for a current position. This seems like a very, very competitive low, low cost of entry race to the bottom type of market so many of the benefits may quickly disappear.
by matthewdgreen | 2025-10-15 14:25:18+00:00
>I think the age control attempts are much more interesting and consequential.

Exactly. The age verification and the "human identification" problem are the same problem. Anyone who thinks this tech/policy ends with identifying 16-year olds is out of their depth. Everyone, including governments and adtech firms, is planning for a world post-AI whether they're smart enough to realize it or not. I'm just worried about the details of that world.