skysight-inc/HackerNews huggingface dataset:
> I'm not sure I follow as I didn't say Trump will require anything and I don't know what "meaningful" means in this sentence.

I thought you said that Trump would require TikTok to be sold. Did I misread? I was asking why you think Trump will require anything meaningful of TikTok. More specifically, why do you think Trump would require TikTok to sell?

> You're neglecting what the _sale_ of TikTok can do for him, which is to curry an immense amount of favor with Big Tech, Wall Street and the intelligence community, and possibly one or several unnamed players in this negotiation.

Is that any more valuable than the things which TikTok can give him?

1) Cash (purchase Trump's meme coin, stock grant, etc.)

2) Prominence on TikTok
> And so there is no literally zero reason now why anyone should stay on X.

Unless the people you're interested in hearing from are mostly or exclusively there.
Was the process worth it?
I also wanted to automate everything. Even got a mentor who brought me back to reality. Basically robot must be available 99,9999% of the time. One unsuccessful operation in 5 year of usage without maintenance. With less it makes no sense to automate because handling a production line incident might be very expensive.
But you could also make money on Meta tanking if you had prior knowledge.
While, with the exception of China, Bronze Age civilisations didn’t have _coins_, they did sometimes have some concept of money.

From the Code of Hammurabi (~1750BCE):

> If a man rents a boat of 60-[kur] capacity, he shall give one-sixth [of a shekel] of silver per day as its hire.

At this point, a shekel is a unit of weight, not a coin, but is already being used as, effectively, money. Coins were initially more a convenience thing than anything else.

Primitive banking-type activity is also showing up in this time period; institutions, mostly temples, taking deposits and lending with interest. And really, for most of the world (Ancient India did have some _slightly_ more sophisticated bank-like behaviour), that’s more or less where it stayed til the 17th century or so.
> I never understood why "foreign influence" was supposed to be a bad thing.

It would be less of a problem if US platforms were allowed into China to influence the Chinese too.
The bill does not give the private citizen the authority to do this.
When you have issues in different repos but in the same board it seems very confusing that you can create them and then have to assign them to a repo for them to move out of being a Draft issue (well maybe it is not an issue yet rather a task). Maybe I'm using it wrong but I found this pretty strange. Most projects will have a backend and frontend repo certainly when building an app so I think not being able to manage issues against both projects made things a bit strange. Maybe I should use a different blank mono repo just for issues but then I imaging the integration with PRs and commit messages breaks.

Additionally I want to be able to have #PROJ-0002 style IDs for tasks, so for example I can add messages for tasks that affect both repos (e.g. "Imported types from GraphQL API into app (#BACKEND-1234, #FRONTEND-1234)") just having numbers is very limited and slightly confusing.
The word populist has ended up with a confused set of meanings (intentionally). What we have now is a war between different groups of elites, both sides co-opting populist ideals and language, and blaming the people for the other side’s efforts to destroy democracy.

Realistically we do not have a single group running in the US with the intention of delivering on the people’s preferences or with an intent to deliver a government that functions more democratically. Both are increasingly authoritarian in the name of populism.
Oh. Yeah that's a good point.
I can't find `timegm` neither in the C99 standard draft nor in POSIX.1-2024.

The first sentence of your link reads:

>The C/Unix time- and date-handling API is a confusing jungle full of the corpses of failed experiments and various other traps for the unwary, many of them resulting from design decisions that may have been defensible when the originals were written but appear at best puzzling today.
Can someone please explain how the law tramples free speech? Isn’t it completely legal to shut down a stadium or arena?

Additionally, why have we all forgotten that China does not allow any of our social media companies within their borders?

If we’re in the business of free trade, there’s no reason to let them operate a social media company in the US until they’ve opened their market to us.
Shame that there’s often a delay of 1-2 months between the trades and when they’re disclosed, so the first option likely isn’t going to work.
I think globally a lot of rich world left wing parties made similar rhetorical mistakes. Essentially leaning into identity stuff without acknowledging working class people’s challenges.

Also to be fair they’ve been in power globally for some time and so are seen as the status quo party, and largely ran as such. People are feeling economically squeezed and therefore voting incumbents out.
> The critical enterprise challenge is whether leaders will possess the self-awareness and rigor to use philosophy as a resource for creating value with AI

what the fuck. they haven't even done that with post 90's technology in general and it's not only that no intelligent person wants to work among them that they will fall just as short with AI. I'm still grateful they are doing a job.

but please, a dying multitude right at your feet and all you need to save - so you can learn even more from - them in your hands and you scale images, build drones for cleaning at home and war and imitate to replace people who love or need their jobs.

and faking all those AI gains - deceit, self-interest and what not - is so ridiculously obvious just build-in linguistics that can be read from a paper by someone who does not even speak that language. it's "just" parameters and conditional logic, cool and fancy and ready to eat up and digest almost any variation of user input, but it's nowhere even close to intelligence, let alone artificial intelligence.

philosophy eats nothing. there's those on all fours waiting for whatever gives them status and recognition and those who, thankfully, stay silent to not give those leaders more tools of power.
The code isn’t the main issue here, it’s the online platform. The apps were only banned as a means to access the platform, not fir the code they contain. The code would be largely useless without the platform infrastructure and data storage behind it.
PicoEnigma, a Universal Enigma Machine Simulator
when the NSA and other government agencies

Because, and I hate to say it, they're our snooping government agencies. I'd rather it be them that have access to all my data than the CCP apparatus.
… the law that tramples free speech is upheld by the court

This law does not trample free speech. Your view of what free speech means as it pertains to U.S. law is wrong.
I engaged directly with what you said. Namely,

>Obviously the transfer of ownership was always about the content

I’m struggling to see why you say I didn’t.

> you don't need to do any actual censoring because American business leaders change their political opinions in line with the sitting administration

I think this is blatantly not true. Instagram, reddit, and others host a TON of anti-current-administration content.

Now, I’d like to discuss your assertion that there is no other security argument with a series of questions. I do not believe even a casual observer can uniformly answer “no” to the following;

Do you think it is likely that CCP has access to the data obtained by Tik Tok on US phones?

Do you think the US government warnings and security audit results were based on real concerns and findings?

Do you think it is a national security risk for millions of Americans to run CCP controlled code on their phones?

Do you think CCP is able to control the Tik Tok recommendation algorithms to promote their interests, possibly at the expense of American interests?
Thanks for sharing, I really liked that!
He's a jester in a royal court peopled by billionaires.
The rationalist idea of doing morality as math with utilitarian consequentialism always seemed dangerous and a big mistake to me. It is easy to rationalize things that are obviously awful or absurd from common sense, and not meaningfully consistent with normal human experience or human brains and motivations. SBF for example justified all of his crimes with rationalist logic.

I'm not going to walk past a drowning kid in a lake so I can urgently go to a nerd meeting planning to save a quintillion imaginary sci-fi distant future kids - even if some made up math says the expected value of the meeting is a thousand times higher.

Fundamentally, I do have deontological ethics- I think the ancient stoics basically had morality/ethics right, and admire people that take a Socrates like stand on doing what is right on principle even in the face of manipulative people trying to control you by creating bad consequences.
You have to count the size of the dictionary too. See "DICT.DIC".

https://dflund.se/~pi/cpm/files/ftp.mayn.de/pub/cpm/archive/...
> aren't we really saying voters are not individual agents but rather a mob subject to manipulation by propaganda?

I take the view that the reason freedom of speech is important at all, is that people can be convinced to act in certain ways by speech — if it couldn't lead to action, no dictator would fear it.

We, all of us, take things on trust. We have to. It's not like anyone, let alone everyone, has the capacity — time or skill — to personally verify every claim we encounter.

Everywhere in the world handles this issue differently: the USA is free-speech-maximalism; the UK has rules about what you can say in elections[0] (and in normal ads), was famously a jurisdiction of choice for people who wanted to sue others for libel[1], and has very low campaign spending limits[2]; Germany has laws banning parties that are a threat to the constitution[3].

I doubt there is any perfect solution here, I think all only last for as long as the people themselves are vigilant.

[0] https://www.electoralcommission.org.uk/voting-and-elections/...

[1] https://en.wikipedia.org/wiki/Libel_tourism

[2] https://www.electoralcommission.org.uk/party-spending-and-pr...

[3] https://www.bbc.com/news/world-europe-68029232
It seems the only convincing argument anyone needs is that some day they will have a billion dollars and they would like to keep it.
Please tell me they did that on purpose as a response to this post. Top-tier banter!
My dictionary says this about "protocol":

> [In computing:] a set of rules governing the exchange or transmission of data between devices.

In the article, pg says this:

> The reason is that it's a new messaging protocol, where you don't specify the recipients.

It seems obvious to me what pg is getting at, even though the other protocols he mentioned are all formal while Twitter's is not.
To be fair, he's already been impeached twice; this wouldn’t be anything new to anybody.
I wouldn’t say it was shaky ground. Right to privacy is definitely a real thing. The SC has decided against precedent that it isn’t a real thing.
More on compiler correctness in general: https://github.com/MattPD/cpplinks/blob/master/compilers.cor... and fuzzing in particular: https://github.com/MattPD/cpplinks/blob/master/compilers.cor...
Yeah you can choose to use Facebook, Instagram, Whatsapp, or Threads freely. /s
Accountable for sure, but it's less clear who was in favour and who was against the bill compared to if it wasn't bundled together.
on more debt ... wait, they could shove it under military spending via some moderately secret pentagon/CIA anti-anti-propaganda project
This is a bit surprising. Why replace `>>` with `*>` "because it's more modern"? Can't you just stick with what's working? The former hasn't been deprecated.
> Some people signing up for some other services was not what drove Trump to announce this executive action.

To me, there is a strong appearance of quid pro quo between ByteDance and Trump. In that case, there doesn't need to be a sale. Trump likely will require a simulation of restructuring which enables him to declare ByteDance in compliance, and the whole things goes away.
I use X to mostly follow politics and some math/physics, and the political feed in the "For you" tab is remarkably balanced. I actually maintain two separate lists called "Left" and "Right" that I slot accounts into, and I just go to each list's feed to see what each side is saying about something. The "For you" tab has a mix, and overall has been pretty well balanced.
Not reporting on them sure will help!

Also there are journalist owned outlets like 404 media that report on tech. The idea that it's all controlled by billionaires is just giving you the excuse you want to surrender with.
Truth is subjective.
reminder: there currently is no executive order stalling the ban.
Ask HN: If AI replaces programmers, which language will it pick?
First of all, this is just a thought-provoking question, nothing more. I am personally not convinced that AI will replace software engineers any time soon, no matter how impressive current results are.

But let’s say it succeeds eventually. It means that there won’t be any new languages invented, and no updates to existing ones either. So AI will stick to a few current languages in their current states.

And the learning ability will be limited because human content is not being produced anymore. If that’s the case, AI should logically narrow it’s toolset to a single language which has capability of solving the widest spectrum of problems without the need for any further creativity.

What do you think this language is? Python? JavaScript? Rust? Something else?
The US gov has just made the case for banning US owned social networks around the world, because they truly believe that social networks is a way for a foreign agents to interfere in local politics.
Here is a list on what restrictions Chinese citizens live with

- Workers in state sectors can be banned from traveling out of China https://www.scmp.com/news/article/3265503/chinas-expanding-t.... Also, non 1st tier city citizens can have a hard time getting passports, essentially a ban of travelling

- banned from using trains or airline if they are on the social credit score ban

- banned from moving money out of China for more than $50k a year

- banned from accessing foreign websites. VPN is technically illegal, and using it can get you into trouble

- banned from accessing porn

- banned from using a long list of restricted words on social media, from Winnie the Pooh, to "support Xinjiang people"

- banned from using TikTok

- banned from protesting against lost wages from state enterprises

- banned from group protesting

the list goes on and on and on
How about Go? I think that counts as "modern C" ;-)

This is pretty much the real thing: https://github.com/robpike/typo

(If you're crabby about it, this is similar: https://github.com/crate-ci/typos/)
I think there's a reasonable argument that part of that disagreement is a result of the hybrid warfare that is being fought over the information and opinions of citizens in many countries. We know about a few of these where hyper-partisan influencers were paid by Russia (or entities closely connected to the Russian government, if you insist on nuances) to spread Russia's viewpoints and attack social cohesion in the US. Is that a competition of ideas?

Facebook and Twitter have in the past banned networks of account for inauthentic behavior. In other words: individuals (and you can probably narrows this to residents or citizens) are allowed to speak their mind and try to convince others of whatever they believe, but it has to be them, they cannot use bots, multiple accounts etc. It's not an easy thing to filter, of course. But pretend that it was, would you agree with that approach?
I’m not certain, but I think there might also be some other issues people talk about.
When initially looking at this my thought was that this is a way to ditch personal responsibility. How hard can it be to call your family member once every day or two to make sure there ok? Thinking about it more I could see this being useful for people with conflicting schedules such as night shift workers. I also think it may be helpful in cases where someone is in early stages of dementia and needs multiple check-ins a day. (I have no personal experience with dementia so may be totally off.) It may be good to update the description and marketing copy to have this be an addition to normal check-ins from actual care givers or family members.
Not at all. I know that Chinese censorship exists. You - or others, lost track since multiple people are involved here - are the one who’s trying to argue that US censorship does not exist, even in light of this TikTok ban.

Also, you probably don’t realize this, but censorship and moderation are many times two sides of the same coin - depending on the incentives and factors at play.
That is hilarious! Did you even look at the Tiananmen Square channel before posting it? Or do you think that's what happened?
Nah, he'll buy it with TRUMP coins.
Me too if being a bit hyperbolic. I also use the external Thinkpad branded keyboards with Trackpoint for desktop machines or even our "media PC" hooked to our TV screen. I feel vaguely disabled if put in front of a computer with only a touchpad, in the "I have no mouth but I must scream" sense.

I am keyboard focused, and mostly use the Trackpoint to change window focus or place a text cursor. I would prefer a desktop mouse for any precision pointer movement such as in photo editing or vector drawing.

The biggest frustration I've had is plenty of regressions in how Linux, Xorg, and/or Wayland handle the Trackpoint input. The calibration, acceleration, etc. can go completely crazy after some software update and it is basically impossible to bring it back the way it was using the available GUI desktop settings manager. Worse, this happens differently for different Trackpoint hardware instances, so in a household with multiple Thinkpads and external keyboards, muscle memory doesn't carry from one machine to another.

I also like getting scroll wheel emulation via Trackpad gestures, but the drivers seem to get into weird states of ignoring inputs on one or both. I don't know if this is some ham-fisted attempt at "ignore input while typing" that generalized into "ignore input during other inputs" and gets it wrong. I'll see moments where scroll gestures stop working, or others where the Trackpoint seems to be unresponsive.
Thanks, I've followed along with a lot of your posting on the Haskell discourse. One thing regarding this matter:

>well, you point out the analysis of its flaws from the effectful documentation. That's correct.

Thinking deeper about this, that there is essentially no way to fix this issue with StateT, because of the type choice, the monad, the composability requirement, all conspiring together to not be undone, does that signal something deeper that is wrong with the flexibility of Haskell, that we can progressively paint ourselves into a corner like this. Could it not happen again, but with another late breaking requirement, for effectful, or bluefin?
Don't forget the client. I have found it extremely useful to watch the client use our software, particularly when new features have been added.
There is a little more to Russian rules. They don't allow carry with a round chambered. They find it very dangerous that so many american guns are carried at the ready. With no round chambered, the trigger is far less of a worry.
Pray for something very destructive to happen to Capitol Hill during a full session of Congress.
How separate is Twitter and the government really from today?
The article also mentions atom feeds. I've seen plenty of RSS feeds but I have never encountered an atom feed. Are atom feeds still relevant?
> balance between national security and free speech.

This is an absurd framing. Free speech cannot implicate national security. If a social media platform controlled by a foreign government can manipulate the people so easily then you have a much larger and ignored problem.

> all of its national security risks

Which are zero. What you actually experience a risk from is the shabby way Google, Microsoft and Apple have put their platforms together. Designed to earn them money while utterly destroying your privacy.

> This outcome is worse

You're already in trouble. This outcome is a symptom of a much larger problem. The conversation around this is completely detached from reality.
I also feel you are being a bit absurdist fwiw. I am know the be a principled devils advocate sometimes, so I'm reading you as that, otherwise your position as an American makes very little sense to me
Which makes no sense. Meta wouldn’t sell “meta Uk”, data product, algo and all to a competitor for 20 billion or whatever the number floating around is.
“See? It’s so omitted there’s a lengthy, well-sourced Wiki entry on it!”

I learned about this in high school. Blame your curriculum, but ours covered this, as well as modern-day slavery.
great take! thanks for the feedback
Corporations and their wealthy owners have an outsized influence on policies to the near total exclusion of everyday people. Not sure what future you're envisioning here but you might want to consider where you fall in the pecking order before bending the knee to blatant oligarchy.
So, what's the question?

I found that owning your stupidity takes off its edge. When I do or say inadvertently something dumb, and I see that beside me others have realized too how dumb it is, I just something along the lines of "Ufff... now I must look like a damn fool" - which usually gets some agreements and some laughs, and 10 minutes later everyone forgets about it.

Of course this works only if the stupidity hasn't caused any damage (yet). Once there is real damage, well... consider not doing such things.
The software that powers LLM inference is very small, and is the same no matter what task you ask it to perform. LLMs are really the neural architecture and model weights used.
Sanctions regimes still exist.
You just described the corporate propaganda that generations of Americans have been bathed in.
Which is another problem entirely but it's whataboutism. It says nothing about the CCPs motivations.
I've tried that on some laptops. I do not find it to be a good replacement for the Trackpoint.
Yes he was. The payment in question happened after he launched his campaign -- in late October of 2016.

[EDIT to respond a bit to the now-expanded parent, which was only a single sentence when I replied]: I do totally agree that the hush money prosecution was a bit of a stretch, and wouldn't have happened if Trump wasn't famous. You're just wrong about it applying to a time when he wasn't running for office.
Same. I follow more 'right' and see also balanced left.

Thus I was wondering why people were always talking about hate and racism on x.

Bluesky is a different story, there I exclusively see left wing content. Full of hate.
> But: first, when you have more money you generally want to buy nicer stuff, and the bang-for-buck generally goes down.

This isn't necessarily a fact of human nature, this is just an extension of Greed.

There is an inflection point, where the price of a good is minimized whereas it's quality and lifespan is maximized. Such an inflection point is somewhat high - meaning it cannot be reached by poor people.

Sometimes people cannot be satisfied, and they will go well past the inflection point. Such behavior is, of course, completely optional and almost always self-destructive.

Sure, a Birkin might be pretty, but really any decently made leather bag will run circles around what you can find at Target. The Birkin isn't bought for quality.
Bonus points for mentioning Spin. My "Software Engineering" course in 1987 in grad school would have been more accurately titled, "Using the Spin Model Checker". Except when I was looking for it, I had never came across any mention of Spin since.