skysight-inc/HackerNews huggingface dataset:
Here's a take from a mathematician-in-training, and it's biased toward research-level math, or at least math from the last hundred years:

Math is difficult, and a lot of what we have is the result of the sharpest minds doing their best to eke out whatever better understanding of something they can manage. Getting any sort of explanation for something is hard enough, but to get a clear theory with good notation takes an order of magnitude more effort and insight. This can take decades more of collective work.

Imagine complaining about cartographers from a thousand years ago having sketchy maps in "unexplored" regions. Maps are supposed to be precise, you say, there's actual earth there that the map represents! But it takes an extraordinary amount of effort to actually send people to these places to map it out -- it's hardly laziness. Mathematics can be the same way, where areas that are seemingly unrigorous are the sketches of what some explorers have seen (and they check that their accounts line up), then others hopefully come along and map it all in detail.

When reading papers, there's a fine balance of how much detail I want to see. For unfamiliar arguments and notation, it's great to have it explained right there, but I've found having too much detail frustrating sometimes, since after slogging through a page of it you realize "oh, this is the standard argument for such-and-such, I wish they had just said so." You tend to figure that something is being explained because there is some difference that's being pointed out.

I've been doing some formalization in Lean/mathlib, and it is truly an enormous amount of work to make things fully rigorous, even making it so that all notation has a formal grammar. It relies on Lean to fill in unstated details, and figuring out ways to get it to do that properly and efficiently, since otherwise the notation gets completely unworkable.
AI board member with a vote.
Entire board is an AI.
I was given a 10+ year old TV for free. It’s heavy, and it’s 720p video is good enough. If I were to buy new, I would buy another 4K monitor.

Broadcast TV is dead, and I wouldn’t pay to subject myself to cable. Most TV broadcasts that I am interested in are available through streaming.

I have been looking for one of those small colour CRT TVs with a built-in VHS player and composite input.
I don't generally give creedence to what hostages say at gunpoint, and it beggars belief that Peng Shuai, who just aired explosive allegations of sexual assault to a huge audience, wants her "privacy to be respected" and the story to go away.

The IOC is actively aiding the CCP's repression by passing that along.
When does a relation DB table become too big?
I’m very happy to see WTA take it directly to the Olympic level and also threaten to recall WTA tournaments in China.

Note the third para that describes the censorship. How despicably efficient is the Chinese censorship apparatus that they caught this and deleted it within an hour and commenced with clean-up. They knew this could have incited dissent.

If this is the “utopia” that awaits us in the up-and-coming centralized walled gardens of software, count me out.
They are still brainstorming how to spin the un-spinnable. This is like when all of a defendant's lawyers quit or all independent board members quit or auditors refuse to sign your annual report. Maybe hire some PR people to do it for you.
At any given social gathering among even non tech people I know, there’s always a side conversation happening about crypto. It’s the same people who go spend too much at casinos, or are only talking about the next business venture. It’s a bit of an obsession.

Another extremely frequent conversation is over the impossibility of owning a home on not-tech salaries. I think they’re related. People don’t think they can really reach goals related to life stability unless they win some sort of lottery. To me this is really worrying, not because it’s wrong but because for many it’s right. A slightly higher than median salary used to mean one is in the middle class. A whole generation doesn’t believe they have any opportunities.
If you really want to ensure you're on the CCP's shit list, casually call it Occupied West Taiwan and show a Kuomintang flag.
The typewriter allows you to write five times as fast as a pen.

So naturally, now that we have typewriters, we are spending one fifth of the time writing that we used to.
I wouldn't call Dune, Frankenstein or Jurrassic Park unapproachable or weird edge case titles. Is Margret Atwood weird and unapproachable? Robert Heinlein? Philip K. Dick?

I don't think there's books that everyone should read but none of this seems weird or unapproachable.
One is technical.

20,000 rows on search can kill the server, depending.

20,000 rows displayed can kill the users PC.

One is the fact programmers are generally stupid. They cargo cult. I'll often give backend users unlimited rows if they chose. This is the programmers job, not the product owner or the UI designer who are even dumber, programmers need to stop passing the buck for their shonky work.

I do wonder if it adds or detracts from $$$ sold. I'm pretty sure online markets benefit from inefficiencies. There are lots of other options that would make search better they don't do. In part people wandering might make $.

For forums it'll be about user page views for ads.

A chrome add on that blows it out to 10,000+ rows for forums, commerce etc would be handy.
You work then. No one is saying you can't anymore. But don't try and force your lifestyle on the rest of us lazy people. I'd much rather do nothing all day but read some books and go for walks.
Specific question for anyone who's gone from bash to fish (and maybe back) -- Does the "only splitting on newlines" mess you up? I've just been in bash so long that I feel like this will get me?
Well we always find out the mainstream news coverage is either fake, distorted or falsehoods by omission post-mortem (pun intended). Reminds me of Brezinski setting up the "Afghan trap" for the Soviets (his own words) and then the Carter administration boycotting the Moscow Olympics. History and the boycotting play just seems to rhyme awfully well:

Our hope instead was to prolong the war, keeping the Soviets bogged down in Afghanistan. Zbigniew Brzezinski is quite open about this. In the same 1997 interview, he speaks of “drawing the Russians into the Afghan trap.” He claims: “The day that the Soviets officially crossed the border, I wrote to President Carter: ‘We now have the opportunity of giving to the USSR its Vietnam War.’”

https://www.ellsworthamerican.com/opinions/commentary/commen...

https://en.wikipedia.org/wiki/1980_Summer_Olympics_boycott

https://www.forbes.com/sites/dereksaul/2021/11/24/heres-the-...
The career-related reasons why early-career employees want to go in to office are valid. But that is not the whole story.

For many early-career engineers living away from families in cities like SF, Seattle etc have better office spaces than personal living spaces - better buildings, better air conditioning, better TV, better restrooms, better kitchens, better stocked fridges etc. This factor does not apply as much to later-career employees who live in the suburbs.
If you want a single metric: an sudden uptick in the fraction of the total available mass available to us dedicated to computation.
Won’t read economist till they put their names on their bylines. Cowardly 25 year old kid journalists
I don't believe anything until CCP let her leave the country
I am not trying to defend China or the CCP in any way here, the situation is not defensible.

However, I'm surprised that more comparisons haven't been made to the way the West has erased Julian Assange, and how easily he disappeared from our collective consciousness.
My old phone: Why AT&T sent me a free phone, and what circuit-switched means
For over a year now, I've been writing short articles for non-technical people to read. Usually I try to use something in the news as an opportunity to teach some simple concept.

This is my latest article. I use the fact that AT&T is mailing me a free phone, to explain the difference between circuit-switching and packet-switching.
First one is already a reality.
Fungi, like plants and animals, are eukaryotes. However, eukaryotes and bacteria occupy the same rung in the taxonomic divisions (they are domains), so it's the more appropriate correction. The third domain is prokaryotes.
> Hands-on users of math notation are complaining that it sucks. I'm not sure why a dismissive "works for me" is so often the default response.

It is really easy to complain. People also complain about every popular programming language, but it is really hard to make something that is actually better. It is easy to make something that you yourself think is better, but it is hard to make something that is better in practice.
a) Peng is represented by a deep faked body clone while she rots in a See See Pee blacksite.

b) Washington media is blowing literally any scandal out of proportion in a propaganda blitz aimed at tarnishing Beijing 2022.

Occam's Razor, anyone?
Thanks, I wasn't aware of those two!

Riffing on those, I can also recommend DIY Perks. He makes pretty stunning electronics projects. https://www.youtube.com/c/DIYPerks
Perhaps not the right thread, but: is there anything like 'follow mode' in other editors like Sublime Text/VSCode/Visual Studio editor? I'm now emulating that with e.g. 'new view into file' followed by manually scrolling. Having that autoamtic can be really handy.
The dissent moves offline. To kitchens and smoking rooms. And judging by what happened in the USSR, it results in a social apathy and, eventually, economic stagnation.
Odd timing for releasing stories like this, as the pressure is being put on the last few vaccine holdouts.

Or is it preparation for some other Covid precautions?
Alcohol let our ancestors survive. Weakly alcoholic beer was far healthier than water because its production likely killed germs in the water.
How is the specific content of her Weibo post relevant at all here?

The issue is that the woman was kidnapped by the Chinese government because simple because she spoke out publicly, and it seems to me that the media’s reporting has been very complete in that regard.

What specifically has been lacking?
> I assume I explained the latter clearly enough, so I'm not sure why you would bring up a distraction like that [...] Also, it's not in very good taste to point the finger at someone else when getting moderated.

I pointed at a single comment in the same tree to better understand your reasoning for the ban (You cannot see each comment, that's obviously unrealistic. Still, I assumed that you at least reviewed the tree).

> there's no parallel between how they've been using HN and what we banned you for

How I recently used HN (last 5 comments):

- Provided missing context to unfounded vaccine skepticism - https://news.ycombinator.com/item?id=29328687

- Asked for more information/reasoning behind vaccine skepticism - https://news.ycombinator.com/item?id=29328216

- Expanded vaccine skeptical comment without judgement - https://news.ycombinator.com/item?id=29322045

- Added statements from original study author to put unfounded vaccine skepticism into perspective - https://news.ycombinator.com/item?id=29316229

- Tried to put hospitalizations into perspective, citing CDC study - https://news.ycombinator.com/item?id=29299661

You say my account is agenda-driven. What's my agenda? Where am I fighting an ideological battle? Am I pro- or anti-vaccine? Maybe both? Or maybe I am just trying to have "curious conversations" on a topic I'm currently most curious about. To get more thoughtful and substantive, not less, as a topic gets more divisive.

If that's not OK because it's too focused on one topic and therefore not curious enough, well then I accept the ban.
There is no response. The more this story goes on, the more shady it sounds. It sounds like what happens when people have a big interpersonal conflict behind closed doors.

> As top-level team leads, project directors to the Foundation, and core team members, we are actively collaborating to establish next steps after the statement from the Rust moderation team.

> While we are having ongoing conversations to share perspectives on the situation, we'd like to collectively state that we are all committed to the continuity and long term health of the project.

> Updates on next steps will be shared with the project and wider community over the next few weeks.

That seem like the usual corporate linguo.
How does Java do without using an array of ints, or Valhalla? In other words, what's the cost of Java's forced indirection?

What happens if you use

pool := make([]Tree, 0, 256)

instead of

var pool []Tree

in the Go so it doesn't waste time growing tiny slices?
That's right. Not just minor injuries, but major injuries. And not just to guilty people, but innocent people. Then once we have a database (definitely a heavy duty one like Oracle with lots of consultants to nurse it), we'll need a consortium of independent auditors to verify that all those injuries were major, and all the injured people were innocent. Only then will we be able to embark on developing a standard VerifiedInnocentPersonMajorInjuryRecord interchange format, and begin the debates about whether it should be based on CORBA, XML, YAML, JSON, or CSV, and if we can't come to an agreement on that, then we'll have to develop converters between all the different data formats. Because the free market trumps government regulations every time. For some definition of "Trump".
The media never picks up on this, as expected
No, seriously, this. I'll say this, I don't know what's going to happen. No clue at all. But it feels like NOT putting SOMETHING in, at least enough to stave off future ROMO would be stupid.
Really? Which company?
> There are exceptions like John Carmack and Jon Blow, who can code for 10-12 hours a day and who are running a mini-crusade on Twitter against generalizations like that.

I strongly doubt that either Carmack or Blow are told by management to work 10-12 hours/day. That they feel like doing it is another matter.
Hi! If you have a question, please open an issue and I will respond there, simply because it is more efficient and people can see why this feature exists
What kinds of returns and from what initial investment?

If you got into crypto in the time leading up to 2013, 2017, and 2020, you could have 10x'd your bag easily.

I suspect having a technical understanding helped appreciate the value of Ethereum, Filecoin, Avalanche, etc. before everyone else, while simultaneously knowing to avoid Tron, Litecoin, Cardano, etc. which lack technical merit. (Although even properly timing the latter would have generated lucrative returns...)

And then having enough sophistication as an investor to liquidate your holdings at peak hysteria when the layperson was asking about crypto.
Not about Peng Shuai case, but you might find it interesting:"I was a body guard for Chinese Serial Rapist" -- https://youtu.be/gZEPTCQUEI0

Edit: reworded
If you could earn anything with a simple savings account, or safe assets like bonds, then the obsession with finding the Next Big Thing in finance wouldn't be anywhere near as popular. But there are no options - it's finding something to gamble on, or lose your wealth to inflation. No one wants to have their life savings inflated away.
Look on lowendbox
Yeah: Use even more complexity to build software. How about taming software? (duckandcover)
Moderating even on Thanksgiving Day!
Comparing the "plugin hunt" between vim and zsh is a bit much. I use three for Zsh, just syntax highlighting, autosuggestions, and fzf-tab. I don't use a Zsh plugin manager.
> I think a real problem in this area is the belief that there is "one true notation" and that everything is unambiguous and clearly defined.

No, that belief isn't the problem; that actual status quo itself is obviously the problem. There are numerous notations and authors don't explain what they are using, assuming everyone has recursively read all of their references depth-first before reading their paper.
How to Earn Money on Internet
Learn the legit away to earn money online
https://archive.md/rrlu1
Do you think it's distorted because of that, or because of America's agenda against China itself? Seems like an easy and convenient way to sow distrust and hate, no?

On the other hand, if what is reported is true, then more power to her.
I think you've sufficiently and comprehensively put it into meaningful words above!

The truth is, those who care to use the language properly know this already. Those who wish to dismiss it always will, and this happens to be an easy angle of attack.
Qualcomm and AMD could have chosen to be more vigorous in their competition. Android customers would have gotten better phones, Intel wouldn’t have waited until 2021 to start making decent parts again, and everyone would win.

Maybe a more fair version would be for the federal government to socialize each of these players, and decide that they will pay a premium for slow, hot, American-made parts.

If that sounds ridiculous, meditate on why you think capitalism/markets have a negative connotation when they are in fact producing great outcomes - amazing chips (M1 series) and competitive pressure on Intel, AMD, and Qualcomm to eventually deliver similarly competitive chips.

Unbridled capitalism gets a bad rap, but that’s a relatively new innovation. You can have a well-regulated market produce even more fabulous outcomes; don’t blame corporations for those outcomes, blame politicians and the voting public.

Edit: a theme I see repeated over and over, on hacker news of all places, is people making excuses for businesses operating in competitive markets. Making excuses is bad for consumers, it’s bad for competition, it’s bad for society. Stop making excuses and ask business to work harder. Android users deserve fast processors, and it is 100% Qualcomm’s fault that they don’t have them. Intel PC users deserve fast, low-power processors, and it is 100% Intel’s fault that users don’t get them, or have to go to AMD/Apple for them. Apple’s success is proof positive that AMD, Qualcomm, and Intel have been insufficiently vigorous and innovative in their competition, which in manufacturing products also involves the surrounding business practices needed to ensure access to fab capacity.
Actual evidence that cannot be (as easily) produced by pressuring her into creating it would be useful. That probably means her meeting with WTA officials outside of China on her own itinerary, and without handlers watching her every move.

The fact that the WTA kept the pressure on may ultimately prevent the Chinese political bigwig she accused from crushing her, and may eventually help other Chinese women in a similar position. For some senior male politicians in China this seems not to be about Peng personally, but about protecting the continued practice of concubinage for the political top of the CCP; something that is exemplified by Chinese state media essentially ignoring the allegations of sexual abuse.
To expand a bit on that: 230/240V is commonly two legs of a 'delta' wired transformer, there is no 'neutral' in that case, you only have that when you have a transformer in 'star' configuration.
Ok, do you have any recommendations for uh, China analysis YouTubers?
Here are some links:

- https://www.zdnet.com/article/singapore-police-had-used-covi...

- https://slate.com/technology/2020/06/contact-tracing-law-enf...

Given the past decade (Snowden & Assange) I don't find strange contact tracing being used for "other purposes". The data is readily available so, why bother with drones?
It is possible that we have an issue with common definitions.

What do you understand by establishment?
Amazing that I have not used emacs in years but I wanted to see this artist mode with my own eyes, so I opened it and was surprised I could still remember how to get all around with the m-x commands... my muscle memory even remembered the combo to exit emacs correctly, and even as I type this, I couldn't tell you what that key combo is! It's all in my finger muscles' memory. Incredible.
> But clarity doesn't require some sort of minutely perfectly consistently notation which would be required by a computer

I made this point in another comment, but I think it bears repeating and elaboration: Consistency isn't required (at least outside any single paper), but explicitness would be a tremendous boon.

Software incorporates outside context all the time, but it pretty much always does it explicitly (though the explicitness may be transitive, ie. dependencies of dependencies). Math papers often assume context that is not explicitly noted in the citations, nor those papers' citations, etc.

Instead, some of the context might only be found in other papers that cite the same papers you are tracking down. You sometimes need to follow citations both backward and forward from every link in the chain. And unlike following citations backward (ie. the ones each author considered most relevant), the forward links aren't curated and many (perhaps most) will be blind alleys (there also may be cycles in the citation graph, but these are relatively rare). But somehow you have to collect knowledge (or at least passing familiarity) with an encyclopedic corpus in order to at least recognize and place the context left implicit in any one paper in order to understand it.

It's maddening.
They're not though. There are still many fabs available, just not the premium ones. It's up to every other company that wants those seats to pony up and do what they need to do to get that capacity.

It's like a restaurant reservation for a very regular "VIP" customer. They may get really special treatment, because they're probably spent enough to earn it. And everyone else schleps in line.

Really there's nothing wrong with that. It may be annoying, but someone is paying way more and consistently for that table.
One very common use for thermite is bonding grounding connectors together underground for telecom tower construction, before a foundation excavation is filled in. Most any serious tower erection crew will have a set of molds and thermite kit.
I've learned recently that OLEDs don't do quick movement- primarily quick panning shots well- the 120 frame per second OLED screen has trouble with 24 frame per second movement without introducing some jidder. It's not a big deal but there is something theaters can do better.
> A whole generation doesn’t believe they have any opportunities.

Even those in tech believe we don't have any meaningful opportunities. Real talk: most of what we do day in day out for our employers is shit built upon bullshit built upon a house of cards, and it will come crashing down sooner than later. The European Union is finally flexing its muscles, other countries are beginning to follow suit against the digital corporations, even the US Congress is asking questions from both parties now. And where will we all be when the venture capital dries up, when entire business models are outright banned or made virtually impossible because of privacy regulations? Or when those we work for (especially in the automotive or other carbon-sensitive industries) have to cut down costs or close shop?

If you work at Facebook or Google (and to a lesser extent Microsoft and Apple), everything you do follows exactly one motive: make as much profit for the shareholders as possible by advertising people stuff they don't need. Most of what everyone else is doing is either directly related to advertising, to creating a new product that is only marginally better than the previous version or to extracting money out of someone else for services they don't need.

Bullshit jobs? We are in a bullshit economy, and the circle of capitalism forces us to ever-increasing economic growth - it's obvious that the path we are on as a species is pointing straight to our downfall, be it by climate change, by a resource-resetting war or by exhaustion of vital natural resources.

Disagree? Ask yourself when was the last time you created something at work that provides a net benefit to society's survival.