MurphyA/hacker-news huggingface dataset:
by crooked-v | 2025-10-15 18:46:28+00:00
The problem isn't really total weight, it's unbalanced weight. For comparison, see the BoboVR head straps for the Quest (https://www.bobovr.com/products/s3-pro), which look ridiculous and add a lot of total weight (especially with a battery), but are actually more comfortable than not having it, because they spread out and counterbalance the weight of the headset.

The Dual Knit Band may help AVP comfort, but I'm skeptical. To have a significant benefit it would need to have much stiffer side support so that the entire thing can lever the weight of the headset upwards and pull the center of gravity way back from the face.
by 0x457 | 2025-10-15 18:46:39+00:00
Hmm, I will be honest, I was either always close to a power outlet or it lasted long enough for me. You only need to tether if there is no Wi-Fi.

I have a 20000mAh with me when I intend to work remotely though. Either way cheaper than paying for another plan for iPad and buying a more expensive iPad.
by gdubs | 2025-10-15 18:46:41+00:00
I develop for the platform, so I make apps. [1]

As a user, I actually use it more today than when I first got it, because each visionOS update has really unleveled the capabilities of the device. I like watching movies on the ceiling, the spatial scenes / photos / videos are really fun, and generally viewing your Photos library on Vision Pro is on a different level. Even non-spatial content just takes on a different, more immersive quality.

I have a lot of friends in the developer community, and enjoy playing with their apps. Things like "Cell Walk" where you can explore a 3D volumetric representation of different types of cells.

The Apple Immersive short films they release every so often are phenomenal – really nothing like them in my experience.

It's nice to be able to edit a movie and throw it onto a big screen, or have a gigantic workspace.

1: https://youtu.be/gDrk2HkiDhs?si=KhZsXOahpHPsAQGf https://youtu.be/QcTiDBtCafg?si=mH_MWi8MENjm8veT
by criddell | 2025-10-15 18:46:52+00:00
13 w/ 512 GB + Pencil. I want the nano screen but that would require me to bump the storage to 1 TB and I don't need that. Instead, I'll get a paper-like screen protector. I've had good luck with those in the past.

If the Smart Folio Keyboard was still available, I'd buy that too. It's not, so I'm going keyboard-less for now.
by ddtaylor | 2025-10-15 18:47:25+00:00
For tricking AI you may be able to do a better job by just giving the variables misleading names. If you say a variable is for a purpose by naming it that way the agent will likely roll with that. Especially if you do meaningless computations in between to mask it. The agent has been trained to read terrible code that has unknown meaning and likely has a very high tolerance for dealing with code that says one thing and does another.
by paul7986 | 2025-10-15 18:47:28+00:00
Maybe Apple’s working on smart glasses — one with a display, one without — to rival Meta. Honestly, Meta’s glasses are cool… until they break. And they do break!

Meta’s biggest weakness? No in-person support. Unlike Apple, they don’t have stores where you can walk in and get help.

My two pairs of Meta Ray Bans are broke - one was hosed after a software update.
by tyleo | 2025-10-15 18:47:31+00:00
What is Universal Display?

The built-in MacOS feature that does this called continuity… but I know it was renamed once (used to be sidecar). Maybe you’re referring to an old name? Or is it a product?

Edit: I looked it up and it appears that the app is continuity and “Sidecar” and “Universal Control” are features. IDT those names show up in the OS UX though.

https://www.apple.com/macos/continuity/
by yalogin | 2025-10-15 18:48:37+00:00
Looks like everyone has the same complaint here about the device. Apple is not listening to its consumers and trying to push the device in directions that the users don't care about. I hope they make it a full fledged MacBook and just grabs that market. They can continue to push the "spatial computing" crap in parallel. I don't know what use cases or market fit the spatial computing has, but really having unlimited screens/space to work on is the main and best use case.
by KPGv2 | 2025-10-15 18:48:39+00:00
I haven't worked in a while with transcription, but whisper.cpp itself (which I assume is the underlying tech behind MacWhisper) does realtime transcription on my MBP with an M1 Pro chip. When I first started writing my last completed novel, I fired it up and just started telling the story to test it out. Realtime.

That was back in 2023. I assume things work better now.
by conductr | 2025-10-15 18:48:42+00:00
I find with these types of customers it’s always easier to just ask them to save files locally and grant me privileges to read the data. Sometimes they’ll be on Google, Dropbox, Microsoft, etc and I also run a SFTP for this in case they want to move them over to my service.

Then I either batch/schedule the processing or give them an endpoint to just to trigger it (/data/import?filename=demo.csv)

It’s actually so common that I just have the “data exchange” conversation and let them decide which fits their needs best. Most of it is available for self service configuration.
by bithive123 | 2025-10-15 18:48:51+00:00
I struggle to understand how people attribute things we ourselves don't really understand (intelligence, intent, subjectivity, mind states, etc) to a computer program just because it produces symbolic outputs that we like. We made it do that because we as the builders are the arbiters of what constitutes more or less desirable output. It seems dubious to me that we would recognize super-intelligence if we saw it, as recognition implies familiarity.

Unless and until "AGI" becomes an entirely self-hosted phenomenon, you are still observing human agency. That which designed, built, trained, the AI and then delegated the decision in the first place. You cannot escape this fact. If profit could be made by shaking a magic 8-ball and then doing whatever it says, you wouldn't say the 8-ball has agency.

Right now it's a machine that produces outputs that resemble things humans make. When we're not using it, it's like any other program you're not running. It doesn't exist in its own right, we just anthropomorphize it because of the way conventional language works. If an LLM someday initiates contact on its own without anyone telling it to, I will be amazed. But there's no reason to think that will happen.
by alecbz | 2025-10-15 18:48:54+00:00
Only skimmed the paper, but I'm not sure how to think about "length of task" as a metric here.

The cases I'm thinking about are things that could be solved in a few minutes by someone who knows what the issue is and how to use the tools involved. I spent around two days trying to debug one recent issue. A coworker who was a bit more familiar with the library involved figured it out in an hour or two. But in parallel with that, we also asked the library's author, who immediately identified the issue.

I'm not sure how to fit a problem like that into this "duration of human time needed to complete a task" framework.
by f311a | 2025-10-15 18:48:59+00:00
> - Long-form writing. Laptops work great for this too, of course, but you still need a separate keyboard if you want decent ergonomics. iPad doesn't have an attached keyboard taking up space that I could instead use for a separate keyboard.

The screen is still small. Also, for technical writing, I think a lot of software is missing. There are a lot of small tools that technical writers use to do diagrams, illustrations. Also, long-form writing can be in different file formats. I think support for LaTeX and typst is very limited.
by tialaramex | 2025-10-15 18:49:08+00:00
Note that despite this work in C++ you can't flip the script to if ("hello".contains(username)) unlike Rust

Rust will also let you: "FOO".contains(char::is_uppercase)

That's showing off three clever tricks Rust has that C++ does not, but one day it will just be compile time evaluated as true and that's one place C++ is richer today. Many other things in Rust can be but Rust's traits aren't today allowed to be compile time evaluated, so the fact that we could determine at compile time whether there's an uppercase letter in FOO isn't enough yet. One day.
by zingababba | 2025-10-15 18:49:23+00:00
The NCC attestation letter is wild:

F5, Inc. (“F5”) engaged NCC Group to perform (i) a security assessment of critical F5 software source code, including critical software components of the BIG-IP product, as provided by F5, and (ii) a review of portions of the software development build pipeline related to the same, and designated as critical by F5 (collectively, the “In-Scope Items”). NCC Group’s assessment included a source code security review by 76 consultants over a total of 551 person-days of effort.

Wonder what the bill was?
by craigds | 2025-10-15 18:49:41+00:00
Dovker on mac has one killer feature though: bindmounts remap permissions sensibly so that uid/gid in the container is the correct value for the container rather than the same uid/gid from the host.

the workarounds on the internet are like "just build the image so that it uses the same uid you use on your host" which is batshot crazy advice.

i have no idea how people use docker on other platforms where this doesn't work properly. One of our devs has a linux host and was unable to use our dev stack and we couldn't find a workaround. Luckily he's a frontend dev and eventually just gave up using the dev stack in favour of running requestly to forward frontend from prod to his local tooling.
by tracker1 | 2025-10-15 18:50:03+00:00
Not quite right... as there would still be 3 failures in the tests, like Haskel.

Realistically, I would expect to have a couple different methods available... one that split a string into groups of code segments that represent a single unit, and a display width of units (0-2). Alternatively another method that just counted the display width in numbers of character spaces (assuming mono-spacing). Then you could apply the padding more naturally.

The grouping of characters would be more for other tests for display beyond left padding.
by which | 2025-10-15 18:50:14+00:00
It took 10 years for Madoff victims to get most of their money back and he was literally just depositing the money into his checking account. He also almost certainly had much fewer victims than this guy did. Based on the complaint I think there may be a large number of international victims as well. This case will really test whatever claims process the DOJ has but hopefully some measure of compensation can be reached quickly. I suspect there are tens of thousands of scam domains and different addresses used so even identifying who to notify will probably be extremely difficult.
by irickt | 2025-10-15 18:50:30+00:00
Dennett, Darwins Dangerous Idea, p448

... No wonder Penrose has his doubts about the algorithmic nature of natural selection. If it were, truly, just an algorithmic process at all levels, all its products should be algorithmic as well. So far as I can see, this isn't an inescapable formal contradiction; Penrose could just shrug and propose that the universe contains these basic nuggets of nonalgorithmic power, not themselves created by natural selection in any of its guises, but incorporatable by algorithmic devices as found objects whenever they are encountered (like the oracles on the toadstools). Those would be truly nonreducible skyhooks.

Skyhook is Dennett's term for an appeal to the supernatural.
by jmrm | 2025-10-15 18:50:49+00:00
I really like how some good structures used by other languages, specially Rust and Zig, have been added to the newer C++ standard.

The Result, Optional, and Variant are really sweet for day-to-day use of the language, and those in-process standard libraries of SIMD operations, BLAS mathematical functions, and the the execution library looks really cool, specially as standard.

I would like C++ would be a little more "batteries included" in some ways, like having a basic standard for signals, networking (just handling sockets would be a huge thing), and some basic system calls.
by dgfl | 2025-10-15 18:52:00+00:00
It’s interesting that this matches _exactly_ the ChatGPT writing style. There’s clearly some human data and work behind, but the entire article has the usual “it’s not just X, it’s …”, bold emphasis on specific words, bullet points, and probably more that I’m just subconsciously picking up.

Nothing wrong with using ChatGPT for help of course, I just found it interesting and kind of ironic given the contents of the article. It would be even more interesting if this was the actual writing style of the author, since this must be what ChatGPT was fine tuned to adhere to. Is it the predominant style of communication in adtech?
by TZubiri | 2025-10-15 18:52:04+00:00
I feel that free software sometimes obsesses over the 1% when the 99% of their objective is achieved.

I make a parallel with politics and transparency, a software lead once told me that a completely transparent government was tried in the french revolution and it kind of didn't work. For example, we all would agree that there's some functions of government related to war and security that should not be transparent. I feel that free software would obsess over that private fraction because for all you know it might hold all of the secrets and evil that you imagine.

That said, it is possible that under the guise of reasonable need for private blobs/three-letter-agencies, a lot of other 'evil' things may be hidden. Maybe they say it's due to security or IP concerns, to provide protection against device tampering, to avoid pollution of radiofrequency spectrums, but it's possible that in reality they are hiding spying software in the wifi firmware and hardware keystores?

I feel that if the FSF recognizes that there's some areas that are ok to have closed source, then they could be taken seriously, otherwise they will just be ignored and leave room for precisely the kind of misuse of closed source that they fear. This is especially noticeable when they fight against projects that precisely do a lot for open source, like github (See GitLab/Savannah), or Android, they are 99% of the way there, give them a break.

Extremism begets extremism, if the jails are too full (or too empty), advocating for the other extreme will get you nowhere, the Overton Window doesn't quite apply, in fact it can be harmful as you are providing a real threat to the other extreme.
by Bender | 2025-10-15 18:52:09+00:00
That is the hardening I was referring to in sshd [1] itself. I updated my comment to clarify sshd_config. Without specifying permitopen and permitlisten one could for example access a service that for whatever reason does not use proper access and authentication controls such as an old installation of reddis listening on 127.0.0.1:6379. Something else to read up on is PermitTunnel and the global forwarding option of AllowTcpForwarding and AllowStreamLocalForwarding. Beyond that another thing to research is MaxSessions which can be abused by phishers that get a shell on ones laptop and facilitating the unlogged bypass of MFA/2FA.

Another option to read up on is "Match" which can modify options for specific users, groups, networks or ports. For example we can disable port forwarding for Bob and enable port forwarding for Alice.

To further limit what that host can talk to one can use the Netfilter "owner" module to limit outbound connections by user or group. So for example only the LDAP user can talk to the LDAP server.

# sshd -T | grep permit[l-o] permitopen 10.10.1.1:80 permitlisten 10.10.1.1:80

Each org may have different audit and regulatory requirements that determine which if any of these options are utilized. Development orgs and small startups rarely use any of them due to perception of friction.

[1] - https://man7.org/linux/man-pages/man5/sshd_config.5.html
by jasonthorsness | 2025-10-15 18:52:31+00:00
It's sort of like a cleaner approach to a C# SelectMany where you return either an empty array or a single-item array?

C++ keeps getting more stuff but it's clear a lot of thought goes into these additions. I think a "living" language has proven better over time (C# evolved heavily and borrowed from other languages, C++ does as well, maybe lately concepts from functional and Rust?) Go might be the big exception that evolves super-slowly.
by intended | 2025-10-15 18:52:37+00:00
Sadly my friend, the fact is that we are hosed.

Retraining is a pipe dream which will be sold for another 5 years, till most people are underemployed.

This is what happened to factory workers, and to an extent is going to happen to knowledge workers.

The real menace is hidden in the details though - knowledge work is assumed to have one core component - information. Accurate information.

In reality it has two - emotional salience and informational accuracy.

LLMs generate content- I foresee a future where people are underemployed as output verifiers. So a PhD in physics helps you QC an LLM.

The only job left is to own a firm, but even that will be closed because you will either be selling to capital owners or the majority of humanity.

The only hope of technology is that it creates a revolution which upends the preexisting incumbents. But the issue here is the under employment.
by AlexandrB | 2025-10-15 18:53:18+00:00
I think there's a danger in removing art from any kind of market mechanisms because it can lead to some very navel-gazing output that appeals to very few. In the long term, this kind of art would lead to making this kind of UBI unpopular and would undermine the whole thing. Not a lot of taxpayers are going to be on board with paying someone to can their own feces[1] or submerge religious icons in piss[2] for example.

[1] https://en.wikipedia.org/wiki/Artist%27s_Shit

[2] https://en.wikipedia.org/wiki/Piss_Christ
by foresto | 2025-10-15 18:53:19+00:00
> As far as I'm aware, their flagship Xperia phones do support bootloader re-locking [1].

The last one I tried (xperia z1 compact) bricked itself when I tried to re-lock the bootloader. Maybe it's safe on newer models?

If they ever make another good compact model, I suppose I should look for re-locking reports on it. Thanks for the link.
by dizzant | 2025-10-15 18:53:28+00:00
An underrated reason to remove eligibility testing is to make programs accessible for people in poverty. Navigating a means-tested welfare program is byzantine in the worst way-- accessing and submitting countless forms with confusing, often ambiguous or incomplete instructions; standing in long lines at specific times/locations far from the city center to get help or make progress; complete lack of process transparency; and dependence on faceless bureaucrats to decide your fate.

My family once had to navigate Medicaid. I was well-resourced, understood the expected outcome thoroughly, was motivated to get it done, and committed the time to follow the required process. When our initial application was mishandled due to inaccurate guidance, it took over 2 years of persistent failed communications with the various county, state, and federal agencies, back-office middlemen, doctors, and legislators to get any response beyond "apply again and hope for the best", which we did several times to no avail. In the mean time, having a Medicaid application open changes the availability of medical care, as some doctors will not or cannot by law accept additional Medicaid patients. Eventually by some mild social engineering I procured direct access to a specific empowered bureaucrat who had knowledge of a separate set of applicable rules/processes and resolved our case immediately.

Most people in poverty do not have the time, attention, or stamina to persist through means testing on top of struggling against whatever landed them in poverty in the first place. Every time I visited the county office, I would hear someone complaining about how they had applied 8 times without success for a program everyone in the room agreed they should qualify for. Means-testing is designed, by popular demand, to make accessing benefits difficult for the sake of spending less. UBI, for all its faults, at least addresses that problem.
by ltratt | 2025-10-15 18:53:42+00:00
We don't exactly want Alloy to have to be conservative, but Rust's semantics allow pointers to be converted to usizes (in safe mode) and back again (in unsafe mode), and this is something code really does. So if we wanted to provide an Rc-like API -- and we found reasonable code really does need it -- there wasn't much choice.

I don't think Rust's design in this regard is ideal, but then again what language is perfect? I designed languages for a long while and made far more, and much more egregious, mistakes! FWIW, I have written up my general thoughts on static integer types, because it's a surprisingly twisty subject for new languages https://tratt.net/laurie/blog/2021/static_integer_types.html
by teiferer | 2025-10-15 18:53:59+00:00
It's possible to feel empathy and at the same time pointing out the consequences of somebody's choices.

If my kid places his hands on a hot stovetop then I feel a lot of empathy and will obviously comfort him. But I won't run around claiming to the world that external forces made him do it. It was his choice. If it was his first time and/or nobody told him that it's a bad idea then there is limited responsibility, but otherwise it's squarely on him. Despite me feeling and expressing empathy.
by amaranth | 2025-10-15 18:54:10+00:00
A 2080 is about the same performance as a 5060 and every game is going to be able to run on a 5060. You might not be running it at 4K Ultra with ray tracing enabled but you should be able to run at like 1080p High or better.

Whether or not the M5 GPU is actually capable of that level of performance or whether the drivers will let it reach its potential is of course a completely different story. GPU performance is hard to estimate based on raw specs, you just have to run benchmarks and see what you end up with.
by constantcrying | 2025-10-15 18:54:14+00:00
The most basic premise of UBI is the universal part. None of the arguments for it function at all, if it is handed out selectively.

The arguments for UBI are that it effectively requires no bureaucracy and can not be gamed, while providing basic needs for all people. If you are doing needs based analysis, you are just back to a regular social system, which requires bureaucracy and will be gamed.

If some government decides to do UBI, than it actually has to do UBI and not just add another layer of social spending on top of an already sprawling social system.
by resize2996 | 2025-10-15 18:56:12+00:00
Eventually, some of these companies will realize that a well-managed customer service org is a profit center and they will get an enormous amount of business. Unfortunately, they'll all keep fucking over customers until they realize that accepting life in the crab bucket is a negative-sum game.

I'm considering going back to school to write a "Google Fi 2016-2023: A Case Study in Enshittification" thesis but I'm not sure what academic discipline it fits under.

(I'll say it again for those in the back, if you're looking for ideas, there's arbitrage in service.)
by darepublic | 2025-10-15 18:56:23+00:00
A good candidate is niche frameworks.. where most of the data about usage are limited to few domains and not many sources. Could maybe have middling popularity (popular lang, strong representation on its focused problem). Recent examples of this in my experience: Kafka connector and PowerPoint lib (marp). Few sources and the llm hallucinated on these. So maybe a poisoned source would be more likely to pop up in llm suggestions
by vsgherzi | 2025-10-15 18:56:30+00:00
No has seemed to call it out yet but swift uses a form of garbage collection but remains relatively fast. I was against this at first but the more I think about it, I think it has real potential to make lots of hard problems with ownership easier to solve. I think the next big step or perhaps an alternative would be to make changes to restrictions in unsafe rust.

I think the pursuit of safety is a good goal and I could see myself opting into garbage collections for certain tasks.