skysight-inc/HackerNews huggingface dataset:
I can go to my basement, lay down a track on a free daw that comes with my audio interface with an arbitrary number of tracks if I so please, then take that material and distribute it around the world on the internet.

This is like an unprecedented golden age for the amateur musician. You can now record and distribute on your own and make some money off of it too. Music was never this easy to make, record, and distribute as it is today.
This is a really interesting story!
> At this point, somebody will jump in with

At this point you need to jump up and point to:

1. Ordinary banks are not sued for absolutely the same thing, which probably occurs to much bigger extent in major banks which pass many times more transactions than Binance

2. Forget about Russian darknets, Russian mafia lives in London, and New York in the open to complete disregard of the same financial regulators.

3. It's practically impossible to catch people who can fake, or buy a passport to do small scale money laundering, but forget about the small fish.

BILLIONS of Russian money gets laundered through biggest US banks every day completely legally, through schemes known to all big banks, and financial regulators for decades.
Is it even fair to call it “doing business with a company” when you’re basically just probing an opaque automated system? Sure, if you’re a supplier or say large advertiser, perhaps you are “doing business” but this sounds more like fighting for scraps together with a mix of honest and dishonest players hoping that the anti-fraud gods show you mercy and bless you with rev-share.
Sapling – A Scalable, User-Friendly Source Control System
you cant, "It's apple punishing you for their own failure..."
> the "obviously" wrong option

But it's not, hence the aforementioned bikeshedding. When Rust enum variants have data, they're like C unions with automatically-inserted tag checking. When Rust enums don't have data, they're like C enums (they're literally how you do FFI interop with enums in C, which should demonstrate beyond a shadow of a doubt that `enum` isn't categorically wrong). They have the properties of both depending on how they're defined, but at the end of the day they technically have more in common with C enums than C unions (which is why Rust also has `union` for doing C FFI).

> to get C++ programmers on board, wouldn't the obvious name not be "variant"?

Most early Rust contributors were also C++ programmers (due to Mozilla), and I don't recall a single person ever suggesting `variant` as the keyword. I suspect people here are overestimating the mindshare of boost::variant as of 2014.
The problem is that they are vaccines, "vaccine" doesn't mean what you think.

The best vaccines are sterilizing, meaning that they prevent disease and transmission often enough that very high rates of vaccination extirpate the virus.

It might be useful for discussion purposes if "vaccine" meant "sterilizing vaccine" and vaccines which don't work as well had some other name, but that's not how it works.
A Cosmic Thanksgiving
but remember the App Store review protects people from bait and switch! /s
I don't find "you can implement tagged unions with regular unions but not vice versa" all that interesting of a statement, since one forces tags on you it's not enlightening that you can't remove them, and with any other structuring mechanism you can add tags back in.
For a beginner to Qt (not necessarily programming. not even C++. Just Qt.), most of this tends to be magic though.

The build system automatically embeds all the QML files into the program binary.
The QObject system transparently adds reflection to C++, using the build system.
The QmlEngine that keeps track of properties that are in use and automatically updating the dependent values, and the headaches that come with broken bindings.

Not saying it is a big deal to learn or anything, but a lot of this stuff is not what "traditional C++ devs" are used to. I had to teach some new devs "Intro to Qt for C++ progammers", so i got to see this from their perspective.
Yes, but in majority of cases you still need some legal entity that can convert crypto to fiat so you can actually buy stuff with real money. Would be enough to forbid that and crypto is pretty much done.
You need other magic. C++Builder does it via compiler extensions for properties/events instead of something like moc, so at least it’s a closer-to-code compilation.

One day it’ll be in C++ natively. PME (property, method, event) was proposed to the committee in 2002. Modern C++ uses a different approach, but as is common with current additions, it can be argued is far more verbose and clumsy.

https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2002/n13...

Then of course Microsoft has their property (subset) syntax, Unreal Engine has their macros and build system, Qt has reflection and C++Builder the same via extended RTTI… everyone who needs this, whether it’s Qt, MS, Epic, Embarcadero, etc reinvents their own mostly overlapping wheels. And still in 2023 a solved problem has not made it into the standard. The most powerful in terms of width of features is C++Builder and I often wonder what would happen if Epic adopted a similar or the same pattern instead of using macros and preprocessing. Probably C++ would be forced to either split or adopt support for the features multiple companies need.
"C++ calls it variant."

"OK, let's not go with that then"

"C calls it union"

"OK, we DEFINITELY can't call it that"
> Git was made by C people and they’re used to referring to entire data structures by way of some root element.

FWIW this is actually backwards. The word "branch" was already in common use (to refer to the same basic idea) in SCM systems going back decades, and in almost all of those a "branch" was indeed a first class object with its own data that acted as a "container" for commits, both semantically and physically.

The fact that a "branch" is just a pointer is in fact a git innovation on top of the former idea.
Is there grift involved? Sure. Would we be better off or safer without the regulations? Hell no.
Couldn't you say the same thing about literally any other comment and discussion on HN?
Are we really surprised? Linux users are just way more involved - this is the community that will spend 6 months getting a sound driver installed after all.
If you think humanity being lost is acceptable, then it's hard to discuss anything else on this topic.
Not just instead of a service.

Always write a library first.

Not for any specific benefits, though these exist, but for architectural reasons. You can trivially wrap a library into pretty much everything else, but not the other way around.

In fact, on macOS/iOS I put all functionality in frameworks, as these have structure and can thus contain other frameworks and non-code resources, which is more difficult with a library.

https://blog.metaobject.com/2020/06/mpwtest-only-tests-frame...
The accounting hassles of escrow and eventual escheatment of the $100k will probably cost Apple more than $100k. This is not a profit center.
Maybe my link at https://news.ycombinator.com/item?id=38395058 will help? Though even I kinda gloss over how to define sub. It is, in my experience, the most technically challenging part of the proof to actually formally define. I'm happy to try to go over details with you. There is also Section 5.3.1 of my thesis at https://r6.ca/thesis.pdf which probably goes into more detail than you would like.
So switch then instead of just talking about it. It's not a big deal, it takes like 1 minute, and no one can seriously tell me you have a significantly different browser experience on Chrome vs FF.
I've reported a similar issue on mac where it gets slower over time [1]. I hope it gets fixed at some point.

[1] https://bugzilla.mozilla.org/show_bug.cgi?id=1799681
I look at videos like these as gateways to get someone excited about a subject, not as scholarly works. What you say is good to keep in mind on any video. You can’t get the full depth of anything complicated in 30 minutes, but it can make you want to learn more.
why crucified? you're doing exactly what I do. All the people who have any trouble with git whatsoever try to use it as a black box for some high-level whatever ideas of what is their workflow should be. And git is not that, git is a thin wrapper around simple and elegant data structure. If you understand it, then everything clicks and git doesn't EVER gives any trouble.

Your friends are unreasonable, unless you collaborate with them on the same branches and rewrite them after you shared them.
What I meant is that git doesn't have any structure to represent an edge other than a simple pointer. Conceptually it wouldn't be a big change to add some, but the consequence of that is that everything in git revolves around nodes rather than edges, and whenever the concept of an edge is needed (such as in "cherry-pick") it's being calculated on fly.
This is wrong even on its own logic, which is circular/bad.

Someone who gets polio from an oral polio vaccine is vaccinated. That's how they got the infection: from vaccination against polio.
Is Play Store or Steam any better?

All these stores are basically little monopolies with zero incentive to not suck. They also suck from a user point of view. Search is terrible, they’re full of shovelware, etc.
SQLite is more about letting you get away with not having a horizontally scaled architecture or anything with multiple nodes in the first place.
Much discussed last few days

https://news.ycombinator.com/item?id=38369820

https://news.ycombinator.com/item?id=38361758

https://news.ycombinator.com/item?id=38361758

https://news.ycombinator.com/item?id=38301801

https://news.ycombinator.com/item?id=38298502
at the main hospital here they have a large UV/ozone machine that makes a popping sound like a large flashbulb twice a second or so. I don't think it's a robot.

As an aside, where can i reliably get any real UV-C + Ozone bulb these days? I had 3, i gave one away and two broke during the pandemic, and all i have been able to find in the past year and a half is UV-C that doesn't produce ozone, but instead that weird "too much sunlight" smell - anti-septic smelling but it doesn't murder pathogens like ozone does.
One thing that is risky about git reset --hard is that any non-committed changes are lost. That has bitten me a few times.
It's the first time I've seen it, and I'm glad I did because it's fascinating!

Also, this time seems to be going a bit differently... Perhaps timing is everything (see: bored people with their Thanksgiving families today...)
I can’t say that I’m terribly surprised. AT&T has been complicit in mass surveillance in the past. The first example that comes to mind is Room 641A: https://en.m.wikipedia.org/wiki/Room_641A

Frankly, I think it’s safer to assume that most (American) communications companies are involved in some level of surveillance.
Should we also ban private communication too?

To be clear, we don't get to choose which parts of math we ban and which parts we don't.
False. Google “escheatment”
What do you mean? Fast charging depletes battery life?
Rust has quite decent support for QML though. One of the really famous video footage stabilizer apps uses Rust with QML: https://docs.gyroflow.xyz/app/technical-details/used-technol..., and that is a non trivial UI: https://gyroflow.xyz/
We need lifetime jail sentences for people who violate the bill of rights. They entire department and any cop who uses this should be rotting behind bars in solitary confinement for eternity.
> Not really understanding the benefit of running this at the edge to be honest?

It's primarily a benefit for Cloudflare. Instead of huge and expensive mega-datacenters that AWS/GCP/Azure operates, they can rent cheaper colo space and better distribute workloads. The latter is, I think, the key... AWS basically incentivises you to stay in a single region as long as possible (mostly because the UX of both the web UI and the CLI just sucks when dealing with multiple regions), which means that a lot of users tend to stick in the AWS region most close to themselves, the services aren't really interconnected between regions because that's a headache to set up, while Cloudflare runs "at the edge" from the beginning and people don't even think about introducing silent dependencies on any specific region. And if a Cloudflare DC/region has a massive outage, chances are high no one will notice it because the workloads will just silently shift to somewhere else.
How much money have you made doing this recently?
I use ProtonMail, mostly via the web interface. I do have the Android app installed, but I rarely need to use it for writing emails, so I can't speak about it being broken.
Having been involved as a C++/Qt developer for years, I also agree that C++ is a big hindrance for adoption of Qt.

I totally understand that nobody would want to learn C++, of all languages, in order to make their pet music collection manager, or whatever other app. I'd wager for 95% of apps, the fine control over memory and resources is just a premature optimization, and only brings friction by requiring to learn an arguably difficult to master language.

Go would be a great choice for general application development. Of course you might want to use C++ or Rust for a complex video editing package or something demanding like that... but to make the To-Do or Calculator app du jour, having to learn those languages is overkill. I guess that's also why there are so many Electron-based applications.

In general, having a garbage collector is a huge productivity boon, while not having to distribute a runtime interpreter (that's why I didn't mention Python) is also great.
They were a bunch of creepy voyeurs all along.
I've been told this is OK because there is plenty of real competition in this space so developers can vote with their feet and develop on other platforms.
DON'T JINX IT!!!

I've been visiting https://polioeradication.org/ over the years, and every time I get my hopes high, discover more polio cases or polio-positive samples are discovered :(

They have a regularly updates summary: https://polioeradication.org/wp-content/uploads/2023/11/week...

And the most recent case was on Oct 15 in Pakistan.
Nagel & Newman's Gödel's Proof is an excellent book on how the proof works. It doesn't have all the tie-ins and fun asides that GEB has, but it's stronger for it.
No I'm not that's what this whole sub-thread is about how bad LLMs are at the stuff thats described in the OP.

For context this is the grandparent within which my original reply was scoped:

I feel very comfortable saying, as a mathematician, that the ability to solve grade school maths problems would not be at all a predictor of ability to solve real mathematical problems at a research level.
The reason LLMs fail at solving mathematical problems is because: 1) they are terrible at arithmetic, 2) they are terrible at algebra, but most importantly, 3) they are terrible at complex reasoning (more specifically they mix up quantifiers and don't really understand the complex logical structure of many arguments) 4) they (current LLMs) cannot backtrack when they find that what they already wrote turned out not to lead to a solution, and it is too expensive to give them the thousands of restarts they'd require to randomly guess their way through the problem if you did give them that facility

Solving grade-school problems might mean progress in 1 and 2, but that is not at all impressive, as there are perfectly good tools out there that solve those problems just fine, and old-style AI researchers have built perfectly good tools for 3. The hard problem to solve is problem 4, and this is something you teach people how to do at a university level.

(I should add that another important problem is what is known as premise selection. I didn't list that because LLMs have actually been shown to manage this ok in about 70% of theorems, which basically matches records set by other machine learning techniques.)

(Real mathematical research also involves what is known as lemma conjecturing. I have never once observed an LLM do it, and I suspect they cannot do so. Basically the parameter set of the LLM dedicated to mathematical reasoning is either large enough to model the entire solution from end to end, or the LLM is likely to completely fail to solve the problem.)

I personally think this entire article is likely complete bunk.

Edit: after reading replies I realise I should have pointed out that humans do not simply backtrack. They learn from failed attempts in ways that LLMs do not seem to. The material they are trained on surely contributes to this problem.
https://www.theatlantic.com/health/archive/2022/09/polio-era...
Compile times have greatly improved over the last few years. And if you aren't importing 100+ dependencies from Cargo.toml or using a lot of templates/traits (which I suspect kernel code won't), then it's even better.

Edit: Also kernel compile times are a problem for the elite few, while kernel bugs are a problem for everyone.
I haven’t done any Rust-on-Linux development, but it seems like this would be a non-issue there? A lot of the compile time issues for Rust come from cargo packages pulling in tons of monomorphized types, but I assume Rust-on-Linux has few-to-no dependencies (I’m pretty sure they don’t even use the standard library).
I mean, they can and should be both. Local decisions can be cheap, and very simple to implement. But global decisions can be smarter, and more predictable. In my experience, it's incredibly hard to make good decisions in pathological situations locally, as you often don't know you're in a pathological situation with only local data. But local data is often enough to "do less harm" :)
I dunno about that. I remember reading about an incident where a radiation source was transported in a lorry for miles without the cap on. Would have been a quite damaging if it hadn't happened to be pointed downwards

Edited to add: found it: https://archive.is/mtvCY
https://youtu.be/5LWQPGjAs3M?si=WBu6C6mWCZ88pH-K

Any takes on this ? Spreads doubts over godels proofs
This would only work if the chromium source was included in the training set.
How can basic arithmetic make a self-referential sentence?
Major version upgrades released periodically is the standard model for pay-once software, and it is preferable for users, because it gives them a choice of if and when they want to upgrade.
Exchanges and lending/borrowing markets have already moved to be decentralized.

I think what you're thinking is the ability to convert fiat to crypto. If you got rid of that, it would just move more underground and into the black money markets.
I don’t. I was always worried about the sheet quality but seems like good feedback here.
I thought this writeup was quite good. Anyway, anyone interested in this is also likely interested in Rosser's theorem: https://scottaaronson.blog/?p=710
Aren't common libraries like serde and clap known to slow down compile times?
> a path that in general can’t be reconstructed from the information Git keeps.

Uh... yes it can. Commits have a list of 0 or more parents. That creates a DAG. There are literal hordes of tools out there that reliably interpret this, from visualizer tools to practical mutators like git bisect.

Maybe you're trying to say that no single commit order exists that traverses the whole tree. That's true, because branches can merge together. But it remains a completely interpretable graph nonetheless.
> Considering the United States forcefully sterilized some 70,000 people, and that there is an ongoing investigation over nonconsensual sterilization procedures being performed by the government three years ago

Context is everything. The US government did that in the context of their genocidal war against indigenous peoples. There were fully transparent laws on the books that rewarded people for murdering native populations. No conspiracy needed.

As for your claim from 3 years ago, you've thrown out an allegation without providing any evidence. Involuntary sterilizations likely do occur, but that's far from an indication of a systemic government conspiracy.

The context of COVID vaccines was a global pandemic, not a genocide.

Also, nobody has shown up at the hospital yet to discover that their ailments were caused by a malfunctioning mind control chip delivered in a vaccine. Defect rates for such a "chip" if it existed would not be that low.
This is garbage. Imagine if other law worked this way. "We're going to arrest you and put you in jail, but we won't tell you what you're accused of, nor give you a proper appeal." During an investigation, I get it. After charges have been leveled? Most certainly not.
Yes it's more dead than ever before, experts agree

https://99bitcoins.com/bitcoin-obituaries/
Comedy is starting to weigh in: https://www.threads.net/@thedailyshow/post/Cz8-7nLucAm
Interesting how many people realigned their values instead of changing their party loyalty.
And each one of them is moving over into ai.
You’d probably use Arc or create a special custom smart pointer in Rust for use with the Qt paradigm. Simple references probably would not be expressive enough for Qt.

Qt objects have to be heap allocated anyway so you would not be adding much overhead. If you designed a specialized container it could probably be zero overhead.
Cap – OSS Loom Alternative
You still need a tangible reason for switching. Maybe we can push, but Firefox would need to sustain the momentum and I don't see them doing it.

My pet peeves: sync and app mode. I don't want to switch at the moment, tried many times, but it doesn't stick for me. If i ask my my aunt to do that, and she dislikes it, she won't do it again and won't trust me anymore on top of that.
Yes, subscription apps earn revenue as a result of people who chose not to cancel their subscriptions.
Google is the one claiming that calculating tensors is the motivation behind the chip.

If you're mocking that entire idea, then that also supports the claim that it's "on life support".
> In that scenario, Apple should have been more specific in their communications.

In that scenario Apple is highly constrained in what they can say.
> That smells more like money laundering or fraud.

Does Apple get to decide this, and just keep the money, without involving any court of law? Someone mentioned anti-money laundering laws and secrecy, but can that manifest as losing your money, without trial or even being informed that you're accused of anything? That would seem to violate a few constitutional rights.
That’s not paranoia, it’s bog standard traffic shaping that ISPs have been doing since the 90’s or even earlier.
Europe's demographics issue is worse than the US despite being less "enlightenment" or freedom influenced.

China/Japan/Korea are far less individualistic than the US but have much worse birth rates. Russia also has terrible demographics and doesn't fit into this narrative.

The determinants of birth rate are probably more mundane than that.

Birth control access
Education
Rapid industrialization
Societal expectations around safety and parental involvement
Women working
Access to entertainment
Cost of housing
Live demo 404s
The electronic noses designed to prevent food poisoning
I see. So ts arbitrarily supports concatenation of generic parameters via unrolling.

All right. I can admit TS is superior from this angle because of that arbitrary support. And I can admit that the arbitrary support follows from the way both languages use unrolling syntax.
Windows will do that "Generating a report to send..." thing which gives the impression it's already taken care of.
One of my favorite responses to this...

https://news.ycombinator.com/item?id=26238410
If you set your router to limit bandwidth below that initial burst speed, to your actual connection speed, you'll get consistent fast speed.

The burst mechanism of your provider possibly squeezes below your normal speed to compensate for the burst, but ends up confusing TCP flow.

Those burst and squeeze cycles can cause some undesirable bandwidth oscillations.