skysight-inc/HackerNews huggingface dataset:
i mean, macos is just unix, and you will do a lot of tinkering given how many bad defaults it's got, and how many weird foibles etc. I have a script which fixes all my file assignments after a brew upgrade because macos grabs them back when the old application is uninstalled, for example, plus about five third-party apps living in my toolbar (plus bartender to manage them all etc).

idk why people think macos is super locked down, it's not at all like the phones. the reason the AI revolution is happening on Apple second is because there's actually an enormous amount of technical people using macos these days. if they couldn't run a python script how would pytorch have ever happened etc?
It’s actually not really about speed in my particular case; I mostly just don’t want lots of tiny intermediate files being written and rewritten on my SSD all the time. I would sleep better if I knew that they wouldn’t have any negative effects on the lifetime of my drive.

I have a tmpfs folder mounted for my downloads folder for my browser for similar reasons; not for speed but to reduce drive wear and automatic cleanup so that it doesn’t pile up for forever.
What about shunt resistors? I can pretty easily get a 1% 5mΩ resistor, but they don't look to me like they are constructed in the same way as a generic resistor.
How did they get her number, to message her?
A not insignificant number of keyboard enthusiasts prefer to use blank keycaps. It's often merely an aesthetic choice, but those who like to tinker with custom layouts also favor them because that lets them skip shuffling keycaps around following a layout change.
Domain-constraints are just reusable CHECK constraints on steroids :3
My spreadsheet was really unpopular.
Whoever manages to corner the “50 shades of grey” demographic is going to make a fortune.
Yea! And Picasso's paintings don't use an accurate perspective projection and don't reflect how his subjects would actually appear to human eyes, either!
> the first incompleteness theorem tells us that any logical framework which can express Peano arithmetic must necessarily contain true (resp. false) facts for which no (resp. counter) proof can be given.

Not quite. Any logical framework which can express Peano arithmetic must necessarily contain true facts for which no proof can be given within PA. The proof of Godel's theorem itself is a (constructive!) proof of the truth of such a statement. It's just that Godel's proof cannot be rendered in PA, but even that is contingent on the assumption that PA consistent, which also cannot be proven within PA if PA is in fact consistent. In order to prove any of these things you need to transcend PA somehow.
"If someone sends me a chat that isn’t time sensitive, I redirect them to email"

I have a private Linear project, and I use the Linear-Slack integration to create issues from non-urgent chat messages. Being in Linear means I can track and label issues and link them it to related issues in public projects.

Of course, only if "Remind me in 3 hours" isn't good enough.

I do the same thing for GitHub mentions / PR requests: They automatically open a private Linear issue, and I triage them twice a day. I try to respond during the triage process if it's a short response and if not, put a due date for later. If someone needs an urgent response (rarely), then they can Slack me to get my immediate attention.
Presumably that it is a trope widely adopted these days.

It may have been more novel in 1962, but the commenter might still not enjoy it
Easy, only allow components that aren't currently registered to someone elses iCloud account (read: stolen)
Double pumping loses its one-cycle latency when you forward to an operation that is genuinely 512 bits wide, like a shuffle. At that point you have to wait for both halves to be available before dispatching. That's another advantage to going fully 512-bit wide
Rigorous things can be done in physics and mathematics, and the fields benefit greatly from this.
How do you get "optional" from "requires"?
If you want uncomfortable pointy corners, sure.
Electrochemistry is a thing too.

Chemical reactions take time.

If time does not pass, chemical reactions do not proceed.

This applies to all the natural elements in our universe, and then some.

Unless you've got some chemical elements completely unlike anything in this universe, which would probably have to consist of particles that are not from around here either, you can rest assured that time isn't going anywhere anytime soon.

You could even say that all matter in the universe itself consists only of the chemical elements in existence at any one point, at their instantaneous state of pre-reaction, ongoing-reaction, or post-reaction.

What if two of these snapshots were not identical? What would the difference be attributable to?

It probably goes way back, but one day I imagine a prehistoric observer recognized that it would be impossible to get something accomplished which did not happen instantly, unless some effort was invested over a period of, you guessed it, time. Doesn't require any math at all, not even a primate observer. You just can't get something done while it's still daylight unless you start a certain period of time before the sun goes down.

So the most direct observation of time is as a celestial phenomenon, that's a no-brainer there. At least in this kind of universe.

>time is an illusion created by <insert superstition here>

Can't go forward with this since it refutes itself, the real mathematical exercise would be to back-calculate as far back as necessary to figure out where the defects arose that are incongruous with this particular universe.

What kind of person could come up with equations for that detailed of back-calculation? They would have to know more than almost all university professors. And where are you going to find them these days? Maybe what's needed is another Einstein, and people don't want to admit it.

Sometimes equations can get so off-target that it doesn't take any mathematical ability at all to call time on it.

What if there's no mathematician remaining who can calculate their way out of it realistically?

Which leaves everybody else blundering around the illogical zone :/
So if I do the manual partition setup it's not going to run the daemon that automatically deletes files off those partitions during runtime for me? It sounded from the article like this change is more comprehensive than just the partition.
You might think that, but many/most humans care more about relative differences than absolute.

We are social creatures which calibrate our satisfaction to our circumstances. We can be happy with little, and equally happy with plenty.

In the 1930s, Keynes imagined that humans would live lives of leisure as productivity doubled every 20 years. However, the human hunger for material comforts is bottomless, largely because it is not the absolute quantity, but relative amount that matters.

For the most part, people have no measure for the material quality of their lives besides comparing it to others in they see. It doesnt matter if you have wealth and comforts beyond your grandparents wildest dreams, if it seems like you are worse off than 90% of the people on the street.
Most parts will indeed work. It will just show "unkown part" in the settings. The main thing that is really paired is the front camera for faceID. Also changing the screen without the original paired chip makes you lose autobrightness and truetone which is need to get to MAX brightness on 14 and up.
>War torn countries and poor countries have high birth rates.

IDK about that. Are birth rates exploding in Russia and Ukraine in the past couple of years? From my PoV, reproduction rate also has a lot to do with education.
Nvidia stock jumped after AMD keynote more than AMD stock. It seems that markets think there was noting really new that would challenge Nvidia there.
ex) r/video, Youtube Shorts peddling dropship temu crap
But what if you don't live in the US. You actually live in a "third world" country?

These are the type of things that make it very hard for Apple to penetrate markets outside the US.
> is it on the lock screen when the phone is wiped, in order to facilitate its return?

Yes - you can set a message when you put a device in 'lost mode' in order to facilitate it's return if it's truly lost and found by a decent human being.
The 180-Year-Old Endnotes. Ada Lovelace's Wisdom
Article title: Testing Raspberry Pi's AI Kit - 13 TOPS for $70 [1] Guidelines: If the title includes the name of the site, please take it out

HN discussion on the kit [0] (79 points, 15 hours ago, 42 comment)

[0]: https://news.ycombinator.com/item?id=40571512
[1]: https://news.ycombinator.com/newsguidelines.html
HN discussion on the kit [0] (79 points, 15 hours ago, 42 comment)

[0]: https://news.ycombinator.com/item?id=40571512
It doesn't show the full email, it's got the middle of it **'d out. OP likely had a message set for lost mode.
You're just used to Android. It's hard to put buttons on a phone that's nearly all screen.
Minor mea culpa, I realize now the population you are extrapolating to is all HN threads regarding Twitter/Musk and not more broad. I apologize for misreading and inferring you were extrapolating to all of media and more. Nonetheless, the point of unsupported (or false) extrapolation stands.
There are a couple methods that could be used.

Static analysis would probably work in this case because the in-order core would be very GPU-like while the other core would not.

In cases where performance characteristics are closer, the OS could switch cores, monitor the runtimes, and add metadata about which core worked best (potentially even about which core worked best at which times).
macOS Bartender Auto-Update Signed by Unknown New Owner
Seems that stealing a phone with the wrong information on it would be a good way to end up at the bottom of a river.

> watching my phone move around Manhattan before it finally stopped at Rockefeller Center. I didn’t bother confronting the thief.

Sure, this person didn't confront them, and most probably wouldn't. The one out of a thousand that does might not be messing around.
> What they really need is browser support, or at least an extension so a browser can open the files directly

That's probably the wrong thing. What browsers really need is a thin but standardized API that lets any third-party app that the user has installed on their machine to supply the content for various fetch/reads.

You'd open the WARC in Firefox or Safari or whatever, but Safari et al wouldn't have any special understanding of the format. It would know that your app does WARCs, though, and then knock on the door and say, "Please tell me the content I should be showing here; I'll defer to you for any further "requests" associated with the file/page loaded in this tab—just tell me the content I should use for those, too."
> The word "finite" is doing some heavy lifting here - it is a second order concept.

Sorry, you're going to have to explain that to me. The word "finite" has only one meaning AFAIK and on that definition it is definitely not the case that "every model of ZF contains a finite calculation for any non-trivial zero of the Riemann function." I don't even know what it means for ZF to "contain a calculation." The concept of calculation (at least the one that I'm familiar with) comes from computability theory, not number theory.
But Ivan the Terrible simply wasn't a good king - taking Russia from being a grand-principality centred on Moscow to a continent spanning empire is a major change in the world that we have to note in history, but it doesn't make someone a good king, neither his contemporary nobles nor his contemporary peasants nor the conquered peoples really benefited from that.

There's a difference between good and great, having a major impact doesn't imply that the impact is good. Alexander the Great is another example of someone who had an outstanding impact, but was not a good king.
I would prefer to see Apple move more manufacturing to India, citing these theft centers as one of many reasons.

Whatever country allows it should lose legitimate commerce as a consequence. My own included, if we are found to be guilty.
An AT&T and Verizon outage is cutting off phone calls
End-to-End Encryption isn't the problem, it's that you can't intercept when needed (by the government only of course). Creating a secure intercept process would not be beyond Apple's capabilities.
"You feel well informed and rarely hear new information secondhand."

I am not sure I agree with the premise that I should not expect to hear information secondhand. I find it fairly effective to have a network of well connected individuals in the org who will ping me when there is new information I need to know about. We help each other stay more disconnected (and productive) by acting as information filters/forwarders. I allow these people to have interrupt privileges for me because I know if they are sending me a notification it has been vetted for urgency
I am an analytics professional, product manager, and data scientist looking for new opportunities.

Location: Arizona (USA)

Remote: preferred

Willing to relocate: yes

Technologies: R, SQL, Python

Résumé/CV: https://www.linkedin.com/in/abraham-mathew-21221b29/

Email: mathewanalytics@gmail.com
That makes sense: many values close to 1.0 then transforming to represent that as 0.0 provides additional precision.
Not so much if it allows the thief to cet contact info of the original owner.
It’s what I call the comedians valley. Naturally funny people are off the cuff and effortless. If they try stand up it takes a long time to marry up elite performance professionalism with natural talent. For a long time there’s an uncanny awkwardness to it. The same thing is goes for other forms of memetic influence
I took the “them” to mean the 50000 in which case it doesn’t. If it is the 500
and the 50000 are not all “AI related” then that tells us something.
Doesn't solve the problem. The Chinese can still "recycle" phones manufactured in India.
i3 is just a window manager. It's not a UI toolkit. It doesn't control how apps render UI.

GTK and QT are UI toolkits and do control how apps render UI. Your apps will use GTK and QT even if you use i3 to manage the windows.

You might be confusing GTK with Gnome and QT with KDE, each of which has its own window manager.
Send them Tiananmen Square photos or messages about the CCP, anything that can trigger the great firewall. Thats what my friend did. They stopped messaging immediately.
yes, but if the 7945HX3D is running at 112W (75W cTDP + AMD allows unlimited-duration boost at 50% above this) and the macbook is running at 50W cpu-only (70W TDP) then the macbook is actually substantially more efficient in this comparison.

https://images.anandtech.com/doci/16084/Power%20-%2015W%20Co...

That's why I said: you have to look at the actual power measurement and not just the box spec, because Apple generally undershoots the box-spec for cpu-only tasks, and AMD always exceeds it substantially due to boost. Obviously if you give the AMD processor twice the power it's going to be competitive, that's not even in question here. The claim was, more efficient than Apple - and you simply cannot assess that with the box TDPs, or even cTDPs, because x86 processors make a mockery of the entire concept of TDP nowadays.

(and it didn't use to be like that - 5820K and 6700K would boost to full turbo under an AVX2 all-core load within the rated TDP! The "boost power is not the same thing as TDP" didn't come around until Ryzen/Coffee Lake era - accompanied by ploppy like "electrical watts are not thermal watts" etc)

https://www.anandtech.com/show/8426/the-intel-haswell-e-cpu-...

https://www.anandtech.com/show/9483/intel-skylake-review-670...

edit: notebookcheck has cinebench R15 at 36.7 pt/w for M3 Max and 33.2 pt/w for 7840HS, and 28 pt/w for Pro 7840HS (probably a higher-cTDP configuration). Obviously CB R15 is miserably old as a media benchmark, but perhaps ironically it might be old enough that it's actually flipped around to being more representative for non-avx workloads lol.

CB24 MT at 50% higher for M3 Max and CB R23 at 11% higher (shows the problem there with x86 processors on R23). Looking back at Anthony's review-aggregator thing... they're using the highest score for 7840HS I would assume (it's 1k points higher than median on notebookcheck) and also they're probably comparing box TDPs, which is where the inversion comes from here (from parity to a 10%-ish lead on efficiency). Because actual measurements of the M3 Max, from actual reviewers, have CB 2024 at around 51W all-core, and it almost doubles a 7840HS's score there.

https://youtu.be/BpeVdHwaHWU?t=644

And looking at it a little further even that nanoreview aggregator thing doesn't claim 7840HS is more efficient... they rate the M3 Max as being 16% more efficient. Seems that is a claim Anthony is imputing based on, as I said, box TDP...

edit: I’m also not even sure that nanoreview article has the right TDPs for either of them in the first place…
I fake one with vlmcsd.
Its usage and the data it collects are not malicious or done to track you. "Data collection" is arguably a clearer name than telemetry to the average user and is clearly labelled, and can be disabled in a single checkbox in settings. It is transparent.
I agree that it will super useful and can't wait for the OSS version of it on Linux that respects my privacy but only kinda does the same thing with a less useful LLM at its core.

That said, I wonder if general folks will see the toggling of this is the same way they initially did for incognito mode? Namely, that you would only use it to watch porn or do something nefarious. The classic "If you don't have anything to hide, why hide?" History has obviously proven that first impression as a rather reductive and silly one. Plus cultural norms/opinions around incognito mode are very neutral now.

Or if this will be like turning a bodycam off for cops? Imagine the distopia of a boss asking why you turned recall off for 30 minutes while you were on your lunchbreak...

I guess it is good that we have pocket supercomputers.
See this comment for a more in-depth explanation of what I meant by "optimal" for poker chip denominations. Hopefully that clarifies. That comment has a link to the code if it's still not clear enough.

https://news.ycombinator.com/item?id=40576198
Thunderbird is great until you receive Teams invites. It removes/hides the links in the calendar entry so you need to keep the email in order to be able to click on the meeting link.
The high value parts are locked down so yeah the options for stripping iphones have become more limited & thus backyard iphone recycling operations decreased.

Unsure whether anyone has found a way past the apple locks...not to my knowledge.

>cost

I don't think cost even factors into any of this at apple margins. What does is that repairability affects things that matter to the consumer: Size, weight, thinness, feel, lack of exposed screws etc. Compromising on repairability makes all those easier
> This is more Intel than AMD. AMD will generally stick to the rated TDP unless you manually reconfigure something.

no, it's generally the opposite. Intel tends to exceed TDP substantially due to boost, and AMD actually exceeds it by greater margins than Intel.

This is consistent across both desktop and laptop, but AMD's mobile SKUs are actually allowed to exceed TDP by even larger margins than the desktop stuff.

https://images.anandtech.com/doci/16084/Power%20-%2015W%20Co...

https://www.anandtech.com/show/16084/intel-tiger-lake-review...
She's wrong - the activation prompt ***'s out most of the email address. She likely had an emergency contact or 'lost mode' message on the device. The latter would still be present if remote wiped.
Much like the US or Europe? Yeah... money comes first.
Expect is The Original Way, and has been the standard since before I learned to program more than 20 years ago. :-D

Expect is also extra cool because of `autoexpect'.

generate an Expect script from observing a (shell) session

https://manpages.ubuntu.com/manpages/focal/en/man1/autoexpec...
Skimming through studies like this, it strikes me that LLM inquiry is in its infancy. I’m not sure that the typical tools & heuristics of quantitative science are powerful enough.

For instance, some questions on this particular study:

- Measurements and other quantities are cited here with anywhere between 2 and 5 significant figures. Is this enough? Can these say anything meaningful about a set of objects which differ by literally billions (if not trillions) of internal parameters?

- One of prompts in second set of experiments replaces the word “person” (from the first experiment) with the word “burglar”. This is a major change, and one that was unnecessary as far as I can tell. I don’t see any discussion of why that change was included. How should experiments control for things like this?

- We know that LLMs can generate fiction. How do we detect the “usage” of the capability and control for that in studies of deception?

A lot of my concerns are similar to those I have with studies in the “soft” sciences. (Psychology, sociology, etc.) However, because an LLM is a “thing” - an artifact that can be measured, copied, tweaked, poked and prodded without ethical concern - we could do more with them, scientifically and quantitatively. And because it’s a “thing”, casual readers might implicitly expect a higher level of certainty when they see these paper titles.

(I don’t give this level of attention to all papers I come across, and I don’t follow this area in general, so maybe I’ve missed relevant research that answers some of these questions.)
I don't love the increasing difficulty in telling if something is genuine human expression or a marketing technique designed to look like genuine expression. But as dystopian as that murkiness can seem, I still prefer it to peak 90's pre-internet advertising when record-breaking ad spending was primarily used to scream relentless in our faces until we bought stuff or developed a mental illness. Media in that era was far more monolithic and almost entirely ad-driven, and it really felt like the advertisers (and their favorite brands and multinationals) had won all the battles and the war. All that was left was to watch the latest Visa-sponsored TV event, brought you you by Honda, with special considerations from MetLife, all before a word from our sponsors over at Nestle. Even the punk festival was run by a shoe company in the 90s.

Anyway, now I sometimes get ads for stuff that isn't shilled by a multi-billion-dollar multinational and I barely every have to watch an actual advertisement, so my vote goes to new hell over old hell, no question.
> Fitzpatrick said Air Canada didn't target the CTA because that's how Canada's judicial system works.

> "The original case was between the passenger and Air Canada, therefore the review of the decision is between the same parties," he said.

Any Canadian lawyers care to comment if this is actually a special requirement of Canadian law? In the US, you sue the agency to challenge an administrative order. Suing the aggrieved individual sure sounds like a tactic to dissuade others from making complaints.
> Oh. And what are these universal "human values?"

American values. Look up the author.
My comment was in the context of the article, which states that AI doesn’t need physics

Having models doesn’t imply what you probably mean by “knowing about physics”, it just means having a representation of something that is not that something (like a map of the world is a map, not the world)

So, depending on how the dog’s understanding of the world works, it maybe doesn’t need any models, I can’t really know

But I do know, that if I want to describe anything, using any symbols whatsoever, then I’m implicitly creating a model of what I’m trying to describe with the symbols

So, if I’m trying to communicate and understand physical phenomena using AI, then I’m implicitly creating a physics model, whether I want to call it that or not