skysight-inc/HackerNews huggingface dataset:
> strikes me as something of a language flaw that without pimpl any addition/removal/ modification of private member functions, or even renaming of private member variables triggers full recompilation of every source file that needs to use a particular class.

It is not a language flaw. C++ requires types to be complete when defining them because it needs to have access to their internal structure and layout to be in a position to apply all the optimizations that C++ is renowned for. Knowing this, at most it's a design tradeoff, and one where C++ came out winning.

For the rare cases where these irrelevant details are relevant, C++ also offers workarounds. The pimpl family of techniques is one of them, and type erasure techniques are also useful, and protocol classes with final implementations are clearly another one. Nevertheless, the fact that these techniques are far from being widely used demonstrates that there is zero need to implement them at the core language level.
The code itself, its elegance and cleverness can be a point in itself. I'd argue it's a stupid point (with a few exceptions ala CCC), but for some people it does seem to be the main driver.
Searching for Paul C. Pratt
I admit I haven't followed the field closely, but when reading papers about MOND I've never gotten that impression.

Do you have some examples?

edit: I hadn't read (or forgotten) the notes by Milgrom as shared in the other reply.
Things have changed drastically (a lot more than I expected) since the mobile revolution.
I mean that it simply surfaces patterns in the training data.

So responses will be an 'agregation' (obviously more complex than that) of similar prompt/response from the training corpus, with some randomness thrown in to make things more interesting.
I'm sympathetic to this, but I ultimately think that it's wrong.

The Sagrada Familia is a thing, and everybody knows (who knows it) what that thing is. It has clear physical boundaries, and to paraphrase Soul Coughing, you can put your hands on it and then back on yourself and then back on it and say "Is Sagrada, is not Sagrada, is Sagrada ..."

The problem with things like jazz is that jazz isn't a thing. It doesn't have boundaries. You can't point to it, only to (nominal examples of) it. And people don't always agree that a given thing is an example of jazz. Some people want there to be something that unites all jazz at some level, so that "when jazz happens, you know it", but I really don't think that's true of the full spectrum of musical expression that is sometimes labelled "jazz".

What Sun Ra was doing is far from what the late 70s jazz-fusion guys were doing is so far from what Tord Gustavson is doing is so far from the Armstrong big band was doing is ...

To me, trying to say that there's some unitary idea that somehow connects all these things (and more) and that you know it or you don't ... well, maybe I don't know it.

My real point is that what ought to matter is whether you like the music. Whether it's jazz or not is really just a distraction.
That would certainly be one way of attaining long term vision.

But who will enforce this requirement? Only pension funds and other large shareholders have any (and often impractical) leverage over the board C-suite. Wall-street shareholders demand faster growth until they themselves can exit out. They don't care about the business or the services or the employees. They want a high growth return, year-over-year until their own investment carry continues to exist.
I believe RTX 4090 (~$1600) is the same raw die as RTX 6000 Ada (~$10,000). Hell of a business, if you can get into it.
The article:

>>Today's AI models are missing the ability to reason abstractly, including asking and answering questions of "Why?" and "How?"

Your comment:

>> This claim seems over general, because you can ask gpt-4 'Why' and 'How' questions and it seems to do a pretty good job.

The article says today's AI models can't ask why and how. You say _you_ can ask why and how.
In no way are smaller creators "hurt" by shortening copyright. They'd still be able to enjoy their special privileges long enough to make plenty of money, and can continue to make money on their works long after they have entered the public domain.
Such a loss. I've spent many hours reading vim's incredible source code and documentation while developing a vim emulation plugin for the Julia REPL. Absolute world class codebase.

Moolenaar was an amazing programmer, and his impact will be long lasting. May he rest in peace.
Exactly. There's a good chance that climate change efforts are far better targetted at super emitters. We have limited resources and these are relatively low-hanging fruit.
And frankly layoffs had almost no effect on their stock prices. Announcing new products, even if quite half-baked AI efforts, had much bigger impact on stock prices than layoffs.
It won well before GitHub. and I always liked it better than Mercurial too :)
I don’t understand why ENS doesn’t support normal record types (A, AAAA, etc.) Support for these was in the original design for ENS. I hope we see more support for alternative roots in the future. Brave browser, which is already fairly crypto-friendly, could add an ENS resolver for example. Maybe this is something someone could build as a browser extension?
Putting the capitalized 'Starship' in the same sentence with a cancer cure and superconductors plays 'One of These Things (Is Not Like the Others)' in my head.
The observation that we seem to live in the emptiest region of known space should cast doubt on our understanding of universe. Are we watching through fish-eyed lens? Something kills life after critical concentration? Funny third option?
I've worked on ML model quantization. The open source 4-bit or 8-bit quantization isn't as good as one can get - there are much fancier techniques to keep predictive performance while squeezing size.

Some techniques (like quantization-aware training) involve changes to training.
Obviously relying on Google for money is fraught, but it isn't exactly clear where they'd get an equivalent source of income. Otherwise the subtext seems to be "I don't like their politics" which suggests maybe the author shouldn't donate any money to them. Personally I would be sad if Firefox was neglected, but that doesn't seem to be happening, as far as I can see.
oh man such sweet memories from the mid 90s

a wonderful, historical resource
Pushing for copyright change is actual change. It's just unlikely to happen while our law makers are representing the interests of corporations instead of the people.
The scp protocol is deprecated, the scp command is alive and well.
"The young disciple carefully turned the pages of the forgotten tome"

What is the name of this literally crime?
+1 Would very much welcome you authoring something on this topic.
Most likely related to the recent discussion about Cloudflare's DNS handling 1.3T queries/day [0]

You tend to get a few echoes relating to popular posts (or comments from those posts that suggest alternatives and/or pros and cons)

0: https://news.ycombinator.com/item?id=36984419
Yeah, but that's a balance like everything else. It's far too easy to end up somewhere where the complete design requires added complexity to figure out the state of the multipurposed pins (and that associated logic's additional pin count) that you end up with a harder to manufacture product.

Edit: adding that this is in the late 70s/early 80s where final integrators were using a bunch of 7000s-esque logic to glue the board together. Nowadays of course we can assume so many transistors on both sides of a trace that super generic sets of SERDES-style pairs makes sense nowadays for most complex buses.
Bad header organization is perhaps the gravest yet unspoken cardinal sin of both C and C++ development.

I lost count of the number of times that I had to deal with cyclic dependencies accidentally introduced by someone when they started to add #include without any criteria.
I'm extremely underqualified (non-native speaker) but first time I heard this and paid attention was from Dave Chinner (linux developer) who is australian and he was using a very pronounced linking r.
I have been programming for more than 15 years. I've used vim since the very beginning and it always puzzled me as something so genuinely clever. Using vim is a joy. I feel good while doing it. Bram has been this strong influence in my life all due to his software.
Years ago I read somewhere, perhaps on HN, a fascinating strategy for winning a mega-lottery but not getting one’s life ruined. Per this strategy, once you see you have the winning number, the very first thing you should do is walk into a major law firm, and not settle for any representation lower than partner. That lawyer would then be able to manage the whole money-collection process in a way that could maximize your privacy and avoid scams.
Ahh the perfect date.
Milgrom's view on the bullet cluster:

http://astroweb.case.edu/ssm/mond/moti_bullet.html

LCDM also apparently fails to explain the velocity of the bullet cluster, so it's not like it's slam dunk for DM (collision velocity better matches MOND).

Some MOND proponents posit "sterile neutrinos" to complete the theory in some cases, like the bullet cluster. And then there are bullet cluster-like failures for LCDM that get papered over:

https://tritonstation.com/2016/12/23/crater-2-the-bullet-clu...

There have also been recent measures that suggest that much existing data is actually more consistent with warm regular matter that has so far gone undetected rather than cold dark matter.

The dark matter "consensus" is a flimsy facade covering a lot of gaping holes. Something's gotta give.
Unreal Engine actually switched to C++20 with their next release (preview available).

I was quite surprised to read this in their roadmap, as Unreal's codebase is quite massive and also uses some custom build tools.
I’m curious: do you use a `const std::unique_ptr<Impl>` or just a `std::unique_ptr<T>` or do you have a template that provides value semantics for the `Impl`? If I used PImpl a lot I’d make a `value<T>` that encapsulates ownership with value semantics.
> bad actors have an inherent right to exercise their bad actions? It's on every individual to defend themselves against whatever harm is being inflicted, and society should stand by because, again, inherent right to be awful should be protected?

I don't know about the right to be awful; but there is something deeply unsettling about governments not trusting their people to decide for themselves what kind of information they want to access. Centuries ago, people weren't trusted to read Wycliffe's translation of the Bible. In the Soviet Union, people weren't allowed to read The Gulag Archipelago. Now it's RT. It's preposterous.
Ask facebook
> Just because you're an immunologist doesn't mean you carry spare adrenaline, antihistamines, inhalers, and steroid infusions in your fanny pack at conventions.

Maybe they should.

> It's a bit like expecting a hacker to hack a network without their laptop.

A real hacker can break into a network with some bubblegum, a pen, and a corgi.
I never knew <a onClick > was a thing :D nice thread
The problem with arm is that it is lacking in software support and optimizations compared to x86; it's only recently that there's proof of viability of arm cpus outside mobile through apple, and they also have the advantage of full stack integration and over a decade of experience building the best performing ARM cpus.

So there's a reason why they'd prefer x86. Hopefully they manage to release an ARM competitor for the desktop market, though with AI boom, it seems more likely that it will be a server focused on supporting their GPU lineup.
"There has not been a Mega Millions jackpot winner since April 18."

That should give you an idea of the extremely extremely low chances of winning the jackpot.
https://archive.ph/WfDJh

>It turns out the percentage of the globe that burns each year has been declining since 2001.
I'm sure there are better methods! But in this case, MKML's numbers just don't look impressive when placed alongside the prominent quantization techniques already in use. According to this chart [0] it's most similar in size to a Q6_K quantization, and if anything has slightly worse perplexity.

If their technique were better, I imagine that the company would acknowledge the existence of the open source techniques and show them in their comparisons, instead of pretending the only other option is the raw fp16 model.

[0] https://old.reddit.com/r/LocalLLaMA/comments/142q5k5/updated...
>As long as there are enough people actually preferring live humans

I don't think that's a high bar. Maybe they prefer A class live humans, but there are certainly plenty of "filler" holes that most people won't ever perceive as missing.
From another article [0]:

> Vaught is mostly a Musk fan, as he's interested in Musk's electric cars and space developments. He said that this experience with X hasn't tainted his opinion of Musk or his relationship too much with X as a platform. He's holding out hope that Musk has a long-term plan for where Musk is taking X, but like many users, he's struggling to adjust to the rebranding. Vaught still refers to the platform by its original name.

I love the smell of 'cult of personality'

[0] https://arstechnica.com/tech-policy/2023/08/x-user-super-pis...
It's the "or just" being the issue there, not the "use 2fa".
i’m not surprised this happened. with @x, it sort-of makes sense. but to randomly pull handles the company wants like this is a bit beyond the pale of fostering a friendly community.
Impressive. To be fair, a lot of typewriters jam if you press more than one key at a time, plus they are very loud.
That is a very narrow and frankly sweepingly incorrect description of "CEOs" or "companies". They're not all the same. I for one (alongside many other investors) carefully study incentive programs and compensation oversight executed by the board of directors. There are many thoughtful companies (and CEOs) who e.g. align over very long-term targets, such as '5 year return on capital". Investors have found out a long time ago that incentivizing by short-term measures such as share price (or revenues, or EPS) can bring about very adverse long-term investing outcomes.
Sure, that's the impression. But does it actually hold up in practice for everyone, beyond anecdata?
Now I'm curious about mortality rates in the weeks following a conference. "Lemme try this neat trick I learned..."
These are great and Tim Hunkin is great too! I fondly remember watching these when they first aired on TV in the UK when I was a kid - and they're on YouTube and still great!

His yt channel is also good, lots of really interesting maker stuff.
Oh neat- your scaffolding reminds me of Erwin Hauer
"The opposite of free will is not determinism or coercion, it's compulsion" - Joscha Bach

Joscha Bach argues that nondeterminism would not sustain will at all, because it is all unguided randomness. Only determinism can lead to order and structure of will. The "free" as in liberated part is the way more philosophically involved one.

Anyway, I don't think that the notion of "free will" is even interesting, the question should rather be does it (AGI) have agency?
Stock buybacks used to be illegal. Lots of ways to use policy to encourage long-term shareholder value if boards and corporate bylaws won’t.
> I'd want some way to coerce companies into making physical media but I'm not sure that can be done.

Don't worry about physical media. Formats come and go. In order for a company to have any copyright protections at all on a work, a high quality digital version should have to be submitted to the copyright office which should automatically make that copy available at copyright.gov the instant the copyright on the work expires. Any edits or censored versions a company puts out later would then need to be copyrighted and submitted to the copyright office separately making sure that the originals are always preserved and available.
Also, using the word "codecs" kind of puts a bad taste in my mouth. It's like they're trying to sound like they invented an entirely new paradigm, with their own fancy name that reminds people of video compression.
'Possibility' - thus as per my original point, the burden of proof is on the proponents.

'outputs and inputs' - that is reduction almost to absurdity, clearly human intelligence is rather more than that. Again, we come back to the 'we don't understand human intelligence therefore something else we don't understand but seems to mimic humans under certain conditions is also intelligent'.
Something something free market.
I'm reminded of the song by Christy Moore about being laid off:

It seems to me such a cruel irony /

He's richer now then he ever was before /

And now my cheque is spent, I can't afford the rent /

There's one law for the rich, one law for the poor /
The 6000 ada has 48gb of gddr though.

https://www.tomshardware.com/news/nvidia-rtx-6000-ada-now-av...
I definitely want to be in ownership of the things I purchase. With streaming services your content can be taken away from you. No thanks.
I'd love to see this demonstration include a heat lamp afterwards, and show the flake fall onto the magnet once it exceeded its transition temperature.

Other than this being digital or physical trickery, I'm starting to feel like it's just a matter of time, a formality, before LK-99 is confirmed to be a RT, ambient pressure superconductor. What a discovery!
I do think this is philosophically unjust, but in no way should anyone have built any brand on Twitter, particularly a generic like “music”, and not expected something like this would happen. Twitter in particular has a long and storied history of this sort of thing.

I think the move should have been, if one were going to start on Twitter, to slowly funnel the largest possible portion of their 11M followers to their own external site, or collaborated with I don’t know Spotify to funnel people there for cash.
Keep in mind that Musk's stated ambition with X is to make it "the everything app".

Imagine if Google started grabbing Gmail addresses it wanted for products.
Whoops! I should have fact-checked that: I had it in my head that it was recent based on there being so much recent discussion of it online. I've updated the post
No it means the beginning of people playing recordings of loud mechanical keyboards all day to thwart the snooping algorithms.
What about Unum's quantization methods?

https://github.com/unum-cloud/usearch
This is my first Rust project, so if you are an expert I would love a code review!

Seeing a few uses of `unsafe`, a few of `expect`. Wonder if you can mmap the binary model in without unsafe??
Sounds like a hardware defect. 2 years of zero crashes with my 6600XT.
I know I’m going to miss reading his goofy email signatures.

Rest in peace Bram.
Specifying button-looking elements for regular navigation actions is definitely wrong, and nearly all UX and UI designers will understand that.

If it triggers an action with consequences, or even navigates users to a single-purpose page where they can select options or confirm the action-- e.g. 'cancel subscription now' or similar-- then it probably should look like a button.
Is it possible the absence of "links" is unintentional.

As a web user, this sort of "design" has made me focus as a practical matter more on HTTP (requests) instead of HTML (links). It's easy for me to make the links myself once I know where the requests need to go.

It's easy to take JSON and make own HTML. No Javascript needed.
And conversely, if you are using classical polymorphism, you can get essentially the effect of PImpl by having an abstract base class with a static factory function that returns a unique pointer, then implement that factory function by in the cpp file having a concrete class that is defined there and returned as a `std::unique_ptr<IBase>`. That gives you separation of API from implementation without a memory indirection, but you then can’t have it as a value type.
In theory, for the studios who care about good products, yes. I really do look forward to making a good base (say, a rigged 3d model) and having AI fix the seams in a skin or add some extra little flair to an animation. Those will be very nice accompaniments to what is currently very tedious tasks to hand fix.

But I think we both know how and where large copoprate entities are going to use these tools. They made it very clear given their whole refusal to deal with unions thing.
I totally agree with all of this. But:

>Let me see scroll bars Please don't hide them for the sake of your "slick" ui. Sometimes I want to click on the scrollbar and drag it. Just a normal web thing.

I don't see any on FF Android :P
> output that is objectively better or the same as human level reasoning... it's just not doing this consistently

I'd say the inability to do it consistently is because it's not reasoning.
On the one hand, it's unsurprising that platforms would do this, users sign up for TOS with terrible policies and realize too late that they're the product. Too, a handle like '@music' was also an opportunistic bet on hub status of one's own.

On the other hand, the sense of arrogance and entitlement on display here marks an impressive new nadir in fuck-you capitalism. Contractual arguments are sort of meaningless since most user agreements are extremely one-sided contracts of adhesion and the judicial establishment often rejects equitable arguments in favor of narrow technical ones, notwithstanding the vast asymmetries between user and service provider. All the legal, economic, and (increasingly) social incentives favor abusive behavior.

https://knowyourmeme.com/memes/i-made-this
What a bizarre artifact. There's something almost cargo cult about it. I wonder if it counts as a skeuomorph.
Given your username, you might find this interesting:

https://en.m.wikipedia.org/wiki/Tempest_(codename)

TEMPEST considered almost everything from electromagnetic leakage to exactly the attack described here.
Google doesn't use @gmail though I know what you mean. X/Twitter should do like Google and use another designation for their own "handles"/services. "@" is pedestrian because everyone on that platform is "@something". A different pattern for official accounts would make sense to me. Just as Google doens't use "@gmail.com" for their own product emails.
Years ago I sent a donation to his charity and was pleasantly surprised to get a personal thanks from Bram. A wonderful person.
I use to use kermit with Coherent OS to log into the Sun System at work. It was setup to dial into work, then work would call be back and kermit would answer.

This avoided long-distant charges :)

good times, coherent info:

https://en.wikipedia.org/wiki/Coherent_%28operating_system%2...
> This skill only develops if people have to deal with lies on a daily basis.

It's called critical thinking, and applies to every facet of life. A person can honestly believe what they are saying, but their belief is not, on its own, evidence that what they are saying is true.

I think schools in the US don't really teach critical thinking, so much as regurgitation. I almost wish schools required a full semester course of debate, pushing students to craft arguments both for and against various topics. I suspect our politics might look a lot different if people were generally more skeptical of the things they're told to just accept.
HN loves to simultaneously criticize Mozilla for

1) being financially dependent on Google

2) spending resources on literally anything except Firefox

3) doing anything that smells like monetizing Firefox, no matter how innocuous

Spoiler alert: They have essentially no hope of avoiding 1 without doing at least a little bit of 2 or 3. Unlike Google, Apple, and Microsoft, they don't have billions of dollars coming through the backdoor from other business units.

As for "whether they can stand up to them", they can and do, all the time. Including _literally this week_ with Google's Web integrity bullshit. Whether it accomplishes much is a different matter, but it's not for lack of an attempt on their part.
They mention git worktrees in the next paragraph.