skysight-inc/HackerNews huggingface dataset:
So not only does TikTok have to be sold but they also have to remove the addiction algorithm? This deal just gets better and better!
Do you know what’s better than one antivirus software? Two antivirus softwares. I would not want to calculate the extra cost of additional servers to handle loads from each server just wasting cpu running AV software.
Are we reading the same articles? The Forbes story is just suggesting that there's a possible interpretation of their statements as lying and your link is saying that China wants TikTok to remain owned by a Chinese firm -- and of course they do, for the same reason the US would resist huge chunks of our own hugely profitable companies being sold off. There's no actual evidence of anything.

Like I'm ready to get out the pitchforks but this is just weird FUD.
Well, there's still no killer app. The productivity use case is a gimmick. Apple vision pro is also not selling well. The big promise is entertainment but it's not there yet.
Friends don't let friends use multi-mode fiber.

Single-mode fiber is future-proof. Utilities bury that stuff and depreciate it over a 30-year lifetime. There has been like one spec change since the 1970s.

Single-mode fiber. Always single-mode fiber. Nothing else, ever.
I think the same. And tbh, if music variations are finite, I'm quite sure it's big enough to fill my entire life with new song, sounds, arrangement, voices, lyrics...Also music is not only sound, but also performances.
Of course climate has changed in the past, but over geological time scales. We're witnessing change in real time, over a period of decades. It's the rate of change in climate that is accelerating.
Flann O'Brian's novel about a novel "At swim two birds" has been one of my favorite yearly re-reads, I must take it down off the shelf again this weekend!
mindlessly

Or mindfully.

You have no idea why people choose what they listen to, and suggesting they're doing it without thinking is just your snobbery showing.
It’s a trillion dollar company dude. Many people laughed at their 1B ipo valuation.

Basically, never ignore these things.
Down 13% after hours because of guidance:
https://finance.yahoo.com/news/meta-q1-earnings-135049624.ht...
No matter the price? No wonder we're drowning in limeflation!
All Google had to do was not enable 3rd party cookies in chrome. Safari and WebKit by default have always blocked 3rd party cookies by default - literally from day 1 - but google added support for them and enabled them by default because their business model requires spying on users.

If they had just not added this tracking vector in the first place this would not be something to debate.
> This is why Google has the technical ability to scan your email content, and Proton doesn't

I don't buy this theatre for 1 second. Proton obviously has the ability to run a data business off my data if they wanted to - they own it all and it runs on their server.

Not saying they do it, but the idea that it's impossible because of "encryption" is a joke - you assign the keys and you could easily use them on the backend out of my view, the user has no visibility into how that works or what you guys do behind the scenes - it's not like decentralized technology (even the best decentralized tech can't deliver on this promise yet).

So it seems like it's slow because of client-side encryption which Google also does. Yes I know they have a data business, but the data is still encrypted.
> Chinese exclusion act all over again...a ban on race/ethnicity vs practice

This is an incredibly bad-faith comparison. People of Chinese descent aren't being discriminated in any way by this bill. In the same way China blocking Google isn't an act of racism, this is putting restrictions on a foreign state which is acting belligerentlyt towards us.

We required American companies to stop doing business with the Nazis when we went to war with them. (Though not a moment sooner.) That wasn't racism, it was strategic sense.
X-Ray: tool to identify bad redactions in PDFs
It has clearly just loaded incorrectly for you (or you need glasses desperately). The effect is significant.
>the end result will likely be that TikTok will be sold to US owners

Why does everyone assume this is likely? The CCP has already said they would block a sale of TikTok. This happened a while ago - so the US saying TikTok must be sold is an effective ban. The misdirection of the wording of the ban is just dishonest.
Here's hoping they don't run great tools like Consul and Nomad into the ground somehow. If I'm ever forced to ditch Nomad and work with a pile of strung-together components like k8s I might just quit tech altogether.
i dunno why you wouldn't want to celebrate the success of others, especially when they're essential workers!
Terrible news. New startups should be buying IBM. Not the other way around.
What about iphone?
I think people are reticent to admit that unfettered globalism (especially in the internet which was meant to connect the world) is bad and has serious security implications. It should've been obvious retrospectively, but folks were lulled by a sense of post-soviet optimism.
To me it depends a lot on the music... if it's more complex, or has more emotional depth I can usually continue to enjoy it almost indefinitely and get something new out of it each time.

I'm sad to admit Led Zeppelin has lost some of it's charm after many listening, which makes me sad because I enjoyed it so much in the past. I've found a lot of Pink Floyd stuff is complex enough that I'm still enjoying it and noticing new things after many decades of listening to it. Watching videos of Floyd playing live also opened up a whole new appreciation for the music.

Lots of the music I enjoyed as a kid/teenager had themes I can only now understand in my late 30s, and didn't really appreciate or fully grasp back then.

Overall, a lot of prog really seems to have enough complexity to remain interesting for a long time. Most of Tools albums, I seem to not enjoy much at first, but enjoy more, and notice more things each time I listen, even after hundreds of listens.

The same music that is complex enough to remain interesting over time, usually doesn't compress well and is really damaged as a low bitrate MP3. I've found those same albums I listen to most year after year are the ones I sought out lossless versions of.
Some more discussion yesterday ahead of the deal: https://news.ycombinator.com/item?id=40135303
They wont be able to, because their main product, the AI model and algorithms, are trained on Chinese citizen data, thus marking it as non-exportable. This is already well known, which is why the bill states to divest instead of outright ban just to play pedantry. Tiktok has announced that they will take it up to the courts and leave the US in the meantime.
FAANG (or whatever the acronym is this week) quarterly results always make front page.
Or, you know, Spotify lists suck because they dont want you consuming.

The optimal state for Netflix, Spotify, any other bandwidth intensive fixed price service is for you to PAY for it and NOT USE IT.

These services are optimized for maintaining subscription numbers, not your enjoyment.
The days of interesting tech have been gone for a couple of decades now. Every technology is now being quickly enshitified. It's ALL about selling you crap.

The nerd Internet was the best, but it's never coming back.

The bandwidth gave us streaming - okay, I'll give you that, but we had that before. It's more of an infrastructure thing than "interesting" tech.
It felt like I was reading from 'three body problem'. I wonder if the author was inspired by the sci fi there.
Looks like I was right that this was an ideological snipe. The others appear to be wrong.

Your take, as usual, is badly wrong. You fail to take into account pertinent facts and draw the wrong conclusion. Here’s one pertinent fact: California subsidizes states like Mississippi. California is also hamstrung by the fact that isn’t its own country. There are limits to what it can do given these two facts.
Here you are, monkeys. Get now more of your cheap headset.
Ah, the magical disappearing type system - now being used for nominal typing.

I'm curious to see what the JS code looks like for casts and type checks in that case.
My old process (still the same) was going on RateYourMusic and looking at the user lists. If a list has a title that resonates with me I tend to find some really cool albums in there. I'll listen to a sample on YT and grab it on Soulseek, and if I really like the album I buy it on vinyl.

I used Spotify for 10 years or so and it never seemed good at recommending me music. Within the last two years I cancelled my subscription and have returned to the old ways.

The sad thing is, life is too short to hear all the amazing music out there!
Sorry to bug you, but I would like to take this opportunity to ask for a minor tweak to the HN system.

If I submit a post, and the submit button takes me to that post already having been submitted... currently HN counts that as an auto-upvote.

However, as in this case, the post was already flagged by users. I have vouch permissions, but now that I have auto-upvoted it, I cannot vouch for it.

It would make a lot more sense to auto-vouch, not auto-upvote the post, if I have that permission.

Thanks, and sorry if I have misunderstood any of the magic. Always appreciate the site, and your guys' work.
Late Gen-X/Early Millennial here; there was a time before the consolidation of radio stations and invasion of iHeartMedia (at the time named Clear Channel) where DJs had the final word in what got played and most were quite good at introducing new music. Here's my experience form the outside of the industry: once consolidation started there was a push to use canned (pre-recorded) intros, outros, and interstitial announcements to reduce costs. Stations often kept some talk shows, but few kept real DJs. This let stations use a small number of voice actors for a large number of stations. Combined with centrally controlled playlists they were able to push the costs down and increase profits to the point that older style stations with bespoke DJs couldn't compete financially and either adopted the same model or they sold out.

EDIT: I may be misremembering, but there used to be a limit on how many stations a company could own in a given market.
I don't really see the relevance of either of your comments here.

Your first comment suggests that people interested in the Dylan language's text editor Deuce could try it online, then you give links to an editor that is a layer on the Ace editor whose only relation is that it is also named Deuce - it is not the editor being discussed.

This might have been a simple misunderstanding, but your second comment makes me think that you realize it is not the same editor, but claim that it was inspired by the editor under discussion. Looking at the links you've provided gives me no reason to believe the authors of the other Deuce even knew about the one under discussion.

I think it is pretty disingenuous to leave that first comment up, directing people to try the editor out without mentioning that it is in fact a totally different editor.
Oops, estimation fail, thanks! Attempt to double spend "closer" - on both "smaller" and "cooler". A sun-hot Moon gets you only a second Sun. A lunar-mantle-hot Moon gets you merely an extra dim red dwarf "sun". The "100x" brighter was wrong. More like 1000x dimmer?

The ChatGPT looks surprisingly ok. It struggled where textbooks and such are less than wonderful. So it raises the irrelevant Sun's core, and says "The Sun's energy output is vastly greater due to nuclear fusion reactions, emitting a massive amount of radiation across the electromagnetic spectrum. The Moon, lacking such reactions, emits no comparable energy.", perhaps reflecting the textbook "Sun shines because fusion" vs "Sun glows because hot, and hot things glow (with color and intensity proportional to temperature^4), and fusion is why it's still hot billions of years after forming". Though in a way it's true - "The Moon lacking such reactions, and being small, has cooled off and greatly dimmed since its last big formation impact". :)

The "Brown dwarfs typically range between about 1,000 and 2,500 degrees Celsius at their surface, far hotter than the Moon's mantle." seems inconsistent with [1].

Thanks for the check!

[1] graph: https://media.springernature.com/lw685/springer-static/image... source: Fig 2 on page 9 of https://hal.science/hal-02863845/document [PDF]
I think typical premium is about 20% for acquisitions.

The amount may have been negotiated prior to this month's downturn, which Hashicorp was hit pretty hard by (they had about a 10% fall based on what I'm seeing).
Maybe. It is nice to see cash transactions and subscription models in the space. There’s a chance (maybe it’s slim) that new computing paradigms will bring new business models without ads. Maybe I’m just an optimist.
Yes, I took all that from the article as well, which after all is not so subtle. Implying that Andreessen would have been a British Empire-style racist is indeed a scathing criticism.

But a hundred years ago, a houseboy and a butler were still very different people. To say that a hundred years ago this highly competent professional would have been a houseboy is, in effect, to call him one now: a no less scathing (and unintended) criticism of the butler.
Does the legislation in fact specifically require sale to a US buyer, rather than a non-China buyer? Like EU buyer wouldn't fly?

Oddly, the articles I've seen don't feel the need to specify there. Seems like a big difference to me, and requiring sale to specifically US buyer seems rather more of a takeover.
Met some business dev people at Reality Labs and they themselves don’t exactly what they are selling. Which is very worrying.
>> What do you see as the relevant difference?

I'm not an expert in either, so I'm possibly overemphasizing the difference.

[Edit: As far as I understand it, one is useful in predicting the movement of objects outside the body, the other the position of the limbs etc.]

>> My point is that there are two different ways that human brains can apply Newton's laws. We can do it intuitively, without even being consciously aware of Newton's laws, which is why humans were able to throw and catch objects before 1687. Or we can do it consciously by manipulating symbolic representations of the equations of motion. Those two activities are in some sense equivalent because they both involve producing a model of a physical system in our brains and using that model to make accurate predictions about that system. But they are also obviously radically different in other ways, and being skilled at one in now way implies being skilled at the other.

I totally agree with that. Can we agree that we can model whatever our brains do with kinematic equations, but we have no idea what is the true process that is being modeled?
Are spotify daily mixes ordered in some way?
For the same reason Google's and Apple's results also reach the front page. HN users upvote the posts. Maybe it's because Meta is one of the largest tech companies in the world and for many people their results are interesting news.
So someone posted this earlier and it got flagged plus received a lot of negative comments targeting the author of the post in the link. Well, just wanted to say, I work for a big company with generous maternity provisions and it happens all the time to us. Women get hired and then two weeks later announce they are pregnant. They leave for a paid maternity leave and never return. They resign the moment it is over. Note I am based in Switzerland and not the US. Also, I am a new mom myself and know from gossip in mommy circles that this is actually a deliberate behaviour. Something I would actually dare calling a „scam”. I heard three different women bragging they pulled it out. I don’t know where the poster is from and what his conditions are but please note that where I am women do it on purpose and cause a lot of problems.
>It's surprising to me that this this pretty significant distinction has been glossed over both in media reporting and in general comments here on HN.

That's because:

* Saying it'll get banned makes for a more sensational headline.

* Saying it'll get banned is accurate enough for most practical purposes.

* Saying it'll get banned is simpler than explaining the details of divestiture. Most Americans probably don't even know what "divest" means without pulling out a dictionary.
It would be an anti-climax for the history books if it turns out we invented a device right out of sci-fi, but it's actually kind of meh.
That is the kind of thing that could have been a kind of negotiation tactic for purchasing Hashicorp, not necessarily done in good faith.
Sure, there are chargers if you really look for them. Can they add 500 miles in 3 minutes and I'm on my way though?
If China passed a similar law, I wonder what the U.S. state dept. would say about it.
> Forbes story is just suggesting that maybe they lied

Yes, lying under oath is called perjury.

> your link is saying that China wants TikTok to remain owned by a Chinese firm

Say a foreign country were considering banning Lockheed Martin. And the U.S. ambassador picked up the phone--not to fellow diplomats, but individual legislators--to argue against it. Do you not see how the fact that this rose to the level of state-level mediation concedes there are non-economic factors at play?

> US would resist huge chunks of our own hugely profitable companies being sold off

It's been happening in Russia for the past two years. The cases where it rises to diplomatic incident are not strongly correlated with value as much as strategic worth.
It is possible that now is the right time to keep investing in it. They already have huge sunk costs, but a lot has changed since they began. LLMs became a thing. Display tech has continued to evolve quickly. There is more information on the market after seeing how products from Sony, Apple, and others have done. Meta also recently announced their new OS and their more-open platform strategy. Mobile processors are also evolving quickly. All of these things can open up possibilities - and even if it isn’t a sure thing, maybe it is worth placing a bet?
The fact that they spend more than everyone else does in the space combined just blows my mind. Their Horizon worlds is literally just a worst VR chat which was developed for <$100 million. Their os frontent for the quest is great, but how many devs can you even realistically have having an impact.

And that $4 billion is just per quarter. I honestly would love to see a full breakdown. Nintendo's entire revenue is 12 billion, which is less than Meta VR spends alone, and that includes everything Nintendo does, including developing games. How has Meta spent so much and has so little to show for it?
Labor theory of value is bunk.
I thought the punishment for Congressional perjury was a lucrative think tank sinecure, America's really changed lately.
Sure, certainly the man is due respect, but how is this quote not the main take-away?

> I brought up the ordinary comforts of kinship, friendship, craft, memory, legend, lore, skills passed down across generations, and other benefits that small towns provide: things that make human beings human beings. I pointed out that there must be something in the kind of places he grew up in worth preserving. I dared venture that it is always worth mourning when a venerable human community passes from the Earth; that maybe people are more than just figures finding their proper price on the balance sheet of life …

> And that’s when the man in the castle with the seven fireplaces said it.

> “I’m glad there’s OxyContin and video games to keep those people quiet.”
BuT cLiMaTe ChAnGe Is FaKe!!!1!
Because it’s one of the biggest tech companies and its results foreshadow earnings for other tech companies. Just look at the after hours price movements of most of the tech stocks.
But isn’t China spying through tiktok?

https://www.cnn.com/2023/06/08/tech/tiktok-data-china/index....
Because it suggests non-capitalist business models can be more successful than generally imagined.
For comparison, Ford sold 2.0M vehicles in 2023. Given Tesla is about 100 years younger, they have impressive numbers. Keeping a company alive for >100 years is also impressive.
Is this just a distribution ban or will US actually block the app at net/protocol? I have never used the thingie but this ban business motivated me to download it the other day.
Because I'm not the one who introduced the distinction.
First Nvidia DGX H200 in the world, hand-delivered to OpenAI
Waaazzup?
I wonder if that assertion is based on new car sales.

For example, I wouldn't buy a new car without android auto, because cars with it are readily available and hardly cost anything extra.

But if I had say $6k to spend on a used car instead of $20k+ on a new car? Your options are much more limited and the tradeoffs unpalatable. I know I can still put a phone holder in any vehicle and I'm off to the races.
The first time I noticed how bad the fast cuts are we see in most movies was when I watched Children of Men by Alfonso Cuarón, who often uses very long takes for action scenes:

https://en.wikipedia.org/wiki/Children_of_Men#Single-shot_se...
Meta shares plunge on weak revenue guidance even as results top estimates
Is Haste still in use? Is it in PHP?
The US has already done this with a different company, without passing a law[1]. I don't know what else to say, other than the TikTok algorithm must be some secret sauce and actually is being manipulated by Beijing and that's why they're making such a big deal about a forced sale in this case. Otherwise, this would just be a giant liquidity event for these senior business executives and that would be that.

Instead, the TikTok CEO is invoking the First Amendment and "freedom" to emotionally manipulate people into thinking Congress did something wrong here.

[1] https://www.latimes.com/business/technology/story/2020-03-06...
We really didn’t though. We’re nowhere close to the dream of VR.
AT&T: 15B$ net income, world largest telecom company. #13.0n Fortune 500.

GE, while a reasonable example of a company that declined severely from its peak, was still generating 9B$ in income on 2023 before being split in better focused and profitable successors.

AOL/Yahoo were never dominant in a mature market. They were early to the Internet, but this was an uncharacteristically volatile time with an exponentially growing market.

Sony is also a leading manufacturer in several tech sectors (second largest camera, largest premium TVs). 6B$ net income and rising.

3DFx was never dominant in a mature field but, again, early in a nascent one. They collapsed quickly, not through some highly profitable extended death spiral.

Compaq was never dominant in a highly profitable field. Their market share peaked at 14%.

DEC might be a genuine example, they were never the top of the field, but they did not manage to adapt and turn things around when the world moved in a different direction. Compare to IBM who _were_ in a dominant position in the same field, and have leveraged that position into a sustainable and steady, if smaller and less groundbreaking, business.

Google might be in trouble (relatively speaking) if LLMs disrupt search, but they are not close to being in trouble from being outcompeted in search itself.
My takeaway with formal verification tools is that they are leaky abstractions. Sure, I can write a contract to prove a function's implementation but the moment Z3 takes too long to run, I need to peek into the tool is implemented and if there are any bugs in my triggers for quantifier instantiations.

I agree with parent. In an ideal world, I should not have to take graduate level coursework to prove a function's correctness. Sometimes, the programs I'm trying to verify are not proof-friendly, so I end up redoing my data structures just to make the proofs go through.