skysight-inc/HackerNews huggingface dataset:
Some of these comparisons are a little lackluster - sure, the issues may be relatively easy to reproduce if you translate the C code 1:1 to (unsafe) Rust, but you wouldn't even have such code in the first place if you wrote idiomatic Rust:

- Confusing different integer types is much harder not only because the type checker will complain, but also because you don't really come across anything other than usize/isize unless it's a field in a protocol or something.

- Strings in rust are not zero-terminated, so that specific example might not even happen at all.

- Integers, pointers and references are not implicitly cast to booleans, so you can't accidentally mix up comparing a pointer to NULL (which is only ever required for FFI calls) and comparing an integer to 0.

- You have proper types to indicate that a function encountered an error, so all the issues stemming from checking the integer return code the wrong way (e.g. interpreting an error value as a return value) don't exist.

- You simply don't have to invoke potentially dangerous functions like `memcpy` because there are abstractions that take care of this safely and more intuitively.

That's not to say that idiomatic Rust code wouldn't come with its own problems, but they tend to be much more concentrated to fundamental logic bugs rather than silly avoidable things like overflows or misinterpreting values.
It'll be interesting to see where the gitoxide[1] project goes, being a rust implementation of git

[1] https://github.com/Byron/gitoxide/
Antitrust law isn't a solution here. Many different surveillance companies keeping records on us creates the same problems (if not more) as a few companies. The fundamental problem is that we have no ability to choose which of these companies we want to associate with.

What is sorely needed is privacy legislation that says that data about an individual is fundamentally the property of that individual, and that the license for commercially storing/processing an individual's data can be revoked at any time. Having choices is the requisite first step to having competition.
When that user has died or otherwise doesn't exist, then it's hard to blame them. The only remaining thread of blame leads to Apple.
If it's a known issue? Or if it's a potential issue?

All that will happen is that the second hand value of Apple devices will go down, because recyclers will assume X % are basically scrap.
And yet, Canada's TFR is only 1.4 in spite of generous parental leave, free healthcare and free education. What gives?
only due to the systemic waste apple has created by designing the system in this way
What else would it be referring to? Glancing at the top of the readme I don't see eg an acronym spelled out.
Firefox notoriously has bad performance on Linux compared to Chromium. Chromium does a pretty good job at implementing new hardware acceleration features while Firefox just got around to it like a year ago and it is still no where as performant. There is noticeable delays for me on Firefox when doing things like resizing windows in a tiling window manager as well.
A pity Debian Bookworm went into code freeze last week. So much really really good stuff here. I dont know how strict the freeze is, whether there's any push or drive for such base system capabilities to get just-a-little-more.
If the problem is the "throwing out" part, they can just give it to Apple for recycling. Then it won’t be e-waste anymore. Or to the police and let them deal with it.

If the problem is the financial part, just go back to the person they bought it and get the money back.

If they're taking a risk and buying it legally from, for example, a police auction, or from someone who "might have forgotten to contact the owner": it's a risk.

If it was acquired illegally, I can't say they deserve a solution to their problem.

Nobody is entitled to get money in exchange for potentially stolen goods or items acquired without due diligence.
meh, just keep your existing remote WFH job, but have your home be in Zürich. You might need to work some offset hours to keep your meetings. Now, you're just on a tourist visa. Check it out for however long your tourist visa allows, and then if you don't actually like, it's a lot easier to leave. One step closer to being a digital nomad
I get the impression they just don’t care. Gave up. Maybe the fines are less than compliance.
HiFive Pro P550
It might be interesting to go through the apps you have installed and see how many don’t work as web apps. For me it’s about 10%, basically Signal and apps which use Bluetooth to configure things and which I use almost never.
I remember playing the two towers growing up

My internet/pc were never enough to run games but good enough to run a t2t client.

brings me back
Per [1], PWAs on webkit lacks push notifications, full-screen display, hardware acceleration, web bluetooth as major headline features needed, which Firefox on mobile appears to generally support per a 5-second glance (I didn't see web bluetooth, but the rest I did) [2].

That wikipedia page has a support table saying IOS supports PWAs as YES and Firefox as NO is odd considering Apple requires Mozilla to ship a crippled form of safari on IOS, if Firefox could ship their own true application, I suspect they would have better PWA support as a differentiator with Safari.

[1] https://thenewstack.io/owa-takes-on-apples-browser-ban-for-p...

[2] https://developer.mozilla.org/en-US/docs/Web/Progressive_web...
The legal owner is the only entity that gets to decide if the device should be sold or not.

A person who is temporarily assigned the use of a company machine will not be able to prevent the legal owner of the machine from turning off activation lock.
who cares about the earth or reusability when I can stick it to the errant thief once
I'm mainly working on one video game and one board game design at the moment, mostly the video game right now. Sometimes if I want a break from the game I'll do a tiny bit of work on a library that should facilitate future web game development, or trying to get a personal site up again to showcase all my games (including past ones that have been released and videos for board game prototypes I've pitched to publishers before).

I do have a list of what to work on next after that, though. I did used to try to juggle a lot more and bounce amongst several projects at once, but it's been too long since I've released something, so I've got to knock it off for a little while. But if I don't scratch the creative itch when it strikes at least as far as some notes and some card ideas or something, then I start feeling pretty stuck, since a lot of my current game is just getting all the UI running and polished right now, not exactly super creative stuff.
Top posting because this thread is full of talk about the owner giving permission to unlock.

Wiping is the right concept here. Unlocking is not.

Sure, yes, you need to unlock in order to wipe. Duh.

But unlock is not sufficient to prevent harm.

The owner of the laptop does. fucking. not. have the right to give away the private information of other people that is stored on the laptop. Photos, contact info, private communications, etc., etc.

Wipe, not just unlock. Let’s use the words that fit the end that needs to be reached, not just one step toward that end.
This is already happening in this small community I made on reddit, lol

https://robswc.substack.com/p/chatgpt-is-inadvertently-spamm...

On a _much_ smaller scale though.
There should be a way to remove all ads from HN on the account level.
Personally, I think this would be fantastic.
No, Apple cannot unlock the machine and that is the point. No government can compel Apple to decrypt anything. If you trade in an old device with Apple they provide detailed instructions more then once on unlocking and wiping before shipping. If you do not follow them, you do not get your trade in credit.
What would that entail?

Note that HN's page structure (table-based design) makes some things in pure CSS ... challenging.
For clarity, is it only the face that’s faked?
Don't worry, it won't be small shops doing it. It will be the majors, if that's where the money is.

To quote Yan LeCun:

Meta will be able to help small businesses promote themselves by automatically producing media that promote a brand, he offered.

"There's something like 12 million shops that advertise on Facebook, and most of them are mom and pop shops, and they just don't have the resources to design a new, nicely designed ad," observed LeCun. "So for them, generative art could help a lot."

https://www.zdnet.com/article/chatgpt-is-not-particularly-in...
I'm running Nextcloud on a shared webhosting and have mounted a Hetzner storage box as external storage into it. That comes down to around 7 €/month for hosting costs, which I find fair.

I'm using the Nextcloud Android client, which could be better but does its job, to sync photos from my phone to the cloud. That can also be configured quite nicely to have specific folders for uploads, that should help you with keeping stuff seperate with several devices.

I've no experience with the office suite to be honest, never really looked into that.

Using shared hosting will come with the benefit that you will, most likely, have custom TLD to run your mail from/to. Shared hosting also does regular backups without you taking care about that etc. etc.

I'd say you should get yourself a Hetzner "Level 4" shared webhosting for domain, mail and "root" of the Nextcloud and then mount a storage box into that. Should be around 9 €/month then.
Presumably a car is valuable enough that even a large company would be willing to spend several minutes unlocking each to get the full second hand value.

While computers have more confidential data. The article implies that the big company sold them to be destroyed.
Minesweeper CSP Java implementation using communicating sequential processes
I created my resume by building a one page website and having some script print it to PDF. Worked great, and was a nice talking point for interviews, until many years later I npm installed and it stopped working
Those blogs already exist. Pretty much 90% of the results I see in Google for non-technical household related queries. Just incoherent rambling that sounds plausible but is complete nonsense.
you really dont? how about 5 years from now? 10? can your laptop ever be reused?
You don't have to cynically exploit your customers just because that's what other businesses do. If you can make an excellent product that solves a real problem and charge a reasonable price for it you'll likely do pretty well. Sure, other people will become immensely successful by cheating or by gaming the system in some way. But what difference does that make? Just do your own thing.
Bitwarden Open Source Security Explained
I'm not trolling at all.
As i replied to the other comment, there are zero systems that can't be worked around.
There are zero good systems where bad action can be avoided without some form of accountability.

"how much additional effort would have to go into monitoring managers to make sure they weren't circumventing the "spirit" of the given bullshit metric?'

Zero - Everyone already knows when it is bullshit.
They all sit in a room, knowing someone else is saying bullshit, but avoid saying anything about it because they want to say bullshit too.

Rational actors do act rationally all the time - the system has to deal with that, and isn't here. That's the point - none of the bad behavior was dealt with.

It's rational to do lots of things. Kill your competitors in the drug game before they kill you, embezzle and rip people off who are vulnerable who can't fight back, etc. Rational is a silly bar, and definitely does not lead to viable systems. It has no moral component. It has no business component. It is only logic.

No system works if it doesn't hold people accountable, even if they are acting rational.
The easiest way to signal that your content is AI free is to publish content that would be very difficult to do with AI, eg conversations between two known personalities on recent news stories.
I could, but I won't, because you're clearly not understanding how big a deal this is
It's more profitable to our lower classes to keep the Mexicans / Guatemalans / whatever locked up in their own country to suppress their wages and competition and then allow free trade of goods. That gets us lots of cheap shit without having to pay USA wages.

I'm in favor of open borders mostly on humanitarian grounds, and I offer our lower wage laborers as offerings on the pillar of sacrifice for that.
What is BS? I don't understand the context of your reply.

I agree that large tech companies invest in stupid/frivolous projects during bull markets and over-hire/acquire. They also tend to neglect their core products, focusing on extracting money from those with an established network effect instead of improving the services.
I've been using LaTeX beamer for the most part in making presentations out of markdown. This can be a huge next step!
Ask HN: Is Slack Down for You?
Sure sure. I'm being pedantic. But replacing two sentences would fix it.
Hah, I worked in Kullervo's lab in the early 2010s. It is, indeed, surreal, what you can do with MR-guided focused ultrasound.
Thank you HN for showing (essentially) the same list of stories on the front page for everyone. A shared display of common topics is a good foundation for a good forum.
I was thinking about this exact problem a few days ago when I created a site hosting poems that were either 100% AI written, or 100% Human.
https://news.ycombinator.com/item?id=34472478

Then I asked people to guess the authorship. Amazingly, only 70% of the time the guess people make is correct. https://random-poem.com/

why : Is this Poem written by or by ? Guess & Click.

I'm guessing it will get even harder to tell as the AI improves further down the road.
I have a Masters and have never had to teach anyone anything. I wasn't aware that it was a requirement.

PhDs -- yes. They're expected to teach or TA.

Most of my mentoring and tutoring experience came from new hires at work.
If you have a receipt for the purchase, Apple should unlock them:

https://al-support.apple.com/#/getsupport
I’ve written my resume in LaTeX for the last decade. I can version control it in git, I can easily keep track of what resumes go where with tags, and I have a Jenkins pipeline that automatically compiles my resume and pushes it to another repo.
Too bad. Small price to pay.
No, companies and businesses go bankrupt, and often dump items at the last minute to recoup losses. Other times, IT departments are given bad info and devices are not owned by the user they were told, and other times the owner is simply too dumb or lazy to unlock themselves.

hardly justifies turning working technology into a brick
Activation lock on a BMW is something totally different from a serialized headlight.
Now that I think of it, most cars already have a system like this, where they wont start if the original key is not present.
Not much worse than a number of people I've talked with, to be honest.
My dream computer was a Fujitsu Stylistic ST-4110 w/ a Wacom stylus which I carried everywhere (along w/ a spare battery), and I had docking stations for it at home, and at work, along w/ power supplies, so that I just dropped it in place and used it w/ an external keyboard and mouse. When mobile, it had a transflective display which allowed me to use it in full, bright, direct sunlight, so I used it as an ebook reader, and map reader (w/ a USB GPS).

I despair of replacing it --- these days I have:

- a Samsung Galaxy Book 12 --- very nice machine, but the OLED washes out in bright sunlight, and I have to keep the drive full so that it won't update beyond Windows 10 build 1703 (Fall Creators Update breaks the stylus so that it won't select text, or draw in older apps such as Freehand)

- Galaxy Note 10+ --- wonderfully portable, I carry it places that the Fujitsu never would have gone, but again, the display doesn't work in the sun

- Kindle Scribe --- screen works great in sunlight, and it uses the same stylus technology as my other devices, so excellent synergy, but loading maps is a pain, and there's no GPS

- a Wacom One connected to my MacBook at my desk

I desperately want a computer which:

- has a daylight viewable display (this idea that one can out-bright the sun on a battery-powered device is just idiocy)

- has a nice stylus (Wacom EMR, the current generation is fine --- I suppose my next computer will be a Wacom Cintiq Companion, but that will use a different stylus technology than everything else)

- converts between tablet and laptop and desktop use -- I'll pay for a docking station if offered, or use one of the USB-C ones
How is unknown better than any in this case? If you do not care about the data type, wouldn’t you say that “any” data type is acceptable? If you say “unknown” that means that there is possibly some data type that would break your function.
> Bumstead and others are dismantling them and selling the parts.

Given Apple’s reluctance to sell spare parts, this isn’t a bad business.

The logic board is just one part. The keyboard, trackpad, lcd, battery and a few other boards have quite a lot of value.

Logic boards are fairly reliable in practice.

What’s going to suck is when you can’t build a Frankenstein laptop as Apple marries more and more parts together.

“Oh, this keyboard didn’t come with this lcd from the factory, no F key or red for you!”
My therapist hadn't heard of it yet so I just showed her this (asked it to suggest a CBT therapy program given some patient parameters) and her mind was blown. Especially the effortless creation of an Edgar Allan Poe poem version of it: https://gist.github.com/pmarreck/90f726b409d8c08ecf750288228...
.oO( organic food, contaminated with aluminum? )

oh.
There appears to be a spike in reporting [1]

Baseline: 1 Reports: 817

[1] - https://downdetector.com/status/slack/
I don't have a good answer. the money and possible upside of future opportunities in software are probably the biggest things keeping me tied to this work. I keep coming back to these things when I doubt myself:

1. what kind of person do i aspire to be? what kind of life do I want to lead and what example do i want to set for my kids and my family? one who is miserable but makes good money and is just in it for the paycheck. or someone who lives a life of purpose, passion and enthusiasm.
2. people who are passionate, excited and invested in something can usually find a way to make good money. especially these days.
3. being less than enthused about what I do might actually be what's keeping me from finding more financial success
If you had enabled Find My Mac on a T2 equipped mac, factory reset WON'T unlock the device.

However, since Apple actually had full authority and cryptographic ownership of the chip, they can generate a key given serial number which will reset T2 contents.

Personally, I think the setup should be that you don't have to go to apple for it, but it should immediately wipe device identity and disk encryption then (and the disk should always be encrypted)
Quantum interpretations all generally predict the same stuff (or very close to the same stuff) that "normal" quantum mechanics does. If you have something which has substantially different predictions then it isn't really an interpretation, its a whole different theory.

The problems between general relativity and quantum mechanics are not at this subtle interpretational layer. They're actual calculations you do, predictions you make, where the results you get make no sense.

In any case if the nonlocality of quantum mechanics was the problem then we should see issues already when trying to connect special relativity with quantum theory, and that seems to work pretty well (e.g. quantum electrodynamics seems fairly legit).
Yes - quiet. The upshot is that such devices stop being theft target, so remain usable by the owner or a legitimate subsequent owner.

I refuse to buy any expensive device without this feature.

Your trolling disguised as moralizing is not particularly welcome.
I agree. The comment section teaches the user to be suspicous of grayed-out comments, but then if we post a text post it's also grayed-out.
It was Sony that dragged their feet on cross-platform play:

https://www.theverge.com/2021/5/3/22417560/sony-ps4-cross-pl...

Nintendo and Microsoft had it up and running, but Sony didn't want to allow it.
> useful to me.

To you yes. Now go out in the real world in which most people don't work in an office and mostly use internet for entertainment

Crypto seemed very useful to many people, and they still do, you'll find thousand upon thousands of comments and this very website preaching cryptos as the next game changer
The internet is full of examples of this but just to add one more data point.

I asked about a specific Dutch book, ChatGPT was wrong about the author (it was another author born a century later). I corrected it but got told that the two authors were the same and it was a pseudonym.

I ask the birthdate of the correct author. It gave me relatively correct answer with date of birth and death.

I then asked about the birthdate of the wrong author. It told me again a, relatively correct answer, indeed he was born long after the other author died.

I asked ChatGPT how it could be that the dates differed. It told me that it is very usual for an author to go by a pseudonym.

I told it it was wrong. They are different authors living in different centuries . But it stubbornly refused to accept it, teaching me again that it is perfectly common for authors to go by two different names.

edit: Just to add when asked for a description of the book it gave me a very believable summary, which was total nonsense. This is what really disturbed me about ChatGPT. Though I am very impressed by the fact that we now have a system that is very good at parsing human language. Something which was long thought to be impossible. Combining that strength with an, actual, datasource would be the only way forward in my opinion.
You can use services like mailgun to send an email, so it's not a strict requirement
In Germany, there is "giropay" [1], which is a service offered by most banks.
The Wikipedia article states that it's similar to iDEAL.

Giropay is some kind of federalized solution where you enter your BIC on a landing page and get redirected to the interface of your local bank to complete the purchase.

It isn't well supported, except at some unexpected sites like Ali Express.

[1]: https://en.m.wikipedia.org/wiki/Giropay
The ones where schoolteachers have to go into their own pockets to make sure there's enough stationery and textbooks for everybody.
When your grandparents are selling a laptop and they don't know what is needed to be done, the buyer should be verifying the device is in a suitable manner for purchase. Bare minimum, turn it on and sign in to verify it works.

If they're recycling it, the recycling company should tell them "hit the reset button before sending it to us" and take the 2 seconds upon receiving it to verify, rather than waiting to learn a month later when the owner isn't known.
Apple Lisa Still More to Uncover
Entirely depends on the environment you're hiking in tbh.
Again: this particular cop doesn't read Psychology Today.
I'd love for someone to do a good quality PyTorch enabled implementation of Sampled AlphaZero/MuZero [1]. RLLib has an AlphaZero, but it doesn't have the parallelized MCTS you really want to have and the "Sampled" part is another twist to it. It does implement a single player variant though, which I needed. This would be amazing for applying MCTS based RL to various hard combinatorial optimization problems. Case in point, AlphaTensor uses their internal implementation of Sampled AlphaZero.

An initial implementation might be doable in 5 hours for someone competent and familiar with RLLib's APIs, but could take much longer to really polish.

[1]: https://arxiv.org/abs/2104.06303
Thanks Sven.
Seven years on, what do we know about the disappearance of flight MH370? (2021)