skysight-inc/HackerNews huggingface dataset:
I'm trying to figure out how you want this to work.

If your own laptop is stolen, you're no longer in physical possession of it.

So from the perspective of the laptop, some sort of interaction should brick it. What should that interaction be? It needs to happen early, before thieves have a chance to disable it. So it needs to happen before login, say. Really it needs to happen at either bootup or as soon as the laptop establishes a connection to the internet.

At which point it should... reach out to you? How? Must you own a second Apple device for that to work? Okay, let's go with that. You have an iPhone, and you use Find My to brick the laptop. So now someone can steal your phone and use it to brick your laptop? Your laptop needs to talk to your phone every time it boots up or connects to the internet?

I'm not sure you've thought this through.

It seems reasonable to me that the only entity that makes sense here is Apple. Even a savvy thief, who might block packets to anywhere unexpected--and "person's iPhone somewhere" is definitely unexpected--is going to need to let packets go to Apple, making them the only party with the means and opportunity to do this.
I guess this kills off the "Horse Creek" partnership witrh SiFive since I if I read this thing from the summer that pathfinder was the dev kit for a lot of this.

Sigh. Just when I thought Intel was getting better...
We do not need Erlang's exact solution.

The suture interface for a service in the latest version is:

type Service interface {
Serve(ctx context.Context) error
}

Where's all the stuff for gen_server? https://www.erlang.org/doc/man/gen_server.html Where's the "start_link" versus "start_monitor" distinction? Where's "cast" versus "call"? Heck, where's "stop"?

The answer is, those things are all Erlangisms. They make sense in Erlang. But in Go, the supervisor tree doesn't need to enforce any of those things. Cast or call or multicall or whatever else you like in the code that talks to those services. When I got down to it I couldn't even justify a "Start" or "Initialize" call; I just couldn't help but notice it was completely redundant and it could just be in the Serve function.

What you need is that a single crash does not take down your entire service. It does not have to be in Erlang supervisor trees with Erlang gen_servers that have the exact features and behaviors as Erlang supervisors and the exact APIs. It doesn't even have to be in an OS process the same way as Erlang; cloud lambda functions in many ways solve the same problems in a completely different way. Getting too stuck in Erlang's thoughtspace inhibits your ability to design solutions. There are many ways to make it so a single crash does not take down your entire service. Erlang's way is not the only way.
I disagree.

I think apple should run a refurb but they wouldn't as that would depress their retail price.

The devices are recycled just for parts. Even the motherboard will have parts removed and reused.

It's a lot more work than flipping the laptop on eBay.
The article throws out the possibility that it's now lodged in somebody's tire, so it could be sitting in some random Australian's driveway instead.

I assume that's the reason for the announcement.
To be fair the OP hides the trigram from screen readers and provides them with the ‘open menu’ label.
They’ve tried to attract high-quality human work for a while, and it doesn’t seem to have worked for them. Might as well try something new instead of digging in.
Except in the bit I quoted above, no.

Wait, what?

This might seem like I'm simply being contrarian or wanting stamp my rightitude on the matter, but your framing of the icon's absolute comprehension by everyone else seems to me to be ... ill-advised. Someone not doing their homework might just take your schpiel at face value and propagate problems obliviously.

I've 'beta'd' hamburger icons a few times over the years and have always come away not relying on them precisely because they don't seem to have the blanket comprehension amongst users you seem to think they do.
Wish fix-it-yourself was as strong now as then
> A better problem, some may say, than having a thriving market for stolen laptops.

Some may say that, because having their laptop stolen is a problem they actually experienced. Having your device remain owned by a vendor, who only "licenses" it for you to use opens up a whole new world of problems, some of which average person can't even imagine.
I remember a business manager having zero idea that clicking the logo at the top of a webpage would often take you to the home page. I had assumed this was ubiquitously understood, but clearly not.
There are not “millions” of people being laid off. Unemployment is still at a historic low. It’s mostly the tech sector. I’ve been through this type of economy at least three times - 2000, 2008, and for a brief second 2020.

Even back in 1996 when “having mine” meant making $33K a year as a hybrid computer operator/programmer, I saved aggressively. Again, I was 22 years old and had enough sense to be paranoid about depending on one specific job.
yes but no, generated blurbs by the search engine itself to answer user searched questions (how average joe uses google) will kill seo; you can make a million generated articles but almost no one will read them if google provides the user with a generated answer conveniently without having to trawl several links. you get no ad revenue if you get no clicks

on the content side of things i don't think people will notice
It's interesting to compare it to other cities:

https://www.commercialedge.com/blog/national-office-report/
Can't see no '...because of ChatGPT'?
Putting aside the sarcasm, don't mistake Lisp from 1960 with what came after.

"First released in 1997, Rebol was designed over a 20-year period by Carl Sassenrath, the architect and primary developer of AmigaOS, based on his study of denotational semantics and using concepts from the programming languages Lisp, Forth, Logo, and Self. "

"Io is a pure object-oriented programming language inspired by Smalltalk, Self, Lua, Lisp, Act1, and NewtonScript.[2] Io has a prototype-based object model similar to the ones in Self and NewtonScript, eliminating the distinction between instance and class. Like Smalltalk, everything is an object and it uses dynamic typing. Like Lisp, programs are just data trees. Io uses actors for concurrency. "

Exercise for the reader how much from e.g. Common Lisp might be found in IO or Rebol.
You could even go a step further and require the person requesting the unlock to provide photo ID and affirm that they are claiming to be the legitimate owner of the device to dissuade thieves from trying to use it and also for the unwitting receiver of stolen goods you now have a way to get that back to the real owner and potentially track down the thieves on the other side of the transaction. Sadly I doubt that would result in police actually taking action against thieves but a macbook is expensive enough to be felony theft in most places. The guy selling it on Craigslist probably isn't going to use a burner phone, meet away from his home, and use a rental car just to sell a stolen macbook. I think there are much better odds of identifying them if Apple would try and get devices past activation lock and track these cases down.
They should have just called them riots, then. "I remember hearing that in certain protests a couple years ago" or "I remember hearing that in certain riots a couple years ago" would both work. The wording as-is is provocative for no actual benefit to the point.

Whether you agree with their position or not, it's not really relevant to this discussion to draw attention to the ethics of those protests/riots.
While not ideal, I've found a usable solution.

This GitHub repo [1] has map files generated using OpenAddresses.

Load the appropriate one for your area and you can search using addresses in the normal format. They currently provide maps for North America, and are regenerated roughly monthly.

(Thank you pnoll1!)

[1] https://github.com/pnoll1/osmand_map_creation
While it's a little slow due to WebKit and JS probably, I'm using Foliate on my Kobo Clara HD with PostmarketOS and it does the job!
did you look at the lib? Looks like what many Lisps have. The class stuff is also very Lisp like.
There are forums with real time components to them (live updating, online indicators, etc). That just makes slack a worse forum.
Did Ancient Egypt Have a Pigeon Problem?
It's only natural that they will think AI have consciousness.

That seems just a matter of time until they would be doing this rightly so.
Becoming a Real Business: Accounting, Taxes, and Automation
>The author completely misses major pieces of literature

Can you provide links?
If someone replaces the APK on their website with a compromised one, what prevents them from replacing the PGP signature with a signature created by the attacker?
Cool but NIH syndrome.. I don't see any point here. SQLite was doing one thing and doing it well.
The rest is well handled by pg
That last paragraph of yours is key the your whole post. It’s a good illustration of how a large enough difference in degree becomes a difference in kind.
No additional framework, just a typed language with good standard library and raw SQL. For the frontend I would probably reach to HTMX.
In the former case, are you managing signups, password resets...?
Really you should use a dumb terminal and keep corporate and personal materials on separate machines.
How to Respect a Mummy
That point was addressed in the article:

> And yet again, while it’s tempting to see, promote or editorialize an opportunity to convert all the vacant office space in San Francisco into housing, the conversion of existing office space to residential use still makes absolutely no economic sense for the vast majority of San Francisco buildings, due to the relative value of each use and the costs of conversion.
It's not that it's a controversial political view, it's that it's really not relevant to this discussion.
there are a lot of interesting and deep ideas here, about technology in general. but the critics of ai really need to do better. according to this argument, once you understand how your own brain works, you see human intelligence is also just an "illusion". fundamentally though, there is no reason a computer cannot think. any argument against this requires an understanding of the nature of thought and intelligence, in humans, which is quite outside the wheelhouse of most classical computer scientists. for a more refreshing perspective, read anything by hinton
Is Freeman Dyson also a crazy person who doesn't know what he's talking about?

The appearance of consensus is manufactured by the media. They label each dissenter as an individual crazy person and somehow the mainstream narrative is the consensus.

And again, this labelling is done by the media. There's no high authority of science.
Then what you buy turns out to be not nearly as good as you thought, meanwhile lots of motivated open source developers are turning your homegrown build into something really game changing.

Sod's Law.
Did Moritz use “irregardless” ironically?
Fun fact: May 19, 1997 commencement speaker at Penn was (serial rapist) Bill Cosby, who gave a speech about apartheid South Africa.
I don’t think asurion spends the time to do the reset flow if the lock is showing as on. In most cases users don’t turn off lock after the fact. I thought reset flow was needed to get network connectivity back which is needed to check lock status.

I think you used to be able to run stolen phones back through insurance claims as broken but I think that has stopped being possible as they take a harder line.
good. maybe they'll start seriously considering building more housing and mixed use zones like normal cities in every other country. SF city planning min-maxed for a very particular demographic and economic paradigm. that time period is over. adapt or die.
Everyday the expectations for ChatGPT get weirder...
I was talking about the dataclasses.dataclass annotation in 3.10/3.11. You can use slots with it.

You’re right, they’re dicts unless slots are used. I read the parent comment and saying you can define types easily. But you can with dataclasses
I'm not saying it about this one, but some are akin to Nikola rolling their truck down a hill. Like the Google phone assistant one that would call and make appointments for you and stuff. Very likely cherrypicked at the time. Or Microsoft's Milo, which was almost entirely staged.
Jive is for corporate. Never found moderators or power users that liked it over vB, myBB, XenForo, IPB, etc.
When I worked at Apple, I had used an iPad for testing. I ended up also creating an icloud test-account for it. Some year or so later I got an email from another employee within Apple (who now had the device) asking that I sign out of the device so they could wipe it. Wow, I couldn't remember my iCloud test-account password. I was surprised there wasn't some low-level way to just wipe the device. (I did eventually guess the account password.)
It seems people don't explore at all. There's no "I wonder what would happen if" impulse, or there's an "I'd better not just in case" worry.
Restricting the collective progress of humanity so that investors can make back their money.
gotta love how every discussion pertaining to program isolation in the last 20 years is just "well all these years i thought this thing isolates processes like it ought to do", followed by a quick, "nope, it actually doesn't". i blame UN*X
Woa, your employer has access to that? I'm in Canada and I thought they don't here, but I'm not sure.
java is not just server.

the worlds largest mobile phone platform is java. this is all the billions of people who live in Asia.

its not gonna go away in our lifetimes.
Watch Meta’s engineers discuss optimizing large-scale networks
That's exactly what came to my mind, too.
There's two ways a non-erlang process can speak Erlang terms.

It can implement the Erlang node protocol and show up as a full Erlang node. Neat capability, but the impedence mismatch between systems is something fierce, because the protocol deeply assumes that you're basically Erlang, e.g., not just that processes have mailboxes but that mailboxes have the exact same semantics as Erlang, and you have to implement process linking with the exact same semantics, etc. It's difficult.

Alternatively, you can write a proxy in Erlang where the first process speaks to an Erlang server to send a term to some other Erlang process that will then relay the message in whatever form. This will either be a custom protocol, in which case this is an awful lot of code to write for such a task, or a common messaging protocol in which case you don't need Erlang. That is, you can speak rabbitmq, but that doesn't need to be implemented in Erlang.

The production system I maintained on Erlang did this a lot, because I was forced to have a lot of Perl code interacting with the Erlang system. Back in the day it was a fine choice; it was a time when you couldn't just pop on to google and turn up a dozen battle-ready message busses in two minutes. Now, though, it is far better for the Erlang code to just be another node on your common bus than for it to be the message bus.
I pirated Matlab just on a whim a couple years ago maybe like around 2019 or something and I never used it before in my life. I'm also not a programmer.

I found the built-in programming language in it amazing. The fact that I could type stuff out and then highlight it and then right click on it and then go to a very comprehensive documentation of the programming thing that I was typing that would also have an explanation for it along with multiple versions of code examples was a big help in being able to develop little useful programs for myself using it. I ended up using it to do batch processing of images or to find image quality metrics to compare different image compression methods. https://github.com/navjack/imagequalitycompare_matlab

It was all just built into this gigantic program.

I could even take the live code and eventually I figured out how to transfer that into the thing that allows Matlab to compile exes and make full GUI programs.

Like, I was able to build this with just context sensitive help in matlab's environment https://github.com/navjack/imagequalitycompare_matlab/blob/m...

I probably could have figured out how to make tons of useful things using it if for whatever reason my pirated copy stopped working or I had to reinstall Windows or whatever it was that made me drift away from using it.

I wish python had something that was like Matlab. I wish a lot of programming languages had something that was like Matlab. They just need to do exactly what Matlab is doing for in program context sensitive help that actually gives help. There is something just so special about the way Matlab did the help that wasn't dumbed down but it also wasn't too advanced. Like the documentation for each thing was extremely verbose but it was the right amount in contrast to other things where they don't explain anything or the code example is written extremely poorly.

But don't get me wrong. Later on I was able to make a couple very useful python things with the help of co-pilot. https://github.com/navjack/RandomGamePicker or https://github.com/navjack/ConsoleJournal or toy stuff like https://github.com/navjack/TextArtThing . I think co-pilot and running a local instance of fauxpilot is great but still not as fully useful as what Matlab does.

These days when I need to sketch out something in code for myself I tend to do it in powershell or python. I just need to get comfortable with a solid way to turn those ideas into a GUI program.

I guess I'll throw a wrench into your question and also throw GO into the ring cuz I think golang is neat. https://github.com/navjack/Go-Rainbow-Hearts-Term
Asking people not to misread a comment is an exhortation to improve quality of discussion. Endorsing a misreading because you dislike the comment being misread does not improve quality of discussion. You're equivocating between (1) misinterpret and (2) "reject out of hand" in order to make that endorsement work.

You can object to style without having to signal to the community that misinterpreting comments is an accepted practice.
> I am just now designing a programming language based on a generalisation of Algebra, which I call Abstraction Algebra.

I admire your ambition!
And right when I was thinking on shorting their stock...Thought about doing it 7 months ago, but backed out.
> In the context of software, a commercial activity might be characterized be characterized not only by …

"Might" and "not only" are key here. Commercial and non-commercial are not easily separable in neat little boxes, and there's quite a lot of grey area. There's some amount of money involved in a lot of Open Source software, even when it's not really a "business" like, say a bakery or Twitter is. Is accepting money in GitHub sponsors to work on $project_x "commercial activity"? It's not clear to me from that description it's not.

As it stands, it's quite vague, partly because it's just so hard to nail down.
Quantum Physicists ‘Flipped Time’ (and How They Didn’t)
The real difference between cage free and not is that the higher end brands feed the chickens slightly better feed and you can taste that. But by the time you pay 6$ a dozen you also get all the cage free stuff thrown in that other consumers want. You can’t get premium feed factory caged eggs.
It is the same stupid arguments from 50 years ago that the electric guitar is just noise.

These people that are so offended by AI art and music I suspect are the type of people who would NEVER go to an art gallery anyway. They don't even know what you are referring to with buckets of paint.

AI Art is just a topic to be pissed off about and generate sentences about online to them.
Alpha Centauri! Incredible game. Had an entire xeno-environmentalist faction.

> Nobody comes up with solution to climate crisis.

Oh, there are plenty of solutions, but none of them are free or easy, so nobody likes them.
There is not "an" engine used by OSM -- Nominatim is used by the application at OpenStreetMap.org, but I'm fairly sure OsmAnd does not use it.
Perhaps the lesson is that art ought to be done because it is inherently fulfilling and not a as a profession.
I cancelled my OsmAnd subscription because the navigation is mediocre, the interface is awful in direct sunlight, and the developers respond to requests with "I don't understand why you want that".

Riding back roads, I'd regularly get a navigation prompt telling me to continue straight on the road I'm already on, with no other options. I had better navigation instructions on the software I developed for PocketPC back in the early 2000s.

If you try to create a custom route by tapping a spot on a road, it will often actually select a spot on some tiny, invisible offshoot. It will then relentlessly try to navigate to said offshoot, requiring you to pull over and futz around with the interface to delete the waypoint.

All of this is made even worse by the low-contrast UI with tiny buttons. It works great when you're planning your route at home. Not so much when you're on the side of the road on a motorcycle on a blazingly hot summer day.

Finally, now that I'm going farsighted, I need certain UI elements to be larger. There are plenty of requests for resizable widgets and the developers seem baffled as to why anyone would want that. Instead of giving customers what they want, they just ignore it.

Don't even get me started on trying to search for locations. OsmAnd is virtually useless for anything other than poring over a map and manually setting waypoints. Even that is hampered by the first issue I mentioned.

Edit: https://imgur.com/a/u23H479 oof
Apple knows the time and place of each product (SN) they sell, and they know who activated it to their account. They should certainly be technically able to produce the receipt at the time of sale but also a duplicate later.

> Apple doesn't seem able to "produce a receipt" if you purchased the MacBook with cash or a discontinued credit card in their store.

I'm not sure if this is standard policy or a fluke. If true then Apple should absolutely not demand that proof of purchase back from the owner at any point. I can't imagine how it's legal to sell that in a store and not provide proof of purchase but that's a different matter.
Well to compare Apples to Apples we would need to know how much money Apple has spent with many of those efforts, which before Jobs came back almost driven the company to bankruptcy.

For younger generations Apple might feel unstoppable, meanwhile I remember the discussions to migrate away from surviving Macs on our IT department, and my graduation thesis was porting a particle simulation engine from NeXTSTEP into Windows, as those boxes were to be sent away.
Every country has issues with scammers and fraudsters. India is hardly alone on this issue.
> I would argue that mass death is unlikely as historical evidence is by far in the favor of human adaptability.

I would argue that mass death happening somewhere else is almost an inevitability by historical arguments; it just doesn't look like it's climate related. Is a refugee from desertified Africa who drowns in the Mediterranean a "climate death"?

Mass death won't look like the Al Gore movie. It'll look like COVID: a line going up on a chart which people can ignore.
What Is Reverse Logistics?
location and resources change every so often (i get bored / i find something else that excites me) but the cycle has traditionally been weightlifting at the gym -> spending a few months doing only cardio (for a long time it was just boxing, but recently acquired a quest 2 and not a session goes by where i'm not dripping sweat) -> home gym -> back to an actual gym. as far as benefits, i couldn't use enough words to describe how much it's helped with my mental state (specifically when i get into the zone and get consistent with it). it often becomes that one place/time where i can completely tune out, not have to talk to anyone, interact with anyone, think about anything, worry about anything.