skysight-inc/HackerNews huggingface dataset:
NFT art was a scam intended to create a bubble.

The art market itself is a bubble. Famous art is primarily used for investment, tax avoidance, and sometimes money laundering. Occasionally someone will hang it on a wall and look at it, but it's more likely to end up in storage.

NFTs were designed as a microcosm of the art investment market, sold on the promise of increasing resale value - like the real thing.

Of course that didn't happen. But some artists made a lot of money, some dealers made even more, and some people made significant savings on their tax bills.
When I first watched Interstellar, I thought the scene where the school official talks about how the moon landing was faked was a bit outlandish but nowadays it seems like something that could happen in the next 10 years.

https://www.youtube.com/watch?v=PyxEpi3f40w
India claims sovereignty over the Andaman Islands including the Sentinel Islands. Just because the islanders don't know/refuse to engage with the state doesn't stop the state from asserting their claim.

Although, there are entities that are de facto sovereign and even have had the wherewithal to keep it with arms. Myanmar is home to more than one of these, actually. There's the Shan State (https://en.wikipedia.org/wiki/Shan_State), and within their de facto sovereign areas there are pockets of smaller administrative units that are armed and are also de facto sovereign, accepting nominal de jure Burmese authority over the authority of the nationalist minority independence movements, such as the Wa State with (https://en.wikipedia.org/wiki/United_Wa_State_Army). Alas, the tribes here in the US don't quite have that kind of firepower, nor the desire to refight the latter half of the 19th Century.

That's not to say that the relationships between tribes, the federal government, and state governments is any less complicated and at times contentious. The Supreme Court tends to favor tribal sovereignty as almost akin to that of a state, but not in all circumstances and where "full faith and credit" ends when it comes to tribal judicial authority when it comes to civil matters seldom actually represent actual "full" anything. Although tribes do have sovereign immunity so without congressional approval one can't simply litigate out every issue by suing the tribe, so the ambiguities are likely to persist.
I think OP is really overstating things. "the definitive underlying field of math replacing set theory" is something Lawvere was trying in the 60s and it never really took off.

Category theory isn't really a replacement for set theory any more than order theory is a replacement for set theory. What is important is not what your "foundational system" is, but that just like there are many concepts we learn in the context of set theory but are just very generally useful (equivalence classes, cardinality, injective/surjective functions), there are also similarly very useful concepts in category theory like adjoint functors, limits and universal mapping properties.
Isn't the ideal teams size just one? I do not mean that the one-person "teams" should not meet from time to time to agree on some common issues. But the ideal situation is that the work should be split in such a way that a single person has complete responsibility over an area and does not need to coordinate with someone else most of the time.
Maybe it's some reinforcement learning.
I am unsure if it has anything to do with hexagons, but the majority of these patterns remind me of gift wrappings. Maybe it's just the season.
Merino wool socks are definitely what I'd recommend for trekking.
>> wholly dependent on a startup

Lol. Startup. That crutch is long gone. If you are worth more than Ford and Honda combined, there are no excuses.
The NYT article is a shockingly bad puff piece. It doesn't once mention fraud. Doesn't call out that Alameda borrowing funds from FTX deposits is insanely illegal

Makes it sound like poor SBF got unlucky and it wasn't his fault he recklessly gambled $8+B of customer deposits
It's how you say, the "lingua franca"?

I myself greatly enjoy it and am happy to see it become more widespread, but that's mostly because I grew up immersed in the culture.
cat and grep generally aren't builtins, so shells can't rely on them to have any particular behavior.
> There are multiple agencies that BOTH claim the right to regulate crypto AND refuse to actually do so.

I bet all those political contributions that SBF made did not hurt his prospects in this regard:

https://fortune.com/2022/11/10/sam-bankman-fried-ftx-joe-bid... (https://archive.ph/BBpQN#selection-417.0-424.0)

> The 30-year-old Bankman-Fried has been a major force in Democratic politics, ranking as the party’s second-biggest individual donor in the 2021–2022 election cycle, according to Open Secrets, with donations totaling $39.8 million. That ranks only behind George Soros (about $128 million) but ahead of many other big names, including Michael Bloomberg ($28.3 million). What’s more, he had promised to spend far more on Democrats moving forward, predicting in May that he’d fund “north of $100 million” and had a “soft ceiling” of $1 billion for the 2024 elections.

> This mess is fundamentally the fault of congress which has refused to address the question. And it is congress that should make this decision, not the courts, both in a legal and democratic sense.

SBF was using congress as sock-puppets to ghost-write regulation:

https://prospect.org/power/sam-bankman-frieds-multimillion-d...

> Crypto’s supporters in Congress are determined to ignore the massive gap in capacity between the two agencies; in fact, they likely understand that its incapacity is part of its appeal to FTX. A bill proposed by Sens. Cynthia Lummis (R-WY) and Kirsten Gillibrand (D-NY) seeks to grant the CFTC “exclusive jurisdiction over any agreement, contract, or transaction involving a contract of sale of a digital asset that is offered, solicited, traded, executed, or otherwise dealt in interstate commerce, including market activities relating to ancillary assets.” Perhaps in anticipation of such a move, FTX has stocked up its ranks with former CFTC officials. Former CFTC commissioner and acting chair Mark Wetjen is FTX’s head of policy and regulatory strategy. Ryne Miller, who was legal counsel to Gensler when he led the CFTC, is FTX’s general counsel. The Tech Transparency Project has also identified 14 other cases of CFTC alumni revolving into the crypto industry.
Good to hear. This could make Dart a compile target candidate for a number of languages whose ergonomics better match these concepts, while having good native support from the language.
NYC spent $2.4 billion to extend one subway line 1.5 miles. I’m only jokingly suggesting this, but that’s enough to buy about 5 million electric scooters in a city of 8.5 million people.
Most middlemen are useful, but some are not. The article explains this:

> They had to work through dealerships as middlemen [...] largely as a way of spreading risk. [...] Those conditions are, arguably, gone today.
If you are buying toilets for 50.000 you probably should be.
Tell HN: It's possible to close annoying Twitter's login screen without tricks
Just click sign in button

and then there's "X" button in the top-left corner
Alameda went underwater on loans and they transferred customer funds from FTX to bail them out
I think this is not universally true. There are reports from the US of testosterone being prescribed to gender dysphoric girls (i.e. who express a desire of wanting to be boys) after only one or two sessions with a medical professional.
>Sometimes she answers my question as an object in our physical world, and sometimes she answers me with its semantic meaning.

When we play this game with famous real/fictional people, this happens all the time. Sometimes there is even a three-way ambiguity. The character to guess is: Barbie.

"Is she older than 50?"

"Yes" (the concept)

"Have I ever talked to her?"

"Yes" (the doll)

"Is she an athlete?"

"Yes" (the character)
Manning online bookstore. In theory they support credit card payments, but I guess they are not capable of handling 3D Secure protocol, so my attempt to pay with a credit card always fail with them. Every time I need to buy something from them I would create a temporary PayPal account (which I delete after the transaction :)
AFAIK GNU grep is a different beast than other grep implementations.
Just checked, and sadly no X-Clacks-Overhead header on microsoft.com.
Yes, but the Spectator is a rag than enjoys painting the failings of modern Britain as the result of "woke left", rather than far more systemic problems around our inability to plan or innovate in the long term.
Canadian teachers and retired teachers have $220b, which they paid into the plan from their not particularly opulent pay packets. Nearly $100m was given to a company based in a regulatory haven, which does not know to within $5bn how much money it has, and which was able to steal from its customers without any oversight.

Ontario Teachers were an anchor investor in a round which lots of less clueless people must have passed on.

Not sure why you think this is ok.
> to have generously funded a lot of effective altruism charities

That should have read “dubiously funneled money to his mates fake charity”

For all of this the fact that he was, even back when he wasn’t “the next big tech wizard” was funneling 50% of his salary, tax deductible, to his friends charity fund should have raised flags that this “charity” is actually that, and it should be put under scrutiny now, because it’s obviously these guys slush fund.
It's particularly weird for people to buy the idea that there's something particularly terrifying about the QAA launching a consultation which mentions "decolonising" twice in 30 pages, when the other side of the culture war on universities is being fought by the government threatening to withhold funding.
A British academic "rolling eyes" at efforts to decolonise their material. Yikes but also typical. Mathematics is a pure subject, and logic itself is not colonial. Of course. But academic institutions do retain aspects of colonialism in their teaching. It's not a wild idea to take a moment and consider how your department may be complicit.
I think his point was criticism, not praise.

I.e. they're big but they're operating like a (s)crappy startup.
Author here. Thanks for the positive feedback so far. AMA
I don't think you can do better than a binary search here, so log2(1000000) questions, which happens to come out to 20 with rounding.

I tried thinking a bit outside the box for other questions that would break down the search space - but none of them were any improvement on the binary search.
Ask HN: Is MINIX still the go to for learning about operating systems?
I'm doing 20-30 km on free days and 1-10 km on most work days for the last 2 years, but not nearly as fast (my average speed went from 4.5 to 5.1 km/h in that time). Are you sure about the doubling of caloric burn?

Cause I started when I was 130 kg and now I'm 90-100 kg and I measured calories in and how much I walked, and calculated the calories burned/km walked depending on weight and it's basically linear for me (roughly 60 kcal/km at 100 kg). It would be very weird if just 30 kg doubled the caloric burn, maybe the speed makes the difference?

At any rate I agree it's great, it completely changed my life. It's very hard to be frustrated after a 5-hour walk.
So, by your logic, we can forbid non-medical and non-rape abortions for women, becase if they just don't let men cum inside them, they won't have any problems with unwanted kids?
>
For anything related to stats, PDEs, and optimization (basically that subset if mathematics that is most useful to other sciences), category theory is a horrible foundation.

For analysis, Peter Scholze and Dustin Clausen would disagree:

> https://en.wikipedia.org/wiki/Condensed_mathematics

To quote from https://www.math.uni-bonn.de/people/scholze/Analytic.pdf linked there:

"Mumford writes in Curves and their Jacobians: “[Algebraic geometry] seems to have acquired the reputation of being esoteric, exclusive, and very abstract, with adherents who are secretly plotting to take over all the rest of mathematics. In one respect this last point is accurate.”

For some reason, this secret plot has so far stopped short of taking over analysis. The goal of this course is to launch a new attack, turning functional analysis into a branch of commutative algebra, and various types of analytic geometry (like manifolds) into algebraic geometry. Whether this will make these subjects equally esoteric will be left to the reader’s judgement.

[...]

The author always had the impression that the highly categorical techniques of algebraic geometry could not possibly be applied in analytic situations; and certainly not over the real numbers. The goal of this course is to correct this impression."
I was in the same position until I came across his series "The psychological significance of Biblical stories".

It made me realize that viewing the world through a narrative structure was far more interesting than the materialist portrayal of the New atheists.
Removing SMS support was a mistake.
> I had no idea I could run these longer distances, and was not even planning to run.

I know I can't run. Never could. My lungs just close up after even a short run and the rest of my body promptly follows.

I could walk though but despite walking few kilometers each day this summer best I could do was squeeze a minute or two of running into my walking.

And even walking ended when my feet arches began to hurt from overuse. Since then I stopped walking regularly and switched to 'barefoot' shoes and my left foot pretty much healed but the overuse injury in the right one pops back up when I walk for about an hour. I am not overweight and have high feet arches.
In that case you're far off topic. The article and discussion are about why male testosterone levels are dropping at a rapid rate currently. Talking about 500 million year evolutionary cycles contributes nothing.
I think like everything, over time more and more has been added. The original instruction set was very minimal and felt very RISC.
The rule of thumb is that you can get a lot of stuff cheaper in the US, if you know what you're doing.

In Europe discounts are much lower, and prices are a lot more set in stone.

However, the key caveat here is that most people don't know what they're doing.

So in the US 80% of the population is robbed so that the 20% can take advantage.

In Europe everyone gets a worse deal, but it's never going to be super bad.

Pick your poison :-)
‘Hack the hackers’: New taskforce to target cybercriminals
Only in a very special cases.

I'm writing embedded bare-metal 64-bit arm code at work right now. That is because the product needs less than 300ms boot times from power on and needs to be fast enough to do image compression (AVIF) in a reasonable time. Just using Linux and suspend would eat too much battery from the power budget. It has to have 1 year of battery life like previous generation of that same product.

i.MX RT1170 with its 1Ghz 32Bit Cortex-M7 core was not fast enough so we had to jump up to much faster 64bit Cortex-A53 core.
Helf!!! I haven't seen you online in years! Maybe not since the demise of bebox.nu?

I'm still plugging away with BeOS, have a few Macs running the PowerPC version still.
Well the point is that it’s different to be a chauvinist when you’re the dominant culture in the world, partly due to colonialism but also global capitalism, compared to being a chauvinist for your minority religion. I’ve definitely met Buddhist chauvinists, but they have far less power outside of a few countries

I have no idea what the relevance of your second paragraph is
So you want regulators to require Ford, for example, to build multiple dealerships all in the same area, threatening the viability of any single dealership?

And if you were on the hook for repairing $50,000+ machines, would you allow the users of those machines to get oil changes and other services just anywhere? Or would you require a minimum level of maintenance and a known quality of parts and fluids?
Thanks to KYC/AML the criminals at FTX have details of millions of individuals
Jesus. I thought breaking 3 was crushing it for amateurs. Congrats.
What sort of training do you do to progress? I’m relatively fit (swim/ride/squash) but haven’t run much for a long time. Now doing 1-2 10ks a week but no idea how to move further
History of Tuxedo Cats: Origins and Ancestry Explained
>If he fires all the engineers with a bad attitude

Where I work it's in the contract that you don't talk shit about the company on social media. I think that's common sense too. I'm sure Elon is an irritating piece of shit, especially as a superior, but shit-flinging online like this is just not something I'd want in my company either.
Maybe so, but I can't imagine trying to code on a 720p screen. There are just too many compromises when you don't need to take them.

A T14 or T15 with 1080p display would be my minimum. T14 being my personal favourite size, so I will be biased.
Yeah, but then we run into another problem.

If Tesla truly wants to remain a luxury brand forever, its market cap should reflect that.

It shouldn't be the market cap of the next Toyota (car maker) and Panasonic (battery maker) combined and multiplied by 10.
I think it's both. There seems to be an effort to change the methods as well because I guess it was made for the wrong target audience. It all seems based on a different epistemology, that reality isn't objective but rather a social construct, therefore it's inherently moral and needs to account for all the injustices of the world. The reason this is sinister is because it's implicitly trying to teach people that objective knowledge does not exist.
> When loans were recalled in early 2022, an emergency decision was made to use FTX users’ deposits to repay creditors.

Just so you know, this is a clear and obvious prison sentence in normal finance.

Also FTX itself was trading with customer deposits instead of just keeping them like an exchange is supposed to do, which is also prison in normal finance.

Matt Levine wrote a good piece on this debacle, and will probably write more. It is simply breathtaking, every paragraph evokes a massive "wat".
Waymo is using its self-driving taxis to create real-time weather maps |Engadget
A scrappy startup that fields its own infrastructure (chargers) restricts access to that infrastructure by potential competators, supresses home repair and seeks to control or destroy any secondary markets/sales via DRM. Tesla's mentality is more akin to Microsoft than any startup. Startups are generally customer rather than IP-focused.
I find it interesting that they distinguish between fa'afafine and fa'afatama as descriptions of who fulfils this social role, with the former being male and the latter being female.

That doesn't really map onto the recent idea of 'non-binary', where one's sex is supposed to be entirely ignored, and the idea of someone being a 'non-binary man' or a 'non-binary woman' is generally considered wrong or even offensive to believers of this ideology.
UK PhD students don’t get a salary they get a stipend.
I've seen decolonise before, but in the context of removing colonies.

This is about a hangover of colonialism.

To me colony is A-political, whereas colonial applys to the politics.

Taking it further.
I colonise America
I colonise mars
I colonise maths?

What does that mean? We aren't talking about a literal colony, were talking about colonialism. So (De)colonialise is the word the I would make up to describe this.
I guess maybe i should read the linked papers, but i kind of dont get it. How do inherently conflicting updates get resolved? What happens when one writer sers bankBalance = 200 and the other sets bankBalance = 500; ? Or does just significantly limit the type of applications you can have?
I think no one?
> In other words, don't make major financial decisions based on Levine not saying it is a good or bad idea.

He puts such disclaimers on basically everything he says.

What should I base my major financial decisions on?
There are now 8B people on Earth, according to a new U.N. report
I'm willing to cut Herb Sutter some slack and assume he has good intentions and the future of the language at heart.
More Evidence for Problems in VM Warmup
Yup, a strongly gregarious species that only travel in groups.
"it is actually shocking that SBF was unable to rank higher than the Bronze or Silver league after years of regular play" ouch... author certainly does not play league of legends. ladder is broken, you are always at the mercy of riot's matchmaking. there was a reddit post appropriately criticizing it and received around 8k upvotes - mods deleted it. even if you completely MinMax everything to climb (which gets quite tedious and boring) - actually climbing takes ridiculous amounts of time. and it's time sensitive - folks that play around 5AM could easily give Faker a run for his money, folks that supposedly are bronzies (I call them robo smurfs). turn the same game on when the school ends and the amounts of stupidity are overwhelming. and the older account is - the worse it gets. at the time I was placed in bronze - won a local tournament full with diamonds, masters and even couple challengers. and the game itself is mistake driven - gold differs from diamond by a single mistake that diamond player never lets go.
There's definitely some hysteria, but that's because it's hugely entertaining. That doesn't mean there aren't underlying proceedings that are material. Particularly, on the back end, 80% of the contractors were let go. Y'know, the ones that do account/content moderation. That, along with various shenanigans with the verification system, means we now have profiles like [0][1][2] with an official gray check.

The new boss has a different opinion of free speech than the old boss, (and who he's allowed to cancel) and is starting to make changes effecting that point of view. Downplay that all you want, but that's something of consequence for a social media site. If Twitter were a car company, it would be difficult but not impossible to ignore all the talk and focus on the product, the cars. However, seeing as how Twitter is "only" good for talking on, the tone of that conversation changing is quite important to the people in that conversation, and they are liable to have gasp conversations about that change.

[0] https://twitter.com/amymek - banned in Germany for Nazi shit

[1] https://twitter.com/realadolphhitle

[2] https://twitter.com/funnymonkey9876 - "dead tw*tter employee hanging from a tree groyper"
Their pinned tweet is especially lovely. It's been up for almost 6 hours. (cw: boringly uncreative use of the n-word) https://twitter.com/FunnyMonkey9876/status/15735249917940858...

[3] https://twitter.com/richardbspencer - Nazi that previously lost verification for throwing Nazi rallies.

Your politics and their relation to the above, and whatever you believe of free speech; it's uncontrovertible that it's no longer their Twitter, it's Elon's Twitter now, and not everybody is going to like that.
Do not forget that those numbers including people who has boosters only on paper. I know plenty of people that has just papers for both vaccination and boosters. Including doctors and health care staff.

You konw... If there is push, you'll pushed to find another way.
Jak and Daxter and Crash Bandicoot (not sure how much of The last of us) are good examples in lisp.

There are a lot of video interviews with the creators. I found them extremely interesting.

https://en.wikipedia.org/wiki/Game_Oriented_Assembly_Lisp

https://www.reddit.com/r/lisp/comments/fayhw2/how_crash_band...
If only we had a license to make them do that (jk).

I do actually like the sqlite blessing. It is really wholesome.
I see, but is that different from a slightly more quiet ring tone? The point of setting mobile phones to vibrate is that (ideally) you can feel it (because you have it in your pocket) without others arround you being interrupted.
No I'm English. I'll take it as a complement that I'm recreating German words though.