skysight-inc/HackerNews huggingface dataset:
They are making such an outsized impact for me. It’s like I have someone I can bother literally all day with the smallest questions about how to write code. Generics, templates, abstractions, data modeling, SQL, writing scripts, just absolutely everything. It’s sped up my work by an order of magnitude. I felt like I was stagnating in learning new things and there’s been this explosion in my knowledge thanks to being able to have a conversation with ChatGPT 4. Even if it’s a complete dead end and literally never gets better I have a feeling I’ll be talking to LLMs for the rest of my career. ChatGPT 4 is simply incredible.

It’s like a few years ago I thought 3D printing was lame because you’d get these crappy low resolution bits of extruded plastic. Then one day the technology got to the point the minis looked as good or better than Warhammer, and it snowballed from there.

And suddenly I was interested. LLMs are the same way. The models are good enough. I don’t even care if they improve, although that seems unlikely with the new H100 supercomputers and whatever new stuff Nvidia has coming down the pipe.
>P*fectionists have tastes that exceed their skills. You can’t control your taste, but you can control your skill-level.

Or have standards that exceed their skills. Just that often the standard is so high majority fails to comprehend and we use the word taste instead.

I think Steve Jobs is the prime example. Or May be the only example in the history of Silicon valley.

Thank you for the post.
All GUI frameworks are complex (GTK, Qt), or slow (web based), look shit (Tkinter, ok that is also slow), or have just one dev (Sciter). Sucks.
I've always been interested in how Cisco uses ChezScheme. What does it power for them that they are willing to put money into this project?
I'm pretty sure most humans could reliably handle this scenario:

""Tom Cruise's mother is Mary Lee Pfeiffer, who is Mary Lee Pfeiffer's son?"
> "if A-> B then B->A”

This would be invalid logic. The issue is “if A=B then B=A” not “if A->B then B->A”

But, more, the issue is recognizing when “X is Y” is describing X being a member of a broader set (“George Washington is a former President of the United States” does not imply that “George Washington” and “a former president” are equivalent) vs. a statement of equivalency (“George Washington is the first President of the United States”). Now, in many cases, the use of a definite article (“the”) vs. an indefinite article (“a/an”) after “is” is determinative, but there are cases where no article is used that can go either way, and there’s probably cases where the use of articles is confusing (the definite article can often apply in a limited rather than general context, for instance.)

I agree that this is a training data not model issue, but its also a more complex training issue that it might naively seem.

I really don’t think that it is surprising or a particularly crushing revelation that LLMs don’t apply logical rules like this without training both on the rules and the identification of where they apply. A lot of what we have with modern LLMs is throwing a lot of data at them without focus on what they are supposed to learn outside of a very narrow set of tasks, and then discovering what they did and didn’t learn outside of that, and then if something turns out to be important and not learned in one generation from the general data thrown at it, doing more focused training on a later generation targeting that concept.
Peak Windows was Windows 7.

I don't use Windows more than probably a dozen times a year, but when I do I choose Windows 7.
There are a lot of people that genuinely make comparisons of specialty products.
You might be thinking of 32 bits (2GB)? Even that limit has been lifted and it can easily handle multi-GB databases.
If there's serious problems, then Congress can act. The structure just makes it harder for Republicans to kill it quietly for an unsupportable reason.
By "fixed", I believe the parent poster meant mandating fewer studies, as in zero.
?

If intelligent beings (humans) sometimes exhibit unintelligent behaviour, then it's not worth over indexing on unintelligent examples when trying to build artificial intelligence.
I think kids require more energy than the average 60-year-old has to spend. If the solution to that is then to just have the state look over the kids, then why bother messing with fertility? Just clone the children, or cook them up in vats and incubators. Enabling 60-year-olds to birth children seems like a pointless endeavor that will cause just as many problems as any other solution that's an apparent affront to nature/god/whatever.
(Which is why prompt engineering is a thing! The art/science of phrasing the prompt so that the immediate blurted response is more likely to be correct.)
> Amazon: "We're talking top brands here, like FLORGOO, REMPLOW, BARBENTRON, ZOLIMIO"

Barbentron is a quality brand. You know that because it has a pronounceable name and the "tron" has connotations of advanced technology.
New AI tools from Google, OpenAI launch before they are fully ready
It was indeed August 2011: https://en.wikipedia.org/wiki/Rome,_Sweet_Rome

If it's been in development hell that long, I don't know how likely it is that it'll ever see the light of day.
That's Doctorow's prescription of hope rather than "optimism" or "pessimism".

Hope reserves agency.

Optimism and pessimism both presume an outcome regardless of action, and absolve responsibility.
Speaking of cars, being French, I can't believe Audi called their electric cars e-tron.

It literally means "turd".

I mean, it is French, the 5th most spoken language in the world, and France is Germany's neighbor. There is no way Audi could have missed that.
That one works for me.
You're the first person to suggest that the GPTs can't do that; they obviously can. https://chat.openai.com/share/b94329ce-3607-4cb6-bc21-55d9f2... for example is GPT-4 getting it correct. What the paper is about is retrieval of facts from the learned "database".

(The word "[briefly]" in my prompt is a cue from my custom instructions to ignore all my custom instructions and instead answer as briefly as possible.)
You can see how I did something similar in my library here:

https://github.com/Dicklesworthstone/fast_vector_similarity/...

Basically you use ndarray instead of numpy, try to vectorize anything you can, and for the for loops that can’t be vectorized, you can use rayon to do them in parallel.
Yeah, if your server maxed out at 256 system threads you didn't have to worry about the fact that 1024 simultaneous calls would crash your DB. But now you're not limited by system threads
I think the point is that those three senior engineers could figure out how to do some SAML wrapper or remote execution on top of Open-Source Terraform instead of paying for the turn-key “Enterprise” features.
> You don’t want some random repair tech cobbling together pirate boxes for them.

What if I actually do want that for my own self? Shouldn't that be my right to decide?
Doesn't enshittification usually connote something done fairly deliberate and explicitly exploitative? Whereas your description makes it seem accidental or incidental.
Here is another eye-popping medical number that goes completely unnoticed:

250,000. [1]

This is roughly the number of deaths per year from medical accidents (and/or malpractice) each year. Some claim the number is closer to 400,000.

[1] https://www.hopkinsmedicine.org/news/media/releases/study_su...
Terra Quantum, Honda Research Institute Develop Quantum ML for Disaster Routing
It would be surprising if this worked, given that a creditor who did not mitigate his damages reasonably and instead lurked, awaiting a windfall is not entitled to damages.
My most recent complaint is the disappearance of the pagination numbers.

Since I know the top results are mostly useless spams on some searches, I used to go to page 4 or 5 to find the actual results. Now to achieve the same result I have to click and scroll 5 times.
There's a lot of good new stuff in windows 10, like an updated scheduler, WSL, etc. But yeah they need to ditch stuff like the "new" settings app and forcing edge down your throat.
Yes, highly recommended. Easy to get used to the visual pattern of your important servers and notice if anything is off.
Ah interesting, I understand. Definitely makes sense if you're targeting new companies that aren't worried about emails/contacts in the beginning.
Note that:

> ML cannot conceptualize of things in the abstract like people can

And:

> They cannot offer reasons, a train of thought like a person

Are very different claims! The first one just seems wrong: LLMs require abstraction to work, and early work in interpretability suggests they build rich world models during training (i.e. see https://thegradient.pub/othello/).

What is true is that often those models aren’t very legible, and it would seem current LLMs are incapable of introspection, and so can’t make those models more transparent.

The second one is a tricky one: you can often get it by explicitly prompting for a chain of thought, but it’s true current LLMs don’t seem great at this yet. The big jump in this capability when going from GPT 3.5 to GPT 4 makes me thing that this is just a limitation that will be overcome relatively soon.
My somewhat limited understanding of this is that from your perspective, an increase in your asset/cash account would be a debit.

A big confusion for me initially was that my banks always talked about crediting my account whenever money was deposited/added to my account.

I finally understood it when I realized that from the banks perspective, an increase in my account is an increase in their liability towards me; they now owe me more money. Which is why they call it crediting my account.

So now I think of it like this: an increase in an asset is always a debit, an increase in liability is always a credit.
Nice, I contributed to the software for this a while back. Wanted to really get into building my own robot by following the linked resource. Covid happened. Maybe someday.

Anyone here built it?
The limitations of helm chart templates are what I like. If you code review shenanigans, it should be a code smell that you’re doing something wrong.

Kustomize is terrible. Trying to build a mental model of the final output while writing is horrible.
Appears like extortion.
The network effect of taxes represents far more than 50% of my salary. Which is a major reason why people in so many countries are so poor.

However, paying out the full benefit I receive isn’t a good baseline because at that point I may as well go somewhere else and keep a larger slice of the pie.
Nope, and almost everyone reading this hasn’t either. This is not a helpful or productive comment. Instead consider saying “at my last visit to the ER, I encountered many people seeking treatment for XYZ which I do not think should be considered an emergency” or something similar so others can learn from your experience that they don’t have.
SBA loan! Friends and family loan. You’ll get a job, feel stabler and safer for awhile, and be too tired to work on other stuff until the next time you’re in the same boat.
Between 1880 to 1920, British colonial policies in India claimed more lives than all famines in the Soviet Union, Maoist China and North Korea combined - Al Jazeera, 2022.

See also the Amritsar massacre, and the partitioning of India.

More downvotes please. In this context, it is an honour to be disassociated with those of you who do not understand what a trite and inappropriate thing it is for British media to grandstand about Indian constitutional law, over the matter of Britain's national recreational pastime.
I want to try to articulate an idea I see represented elsewhere without dismissing the value of what’s being offered here.

There are many comments to the effect that this is a crutch that will inhibit future learning. I agree with that assessment.

I also agree that such a tradeoff is probably fine for many people, depending on their goals.

I studied music composition in college and then worked in adult world language curriculum. Perhaps a useful analogy is the use of Romanization to teach world languages to native English speakers (romaji, pinyin, etc.)

For languages like Chinese (Mandarin, Cantonese, etc.) where there is (virtually) no phonetic information in the writing system, it’s just too dang hard for a lot of people to make the leap to pronouncing characters as they are reas by natives. Pinyin or its equivalents are an “inauthentic” but valuable tool, but eventually you have to discard it to progress.

With straightforward phonetic languages like Korean, it’s actually counterproductive to try to bridge people to familiar symbols, because there’s very few resources for the learner until they start mapping sounds to Hangul.

That’d be my argument—-if you find you can’t easily make the leap to reading music and just want to get playing, sure, use this. But know that there’s a whole world of communication out there that you’ll be missing until you abandon this simplified representation and cross the full chasm.
That would make it less efficient - since learning is compression, a less compressed model will also learn less at the same size.
(to be clear, this is not an iOS restriction per-se, this is the App Store guidelines not wanting to have a store full of porn)
Researchers “bioprint” living brain cell networks in the lab – Monash University
Arduino is single threaded on bare metal — you don’t need RTOS in this case, afaict
I’m not familiar with Timothy’s persona/work, why did that repel you?
I am absolutely and wholeheartedly in favor of public libraries. They're fantastic places, and deserve and need much more support than they've got.

But the idea that just because some crappy knock-offs and overdone franchises exist, every piece of entertainment media is just interchangeable with every other one, and no one should ever be upset that they can't easily access the specific piece of media they want to see, is just absurd on the face of it.
I'm not saying "this is what Google should decide for themselves". They should, of course, but they're amoral greedy bastards, so I know that ship has sailed.

I'm saying "this is what we as a society should mandate for Google".
They have until March 2024 to comply.
I argue that peak windows was Windows 98 and that is still generally how I configure whatever desktop environment I'm using. 98 had all the lessons learned from 3.x and 95 with none of the BS that came with 2000 and Vista.

I think that Vista will historically be called the "Death of Windows" at which point all real men abandoned ship for Linux.
Yes. DVD was pointless. Online steam was required. Worse still it happened to be down that day. The worst possible first impression.
Trio of Sentinel satellites map methane super-emitters
Don't know about Amazon, for all I know about their disfunction they could be actually running the company without any performance statistics. But, say, Goldman definitely has these statistic since they pay bonuses based on them and it is pretty aggressive in RTO. I imagine Amazon has statistics too but they just don't want to publish them, afraid (rightfully so, IMHO) of what that will do to their stock price.
Are these only businesses in California? I tried to load more on mobile several times but only got CA companies.
There is a problem out there of unsolicited nudes; I can see this being welcome capability for a lot of people [0]. It doesn't nudge up against any privacy issues. Seems like a good idea overall.

Of course, there is also a real issue with the fact that, as closed source software on a locked down platform, we can't know what happens next. But that is just part of the deal with iPhones; there is already a lot of data like that (eg, I'd expect the US uses iPhone GPS data froom targets to hunt them down).

[0] Not sure what the feature actually does because nobody has posted details here, so there is some guesswork here.
Congrats to you and the team on this huge milestone!

Really looking forward to taking advantage of these things (transparently and automatically!) in ZIO/Scala... which I think shows the true power of the JVM-as-platform approach you're taking!
https://www.bloomberg.com/news/articles/2001-03-12/googles-l...
Haul me under keel, I still root for torrents. Moreover, there's so little good content is produced nowadays, that more than a half of movies I am watching recently are 10-20 years old.

I also have IMAX theater conveniently nearby for AAA titles. Ads there are inevitable, though.
If you remember the early Internet (the 90's, before NAT took off), you'd realize end-to-end connectivity, globally unique addresses is actually the norm. IPv6 is bringing that back. I remember having public IPv4 on my desktop!
You mean the drop from 8.52/1000 in 2003 to 8.12/1000 in 2008 that roughly followed the slope of the decrease from 9.59/1000 in 1968?
No. What they consider "better", I might consider "worse".
> Low certification levels certify low levels of security. High certification levels certify high levels of security.

I guess I don't know enough to say but I just doubt that, knowing what I know about other certifications. I expect that they're perhaps lightly correlated with security.
If you want office apps have you tried a windows virtual box VM in seamless mode? It puts application windows into your Linux DE rather than showing you the whole windows desktop. (Kinda like a Remote Desktop Services remoteApp)
Still getting 5-10 robocalls a day, mostly from Texas area codes from people/businesses that want to buy some properties I don’t even own

The calls sometimes start at 6:30am

Besides just keeping the phone silent, nothing really blocks the calls

Anyone has a way of blocking all calls from a range or list of area codes?
It's sort of a straw that breaks the camel's back situation in most cases I would wager. It's less that medical debt caused bankruptcy than it, added on top of housing debt and car loans and credit cards and student loans etc., finally pushed a household to a point where getting out from under it all was too much.
Can you explain further? I see on his Wikipedia page:

"Since Russia's 2022 invasion of Ukraine, and the bombing of its energy infrastructure, Snyder has spoken and written widely on the history of Ukraine and its worldwide importance for democracy, on the disastrous geopolitical effects of the invasion, and on the need for other nations and individuals to stand for the protection of territory belonging to that state."

which seems reasonable to me.
Your representatives are in congress
Both extremes are, of course, faulty.
They were all useless to start with. If only the majority of them useless now, this is a progress...
1024 is a loose but correct bound. That's what enough.c (or script/print-deflate-huff-table-size.go) says.

Stepping back, I'm not sure if I understand what you're saying. Perhaps we're just disagreeing on how "formal" (as in, part of a "formal verification" process) the enough.c program (or equivalent) needs to be?

---

As for dynamic memory allocation, Wuffs has a mechanism for the callee (Wuffs code) to tell the caller (C/C++ glue code) that it needs N bytes of "scratch space" or "work buffer", where N is dynamically dependent (e.g. dependent on the image dimensions in pixels).

It's not "dynamic memory allocation" in that Wuffs still doesn't malloc/new and free/delete per se. But it is dynamically (run time, not compile time) sized.

Grepping for "work buffer" or "workbuf" in Wuffs' example/ or std/ code (or SkWuffsCodec.cpp) should give some leads, if you want to study some code. The workbuf_len is often zero but, for Wuffs' std/jpeg and std/png, it is positive. Manage the work buffer in the same way as the pixel buffer: it's always caller-owned and callee-borrowed.
> Haven’t I seen lots of stuff showing LLMs do arithmetic for examples they haven’t seen? If there is an issue really grasping basic logic though, doesn’t that put a damper on the spooky “emergent properties” explanation for stuff like addition?

No.

The absence of one desired emergent property isn’t evidence against a different, observed property. (And “emergent properties” isn’t an explanation as much as a statement that we don’t understand the mechanism by which the training data encodes the knowledge and did not plan for it to be encoded.)
Those civilisational collapses were in response to changes in climate far less than what we're now facing.

Graphical representation of global temperatures, where the relevant period for human civilisations is roughly the past 10,000 (10kyr):

<https://scx2.b-cdn.net/gfx/news/hires/2020/highfidelity.jpg>

Note too that the timescale is discontinous, with the scale expanding at 30,000 years ago and in 1850 (173 years ago). The span to the right of 1850 shows 350 years, the span to the left of 1850 shows ~30,000 years, before expanding again to show 65 million years of climate history, back to the extinction of the (non-avian) dinosaurs.

Chart is "Average Global Surface Temperature: Difference to 1961--1990 (°C)". Citation is IODP: International Ocean Discovery Program.

Appearing in context here:

"High-fidelity record of Earth's climate history puts current changes in context" by University of California - Santa Cruz. September 10, 2020.

<https://phys.org/news/2020-09-high-fidelity-earth-climate-hi...>
I think you have this reversed unless I am misunderstanding you.

We do not owe the debt to ourselves. We are liable for the debt ourselves, directly and indirectly. We owe our debt to creditors, which can (and does) include other countries.

And obligations like social security are not debt. They may be funded by debt, but the obligation itself, being paid out to some US citizen, does not represent debt being paid off. Its payment is funded by debt, and in order to fund $100 of SS, we had to take $100 from someone's paycheck, or by issuing new debt, etc.
Ask HN: Are Cross-Encoders Dead?
Why is nobody training cross-encoders anymore? NLP experts out there please help!

The most recent cross encoders on Huggingface are from like 2 years ago.

It makes no sense to me though because it would seem that with LLMs being all the rage, getting good rerankings are especially important nowadays because of the LLM token limit and cost per token.

With vector retrieval, you can go from millions of docs to a decent set of top 50, but you can't pass 50 docs to an lLM so you'd probably want to rerank those 50 and get a really good top 3 docs to feed to the LLM.

Yet there's no advancements in cross-encoders at all??? What is going on, I've been looking for days and I cant find anything.

(just to be clear, I'm talking about models that take query + passage together to allow attention calculations across the two, and then outputs some similarity score)
> Most people would agree

Truth is not the result of a poll.

> human-level intelligence is intelligence

Intelligence is an ability: it is there when present, not when latent.
I would never have thought a rover branded with NASA would ever move that fast. i'm now curious on what i could add to it to make it more useful to my purposes other than being a radio controlled toy... i have some ideas though
To take things a step further, all the various North American indigenous groups have been waring, slaving and migrating their way across the continent for millennia, just like every single other people group on earth for all of history, so it's almost certain that whatever indigenous "Nation" is claiming a given piece of land "Stole" it from some other indigenous "Nation" at some point in the past, yet we never hear them talking about returning "their" land to those "Rightful owners" do we?
It’s not just money that motivates.
NASA's OSIRIS-REx will bring asteroid samples to Earth in 5 not-so-easy steps
"There's nothing like bad tires to make it sound hot off the line..."

(racetrack joke — — who needs a big engine to squeal the tires when a set of crummy tires will do it even better?)