skysight-inc/HackerNews huggingface dataset:
Ask HN: macOS Sonoma gets kernel panic every x minutes
Do you have any idea how to fix this?

panic(cpu 0 caller 0xfffffe001c3ed650): "assertion failed: ino_has_vnode(ino)" @jobj.c:7629
Debugger message: panic
Memory ID: 0x6
OS release type: User
OS version: 23A344
Kernel version: Darwin Kernel Version 23.0.0: Fri Sep 15 14:41:34 PDT 2023; root:xnu-10002.1.13~1/RELEASE_ARM64_T8103
Fileset Kernelcache UUID: 7CD3C0485714106B76F60CFF2DED0D9D
Kernel UUID: 9D9158F9-0E6D-30C0-BBA9-519175145599
Boot session UUID: EADAAA9A-1274-4C9C-B3C7-89F325D73625
iBoot version: iBoot-10151.1.1
secure boot?: YES
roots installed: 0
Paniclog version: 14
KernelCache slide: 0x0000000010e4c000
KernelCache base: 0xfffffe0017e50000
Kernel slide: 0x0000000010e54000
Kernel text base: 0xfffffe0017e58000
Kernel text exec slide: 0x0000000012348000
Kernel text exec base: 0xfffffe001934c000
mach_absolute_time: 0x1c10d4450
Epoch Time: sec usec
Boot : 0x651e4128 0x000ad0a2
Sleep : 0x00000000 0x00000000
Wake : 0x00000000 0x00000000
Calendar: 0x651e425d 0x00026967
Isn't drinking just another mutual interest, albeit a noisy one?
What about sleep tracking? That's essentially the most important feature for me in a smartwatch/fitness tracker
I pre-ordered the Pixel 8 Pro with Koodo in Canada and it comes with the Watch 2 LTE which is like $549 CAD, so a good deal I thought as I was in the market for a phone and a watch.
Sorry, I don't own them so there's nothing I can do, unless I can buy them back
Location: Bangalore, India (Working in multiple Time-Zone-US/UK/AUS/NZ and EUR) Remote: Yes
Focus Areas: FinTech:- Financial Services Product Development, Payment SDKs, B2B SaaS (USA, Europe, India)

AI & ML:- LLM, OpenAI, GPT4 All (Working with 4 clients in LLM based Agents)

SportsTech:- Sports Product Development (USA, Australia)

LegalTech:- Document Assembling, DocumentAI (Blockchain)

Real-time Engagement with Audio and video, Streaming

Schedule a Chat: https://calendly.com/mobilefirst-intro Email: rupal.mobilefirst@gmail.com

Technologies: NextJS, NestJS, NodeJs, Angular 14, TypeScript, Redux, NoSQL, ReactJS, Tailwind CSS, Shopify, AWS, Serverless, Kubernetes, iOS, Java, React Native, Flutter, Full-stack

Availability: We are a product consulting & development studio. Due to budget cuts, 2 of our large customers have paused their engagements. We do have more bandwidth in the coming months. We also provide fractional engineers for services.

In the last engagement, we managed the front end (Storybook + React) & back end (Serverless). We follow a ticket-based branch strategy & have written unit test cases (TDD) as well.
Proofs are of course the gold standard. But even if others discovered the rule, their contribution should not be held to be trivial.

A modern analogy: today, people are very happy to use LLMs and Transformers without anyone "proving" that they work. Right now, philosophically, they are at the level of empirical observations (perhaps not even that). Does that mean that today's AI researchers should get no credit when at a later date? I am not sure. Empirical discovery of a rule is also no trivial thing.
SEEKING WORK | Location: Bangalore, India (Working in multiple Time-Zone-US/UK/AUS/NZ and EUR) Remote: Yes
Focus Areas: FinTech:- Financial Services Product Development, Payment SDKs, B2B SaaS (USA, Europe, India)

AI & ML:- LLM, OpenAI, GPT4 All (Working with 4 clients in LLM based Agents)

SportsTech:- Sports Product Development (USA, Australia)

LegalTech:- Document Assembling, DocumentAI (Blockchain)

Real-time Engagement with Audio and video, Streaming

Technologies: NextJS, NestJS, NodeJs, Angular 14, TypeScript, Redux, NoSQL, ReactJS, Tailwind CSS, Shopify, AWS, Serverless, Kubernetes, iOS, Java, React Native, Flutter, Full-stack

Availability: We are a product consulting & development studio. Due to budget cuts, 2 of our large customers have paused their engagements. We do have more bandwidth in the coming months. We also provide fractional engineers for services.

In the last engagement, we managed the front end (Storybook + React) & back end (Serverless). We follow a ticket-based branch strategy & have written unit test cases (TDD) as well.

Schedule a Chat: https://calendly.com/mobilefirst-intro Email: rupal.mobilefirst@gmail.com
Yes, I too have seen ChatGPT issue an apology. Then it gives a worse version of its previous answer, buggier code etc.

And it's because the most plausible continuation of that interaction is now of an ongoing conversation with an apologetic incompetent.

Do not anthropomorphize the LLM. It does not have mental state. It does not have feelings. It does not have a suddenly realised goal of "doing better". The written apology was merely the most plausible text to issue at that point. It will then go on to simulate being wrong again, which I've come to recognise is more plausible than an idiot suddenly becoming a wizard.

In such circumstances, the actual best remedy is to start afresh with a revised prompt.
Delta finds fake jet aircraft engine parts with forged airworthiness documents
Why do Americans have to rename district heating and pretend it's something new?

Yes, I know, UTEN can be cooling as well, but still.

1. https://en.wikipedia.org/wiki/District_heating
On that note, why do I have to pay $200 to see a specialist who misdiagnoses me? Any other field, they’d be fired, sued, or at least not get paid for the service.
As someone who has programmed in C++, VB, Clojure, Java, Ruby, Erlang, and now Javascript (because of NodeJS and that it is in the browser), I will admit that I usually ending up implementing my own Type system and checks more and more as programs gets larger. Maybe there is some variation of Greenspun's tenth rule like "Any sufficiently complicated dynamically typed program contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of INSERT YOUR FAVORITE TYPED LANGUAGE HERE"?
Something important to mention when discussing CRDTs is that they are particularly suited for scenarios where clients may go offline often and where it makes sense to resolve conflicts automatically. Not every kind of data lends itself well to automatic conflict resolution as the merged state may not be desirable when all parts are constructed independently without real-time collaborative feedback.

For example, if I have a field which is "color" and one person writes red and the other writes blue, there is no way to automatically resolve that conflict when they both become reconnected. It's physically impossible since the intent cannot be established without the ability to read the minds of both participants. You can't just merge the letters into the word "reblued" nor can you allow one to completely overwrite the other while letting both participants believe that their change was settled when in fact, only one made it through. Often, it's desirable that both participants must be online and better to show one an error message if they're not so that they are not mislead into thinking that they're actually changing the system state when in fact their change hasn't been persisted.

I've worked on realtime systems which don't rely on CRDTs. This was a suitable approach in my case since accuracy of the data was paramount and each section of the data was well isolated from one another and offline editing was not required.
> If anything, the new generation of AI tools should reduce the false positives.

Anecdotes I've heard put the new "AI detecting AI-written"'s accuracy at worse than a coin flip.
If something was good to you in the past, there's going to be a psychological bias towards it.
I’m half convinced it’s a difference in how people’s brains work. Dynamic typing adds just so much cognitive overhead for me.

Well, that and PTSD from digging through so many horrors created with Python and JavaScript.
Yep, that is generally what Windows does, using available memory for the disk cache. In the user trace the system had lots of disk cache (available memory) and lots of _free_ memory, so there really was zero value in trimming the working set.

But, (undocumented) rules gotta be followed, so trim the working set it is.
> They act this way for understandable, and often rational reasons.

this sounds like something you like to believe, rather than anything that comes out of studying actual criminals.

Psychologists who study real criminals in prisons report a very high level of psychopathy. AFAIK there is no treatment for that.

> "Criminals" are not some kind of universal entity that exists by default.

actually, all the evidence through history says that they are a "universal entity," given that every civilized society has them. Maybe you're imagining some sort of ideal society that doesn't have them, but in our real world, we do.

And the word "criminals" does not need quotation marks.
There was an article a few days ago about how wall street firms put pressure on tech companies to do layoffs in order to reduce wages.
> I assume the majority of hacker news users who buy a smart watch are going to end up writing a few simple apps/widgets/whatever for themselves

I’m not so sure about that! I’m very content to be an Apple Watch user, not a developer. It already does the things I need it to (and the Shortcuts app is a great way to automate things).
An app on the phone that makes it tap on the windscreen when it's been left in the car.

"Hey, don't forget me!" (displays sad_puppy_eyes.jpg)

- my wife.
Personally I don’t care about it. But I imagine I could charge it while I’m in the shower if I did.
When I've been hiring I found cover letters to be useless. I just ignored them and looked at the CV to determine whether the candidate was worth an initial screening interview.
It's a good question. It could be that most people don't notice this things, those who don't don't report it, etc. Or maybe it only affects some people, but I can't think how that could be true. More mysteries
I was assuming that it is programmed, or instructed to do so.
Which thought leads me to wonder whether you can instruct an LLM to weigh how certain it is in how it phrases it’s answer.
I had to Google this one, but yes, it looks like an A340 has been used in Antarctica recently [1].

[1] https://www.independent.co.uk/travel/news-and-advice/antarct...
> The Pythagorean Theorem is arguably the most famous statement in mathematics, and the fourth most beautiful equation.

Just out of curiosity, which equations are considered the top three “most beautiful?”
And keep doing that until you get to a paved road, and use that as a runway.
Hardware configuration needed
Pointing out that it's not a theorem doesn't mean it's been trivialized.

If there's no proof, it's not a theorem, by definition. That doesn't make empirical observations worthless -- far from it!
Perhaps because the mining industry for gold is one of the dirtier ?
I wonder if it would be possible to rate the code used during the training phase. For example the code could go through various static analysis tools and the result would be assigned as metadata to the code being used to train the model. The final model would then know that a given pattern is flagged as problematic by some tool and could take this into account not just to suggest new snippets but also to suggest improvements of existing snippets. Though I suppose if it was that easy, they'd have done it already.
I know; i hoped for a site that sells all the types of rings, binocular, clip-on - which are great for choking VHF vertical dipoles with the bottom leg being spokes that are obviously too short for the frequency - i digress.

I'm also just grown weary of amazon.
I'll just reiterate what is said later on. The API is documented. However this extremely important effect of calling the API is not. We called the API expecting lower I/O priority and lower CPU priority or something like that. We perhaps expected lower memory priority. Really the documentation should have spelled all of this out.

But in addition to this we got a problematic working-set cap which can absolutely destroy performance. That detail needs to be documented (and the rest of the behavior should be as well).
> A computer could never beat a Go champion

* Using the algorithms they used to beat humans at chess.

I were there during those discussions, the AI optimists argued that since computers could beat humans at chess GAI would soon be here. Then it is reasonable to argue that even a simple game like GO is impossible to solve the way we solved chess, so there needs to be more fundamental breakthroughs before GAI can happen.

That same thing is playing out today, and the AI proponents are still misunderstanding the other sides argument. The argument isn't "computers can never do this", the argument is "the algorithms and methods we use today can't do this, so there is no clear path to intelligence from where we are".
We understand the training algorithm, but not the network that was trained.

There’s the whole interpretability sub-discipline which has limited but interesting results. Those just indicate even more that we really have no idea how something like GPT-4 works inside its trained model.
defund human resources.
> I don't see why that was necessary. You can get pretty far with eyeballing it and custom cutting to fit.

i'm not saying at all that I know the answer, but eyeballing and cutting is good for a patio, but on a ziggurat or pyramid scale it seems you don't do so much eyeballing or cutting, and more planning how much material and how many slaves you're going to need for how long, and where to put the doors so the passageways will meet up, that sort of thing.
Footnote 1 on page 2 explicitly mentions the 3.5 model and the research in this paper is only about auto completion: https://arxiv.org/pdf/2306.15033.pdf

And this blog post states “beyond Codex”, again for auto completion: https://github.blog/2023-07-28-smarter-more-efficient-coding...

Lastly, OpenAI states on the original Codex page: “OpenAI Codex is a descendant of GPT-3; its training data contains both natural language and billions of lines of source code from publicly available sources, including code in public GitHub repositories.” - It included GitHub repos, but it never was only GitHub repos. https://openai.com/blog/openai-codex

Update: GitHub Community Manager confirms it here: https://github.com/orgs/community/discussions/56975#discussi...
Apple emergency update fixes new zero-day used to hack iPhones
It doesn't take long to charge, so you can top up before bed. When I've forgotten to take mine off it usually lasts all night anyway.

One exception: exercise hammers the battery. It'll work but it's not as good as my Garmin bike computer for multi-hour rides. 2 or 3 hours might mean it won't last until bedtime, 4+ and it might not last the ride.
> I disagree the Hexagon is "hard" to program - the HVX intrinsics are fairly straightforward if you've used neon/avx/etc.

The difficulty comes in launching your code on the device from the apps core. It's a bit unlike many other typical conventions for this.

I agree that once you're executing code there that "HVX intrinsics are fairly straightforward" etc
I have read a few chapters of TAOCP for fun but I have a PhD in Mathematics, and worked in Academia, so I am an outlier. I don't think Knuth's book are a difficult read - for me. But unlike you I don't make the mistake of believing everyone is as proficient as I am. I don't know a single person, among my friends and acquaintances working in SWE, that could read a page of TAOCP.
Replying to myself, because this is important:

In what scenario would be 32 MiB working-set limit, enforced when pages are swapped in, be more effective at saving memory than a similar limit enforced by the once-per-second balance-set-manager?

Obviously trimming the working set at swap time does a better job of reducing the working set, but that's not what matters. What matters is saving memory. If you are trying to save memory then trimming once a second is just as good, and far more efficient, than trimming on every page fault.

But, trimming at all on a 64 GiB machine with 47 GiB free is just silly. It doesn't make sense to spend lots of an expensive resource (CPU time == electricity == battery life) in order to save a resource which you aren't even fully using.
Bing Image Generator Prompt Leak
I have a bunch of those WW2 mats I got back when our access way was muddy in the winter. For cars you only need to lay down two strips, no need to cover the whole width of the road. They're not so hard to find in the French countryside. Some people bring them along on their 4x4s when they make excursions in the winter.
This is going to sound kind of ridiculous, but I’d go on Craigslist or eBay and buy a LaserJet 2100n. I did tech support for these about 20 years ago and they were virtually indestructible.

Not new of course, but frankly not much has changed in the laser printing world in the last decade or two. Postscript, PCL 6, it’s all the same. They’re well known, lots of solid technology in them. The 2100n has a network card so you can talk to it over Ethernet.
My whole point was that you can actually get the latest, best phone for this price.

Alternatively, you could buy a second-hand iphone 11/12 pro and use it for 5-6 years easily, with proper software support. That’s what I do, and don’t yet plan on updating - maybe the iphone 16 would be worthy for me.
From the article:

> Pythagoras is immortally linked to the discovery and proof of a theorem that bears his name – even though there is no evidence of his discovering and/or proving the theorem.

Simply quoting. It seems like

> Greek definitely did

is not a universally held belief.
So in buying such a company, do the employees get any ownership and stake?
Going by society's (total fucking lack of) reaction to climate change, there is only a preciously small percentage of people who care much at all for the quality of life of their children.

... which explains how we got here in the first place.
fool you twice, shame on you.

https://en.wikipedia.org/wiki/High-Tech_Employee_Antitrust_L...
I know the top one is generally considered to be Euler's Equation.

e^(i * pi) + 1 = 0

It's considered incredibly elegant because it manages to combine multiple fundamental mathematical concepts into a single equation.

1 is the multiplicative identity, 0 is the additive identity, pi is the circle constant, e is euler's number, i is the square root of -1, the basic building block of complex numbers.
> Pythagorean triples to measure right angles ... But that's not a theorem, just an observation. It becomes a theorem when you prove (i.e. explain why) this relationship always holds, based on more evident things. The Babylonian tablet mentioned in the article doesn't seem to do anything like that

according to the article, this Babylonian tablet does come closer to theorem than you are suggesting. They weren't using Pythagorean triples, rather they figured out that the diagonal of a unit square is the square root of 2, and knew how to calculate that:

1 + 24/60 + 51/602 + 10/603 = 1.414213
If you do not want cover letters. Please EXPLICITLY tell so in your job advertisements or contact forms. Simple. Both sides are happy the applicants don't have to provide one from AI and you don't have to read them.
not sure if you include physics, but newton, the gas laws, and einstien?
What advantages would you get by being able to reserve memory with a finer than 64-KiB granularity? Especially with 64-bit Windows it seems quite unnecessary to have finer granularity. Am I missing something?
Very well done animation. In no way does that change my mind about the eggregious continuing use of words like "learn" for what happens inside the software system.

To me, the english-language choices in how LLM and Transformers are described as working is part and parcel of the "sell" of steps-to-AGI because of normalising use of words which imply intentionality, introspection (as humans know it), thinking, cognition.

So I both love and loathe this animation. It re-inforces people's naieve tendency to "its alive" when in fact, its doing a really good job of explaining how weighted sums and statistics inform the parse, and the consequences of modulation of the products of the parse.

The programmers were very smart people. They've done well and have codified a huge body of knowledge which helps systems with producing outputs from input strings, in line with our requirements. Sounds exciting doesn't it!
You put quotes around spatial awareness but the commenter being referenced said geography.
Oh, so is this one of the stolen planes? And so they are unable to get spare parts?
I'm not getting this until LineageOS becomes available for it.. and maybe not even then, given that my 4a works just as well.
and increase the shonky operators by a magnitude never before seen. The amount of f*ked up lip jobs happening in Sydney is appalling, and the "doctors" and "nurses" performing these should be ashamed. The industry is largely unregulated...skin would just be this x 1000.
It’s just temporary - after you install a new update, every cache has to be regenerated in the background, so for a few days/week it will have a shitton of background tasks running.

Also, ios 17 likely is a bit buggy - I’m on 17.1 beta with a 12 pro max and I can say that the performance is back to how it used to be.
Ask ten people you will get ten different answers.
I have refuted that article like 1000 times already, if I ever see it again..
You didn't understand what I said, what the link implied, or how they were related, yet you forced a reply.

I hope that your insecurity was patched over at least as long as it took to write the comment: that might partially offset the time anyone else takes to read it.
Sure. CloudFlare recruiters, DM me :-)
In my interactions with GPT-4 recently, it often says that it is unsure or doesn’t know. I got access yesterday to its image-interpretation function. Below are some results in which it expresses uncertainty about what appears in a photograph.

https://www.gally.net/temp/20231015gpt4hedging/index.html

The only confabulations are when reading text. In my tests so far, GPT-4 is not a good OCR engine and does make up a lot.
I'm a colour blind graphics programmer in game development. It's definitely been seen more as a weird quirk than an issue at work and people have no problem helping when I ask for clarification about something colour coded.
Difference between a general purpose CPU vs a special purpose one.
I just did a talk with Jerry from LlamaIndex earlier this week.
https://www.youtube.com/watch?v=eLXivBehPGo

Included here is a bit of the old tried and true: NDCG/MRR/Precision @k - what you really want for measuring your information retrieval systems.

But we also talk through a bit of the "new", how to use Evals to generate the building blocks for those metrics above. You will want both hand labels and the automated Evals in the end to evaluate your system.