skysight-inc/HackerNews huggingface dataset:
A friend of mine recommended this to me many years ago. I love how concise and straightforward the material is. It doesn’t assume much of anything of the reader and will take you through it pretty methodically.

On the other hand, it is not a quick way to learn electronics, which is what I was interested in.

For that (and not the grid stuff) I’d recommend Charles Platt’s Make:Electronics. It’s great.
Using iCloud is the incentivized default (like using an online account on Windows), so it applies to most users.
Believe me, it doesn’t.
> Culture isn't free. Someone is paying for it, and if you stop paying them, then it doesn't get created.

That doesn't seem to be universally true, but an end-game of capitalism. There are countless examples of artistry/sculpture/music that were created long before copyright existed and although they may have been "paid" for it previously, those cultural items can be appreciated without needing to pay someone for it.

There are also many contemporary cultural items that were created without monetary recompense that can also be enjoyed without needing to spend money.

> Copyright is there to allow you and me to develop things and make money from it. It is there to stop people stealing our work, which may have taken years to develop and sell it for a profit with none of the risk.

Your use of the word "stealing" is unnecessarily loaded and specifically means that the creator was deprived of physical ownership which would be incorrect.
Exactly, you can ship software in unityped languages. Still, how do you express even such a simple thing as a generic list type in simply typed lambda calculus?

It's just that dependent types enable you to express any invariants statically, without actually running the code.

> You can construct a NEL (NonEmptyList) in any language. That's trivial.

That's true, with the caveat of: this invariant only exists in your head and hopefully docs. When it's encoded in a type, your compiler gets awareness of this invariant as well. Then it's able to do things that were impossible before, it can catch bugs that you would not (e.g. due the sheer amount of source code).

Even though there are other approaches to software verification, types are the only one that got mainstream adoption so far.
Future generations will replace you and your wife with those who think quite differently. If you feel that your values or culture are worth preserving, you have kids.

Observing someone else’s family and deciding that you don’t enjoy their kids is the saddest way to decide not to have a family, and indicates a deep lack of parental empathy. Your kids are nothing like other kids, for all values of “your”.
You're talking about interpretation. Facts are facts.
What do you do these days?
It's mind warping terminology to call them huge pages. Memory sizes have increased 2000-4000x since x86 Linux picked 4 kB, so 2 MB pages are still in relative terms smaller than 4 kB pages were back then and it should be a no-brainer to use them by default.
I recently caught an apple-centric episode of 'Gastropod' and definitely recommend it. [1]

I like podcasts that have transcripts, and invite you to this moment where a few layers were added to my understanding of well known American figure 'Johnny Appleseed'[2]:

> TWILLEY: Johnny would get a mush of seeds and apple cores thrown out by a cider mill, and he would stick it in a dugout canoe, and tie that to another canoe and then float down the Ohio River to find a promising new patch of land.

> POLLAN: So like a real estate developer, he would make a kind of judgment as to where the next wave of settlement was likely to be. He’d buy or squat on a piece of land and he’d cultivate it and plant his apple trees and they would be ready when the settlers got there. And he would sell them for a couple pennies apiece.

[1]: https://gastropod.com/transcript-the-big-apple-episode/

[2]: https://en.wikipedia.org/wiki/Johnny_Appleseed
Reduction to 150,000.

Which is about 20% versus the 10% announced.
Did I say that Siri's core tech cannot be improved?
Background on TCI and Hohn:

https://en.m.wikipedia.org/wiki/The_Children%27s_Investment_...
Is this legal? Can we sue this guy?
I see the one OP mentioned just fine on OpenStreetMap
>> Show HN is for something you've made that other people can play with. HN users can try it out, give you feedback, and ask questions in the thread.

This would be a Show HN only when billionaire investor Chirstopher Hohn [0] himself posts this. If not, this perhaps is a Tell HN.

[0] https://archive.is/8oghg
Premise of the article is roughly: if all this litigation continues, the AI industry could collapse.

Serious naive question: How would that not be a desirable outcome for society? “AI” is becoming a scourge.

AI’s value-add that we truly need is just detecting cancer right? Obviously I don’t want anyone to die from cancer if they could be saved. But AI in cancer detection is a detection-rate booster: cancer can be detected without it. A non-AI process could try to recover some of the lost accuracy.

Weigh this against the misinformation potential of chatGPT, deepfake video fraud, discriminatory bias in ML model output, the surveillance potential of image recognition, addictive social media, the essential inscrutability of model output… (i could go on, but the research & reporting on AI as we have wielded it is voluminous)

So if litigation kills AI, isn’t that cause for celebration, on-balance?

Or shit, can’t we just legislate easier usage regulation for lifesaving medical data, so we can keep the cancer detection use cases and let the rest of the AI gold rush die?
> hopefully this letter is fake

The letter is published on TCI's own website[0].

He is salty about his winning streak ending[1]:

> Billionaire Chris Hohn’s 13-Year Winning Streak at TCI Ends With Fund Slumping 18%. Sell off in equities hurt bets such as Alphabet and Microsoft. Last year’s loss was the second since the fund started in 2004.

He moaned about cost reduction to Sundar Pichai in Nov 2022 too[2]. I wonder whether these sentiments were echo'd by other such investors too and how much all that contributed to Google's recent layoffs[3].

His fund has done activist moves in the past too so this sort of advocating isn't new to them[4]:

> In 2008 the US railroad company CSX won a court case against the Children’s Investment Fund and 3G Capital Partners, another hedge fund, after the funds announced that they had acquired about 20% of CSX’s stock.[9] TCI succeeded in electing four of its five directors to the CSX board, but CSX shares declined by about 50 percent after the meeting. TCI declared defeat and sold its shares, taking its directors off the board. Chris Hohn, the founder of TCI vowed to abandon shareholder activism as an investing strategy.

Apparently he hasn't exactly abandoned it.

[0]: https://www.tcifund.com/CorporateEngagements/Alphabet

[1]: https://www.bloomberg.com/news/articles/2023-01-20/hedge-fun...

[2]: https://www.tcifund.com/files/corporateengageement/alphabet/...

[3]: https://blog.google/inside-google/message-ceo/january-update...

[4]: https://en.wikipedia.org/wiki/The_Children%27s_Investment_Fu...
I mean when you take on a big investor, they get their say on how the company is run.
> "However my point is"

Yeah I completely agree with you (and hoped my last paragraph would show that I wasn't disagreeing with the substance of your previous comment).

But back on the pedantic side... bringing in the definition of 'secret' isn't relavent because we weren't using that word - 'conspiracy' doesn't mean "a secret exists", it means "two or more people are plotting to keep something secret", it needs intent. You don't know what my friend and I just ate for lunch, so you could argue that's a secret, but if you asked what I ate then I'd not have a problem telling you, because it's not a conspiracy.

And nor is illegality needed, though I think most definitions or 'conspiracy' do include it being something that people could consider being negative in some way; I'm not sure planning a surprise birthday party could ever be classed as a 'conspiracy' (except tongue-in-cheek).
> I really don’t get the purpose of such a small layoff.

Possibly just one of layoff waves.
I really like the looks, but would prefer a single-container approach for personal deployments. Probably need to check how to roll my own...
You can see how important the salary reductions are by the fact Chris Hohn pays himself a mere 1m GBP per day.

This man had the highest salary of anyone in the UK.

https://www.theguardian.com/business/2021/mar/05/the-very-pr...
Rodney Brooks Predictions Scorecard
Responsibility without consequence is meaningless.
> Right, but on the other hand there’s no responsibility if there’s no metric.

That's why I call BS on the executive saying "I take full responsibility."

> I guess companies aren’t our friends after all?

They never were and never will be unless they decide to be friends. They may create a pleasing environment to do work in and care for good atmosphere in the workplace and press for decent interpersonal communication so that work gets done smoother, but it's all about the common goal of getting work done so they can get paid so you can get paid. This isn't friendship, it's optimization.

Until your employment contract has an explicit friendship clause of some sort, or unless you own or co-own the company, you have no guarantees you are anything more than a mercenary with some legal protections that kick in if you are let go. That's the very basis of capitalism where workers are one of the many manageable resources.
> The median salary at Alphabet in 2021 amounted to nearly $300000

Let's say the average salary of the 12k people they just fired was $300000. That's 3.6bn a year. Last time I checked Alphabet were burning ~180bn a year. I'm not saying 3.6bn is pocket change, but how is such a small % supposed to make a difference? For comparison, they were fined ~4bn in Europe recently.
Why did Alphabet acquired 30k employees in 2022? Why 100k over last 5 years? What do those people do?

What marvels Google is working on?
The headcount in tech recently grew way faster than the rest of the economy, and faster than the companies growth as well. As you get bigger headcount shouldn’t necessarily rise by more than the company is growing, which is what happened.

In a full blown recession going back to the headcount of 2 years ago isn’t exactly some Gordon gecko capitalist evil. It’s pretty reasonable.

Especially as it seems most tech companies are culling admin and hr staff, which is not where value is being created.
You can't have a proper pension system if you don't have enough young and middle-aged workers to pay for it, and to work all the jobs necessary to keep a society running.
Some of finance is valuable, it creates the opportunity to transform money over time.

This isn’t finance, just a rent seeking guppy casually trying to move the Overton window on 20,000 families.
Maybe not true for criminals, but many people don't have kids precisely because they did a cost benefit analysis on having them and decided it was too expensive to do so.
> "Well for electronic components your basic three chioces [sic] for states of matter are solid, liquid, and gas."*

Three states of matter is basically a fairy-tale we use as a first, easily understandable basic working model of matter. In reality there are so many states that Wikipedia has a dedicated page to list them: "List of states of matter" [1]

This is also the reason why every physicist cringes when the usual popular science mags announce the discovery of "a fourth state of matter" about once every year.

> "Silicon crystals are naturally solid-state"

Solid room temperature silicon can be in a crystalline state or an amorphous state. While amorphous silicon may appear solid it has many properties of a liquid and thats where the word "liquid" in LCD (Liquid Crystal Display) comes from. So, its not that easy.

[1] https://en.m.wikipedia.org/wiki/List_of_states_of_matter
Have a brief look on TikTok to see those showing their "work day" that's just goofing off.
I think that's an entirely different scenario. For one, I'm not displaying myself in my front window with the explicit intent of people viewing me. If you replace the AI in your example with a human taking a photograph, I would be equally appalled at the misuse of my image, and I'm very confident I'd have legal recourse to stop it.
Maybe work on your communication skills.
Show HN: Low-Cost 4K AI Avatar Generator
A little project I've been working on a project for the past month that offers low-cost AI avatar generation. And what distinguishes it from other AI avatar generators is, you can create as many AI avatars as you want, after training it once. Price for just generation is $0.01 per image(4k upscaled as well). Instead of using costly third-party APIs for training, inference, and upscaling, I'm using Runpod, which offers the lowest costs possible. The only way to get lower costs is getting so much volume that I can afford multiple GPU servers full time.

I somehow missed the boom in AI avatar generators over the last two months, and in this fast-moving field, it feels like you can become obsolete if someone else gets there even a week before you. I want to give credit to https://github.com/shinework/photoshot for the foundation and frontend styling. The MVP I had early this month had a working backend but frontend styling is just not something I'm good at
Twitter laying off 75% and still running fine is the elephant in the room here... How could investors see that and not agitate for more layoffs?
I see the same thing going on Youtube. Not just one spam account, but whole networks with hundreds of accounts dominating one comment section. All building one coherent story to scam people. It's often the most liked comments having 10x more upvotes than others. These are in the 100's and 1000's of upvotes.
I would just like a single high-quality charging cable that isn’t likely to get damaged.
This may be of interest to this crowd. Singapore has explicitly set out exceptions to copyright infringement in its new copyright act. Sections 243 and 244 of the Copyright Act 2021 [0] permit copies of works to be made for "computational data analysis", provided certain conditions are met. It's not clear how this will pan out - the definition of "computational data analysis" is broad in some ways, narrow in others, and the conditions need to be tested against real world scenarios.

* * * * *

[0] https://sso.agc.gov.sg/Act/CA2021?WholeDoc=1&ProvIds=P15-#pr...
US FAANG IT salaries are insane, well beyond normal, especially compared to european ones. I know these companies made an insane amount of money, but still they were outrageous.
This is an outdated viewpoint that doesn't take into account the newer generations of Taiwanese who are developing a distinctly anti Chinese identity and rejecting what older people call "Han" (華人）. The younger generations are leaning into and exploring the diverse heritage of the island itself, including by going out of their way to learn indigenous languages and incorporate aspects of indigenous culture.

Taiwanese are also inventing their culture from whole cloth, forming cultural alliances named cute things like "the bubble tea alliance" in a direct oppositional effort against CPC cultural imperialism that centers around han supremacy.

Every year that goes by the presumptive and han supremacist viewpoint that "Chinese is Chinese" evaporates further in Taiwan. Every day 台灣中文 diverges further from 普通話; they are now classified by linguists as separate forms of Mandarin entirely (not just because of the character set. Obviously the languages are mutually intelligible though).

It's worth pointing out that "use the same language" is kinda silly to say in either case. Though of course most PRC speak Mandarin, and most Taiwanese speak Taiwanese Mandarin, both nations are filled with bi and trilingual people speaking all sorts of dialects.
Wow, it's really impressive to see how advanced AI image generators have become! The ability to create stable diffusion images with a "just works" approach on multiple operating systems is a huge step forward in this technology. We've deployed similar tech and APIs for our customers and are contemplating using this library as part of our pipeline for https://88stacks.com
>I'm currently in the Czech Republic and I can tell you, everyone here would go to war before becoming a Russian sattelite again... Since joining the EU, this country has become quite rich. Higher GDP per capita and wages than Portugal. Almost at Spain's level. Versus Russia, Ukraine and Belarus being very poor... As for sentiment on Ukraine, there's Ukrainian flags absolutely everywhere. Ukrainian people too. They're even about to elect a former general and NATO Chairman as president

See this massively undermine your own argument. I.e. that Ukrainians are eager to align with the west to protect their supposed distinct nationality vs. they are greedy to get a piece of Western economic prosperity (the true reason).

However there are some problems with this cargo cult mentality.

1. Ukrainians can just move to the west, it has never been easier,and leave their steppes to Russians. In fact this is what's happening.

2. The most industrialized and resource rich portion of Ukraine is so called Novo Russia (New Russia) and it is in the east. Meanwhile the most nationalistic region of Ukraine, in the West in Galicia, was formerly the poorest part of the Austro-Hungarian empire so comparisons to Czech republic for example are unfounded.

3. There is no evidence that Russia wants to reassert itself over eastern Europe vs prevent expansion of Galician zealots east (you may call them Banderites or neofascists because that is what they are). These people have made up a national myth where somehow they are the true Russians.

Most of the black sea coast including crimea were under turkish dominion until the formation of cossacks and the incorporation of the territory into Russia. That was something like 200 years ago. Until 1990 the territory was filled with people who considered themselves the same as Russians including young Zelensky, whose first language is Russian.

The city of Donetsk, for example, was founded as a steel town in the Russian Empire, by an Englishman, Hughes, and populated by Russians.
I'm a bit unsure how to interpret these layoffs. Are they a consequence of recession? Or are they a consequence of recent anti-AdTech GDPR rulings?

I'm referring to the recent fine applied to Facebook. The ruling is long, but TL;DR would be as follows: It will become impossible to pay with privacy in the EU. My crystal ball is as good as yours, but I guess this will significantly squeeze AdTech. I wouldn't be surprised if AdTech revenue, valuation and salaries drops to whatever "good" IT companies make these days.
Ask Elon :)
This is a very good point, and is likely one of Matlab's pillars of strength. As an open-source guy I find it painful to say it, but the fact that the Mathworks is a commercial organization means they have lots of revenues which they use to hire people to implement new features. They have loads of very smart engineers building new toolboxes and other new features all the time since they have a money fountain (revenues) to fund it. The toolboxes are important to paying customers with advanced requirements, and they are willing to pay for them. It's a virtuous circle.

Octave has some volunteer hackers who poke at the code base for fun. I recall that about ten years ago development of Octave had a crisis -- the primary developer John Eaton lost his funding from the University of Wisconson. Many people who followed Octave feared the project would die. Fortunately, that did not happen, and I am not sure how the whole kerfluffle worked itself out. However, it illuminates the shaky foundations of the volunteer-project software development model (Octave) compared to having a cash fountain from real revenues (Matlab). The cash fountain means you can fund development of features desired by your users.
The basic problem of supply and demand for skilled labor doesn’t go away.

This may make talent at the top end more tolerant of risks and willing to dive in and try and disrupt a company facing the inevitable morale and operational challenges that come after layoffs
If American Airlines fired their heavy maintenance and aircraft purchasing divisions the planes wouldn’t just fall out of the sky.
You don't have the headcount to keep the service(s) running. You have the headcount to develop new features and services. It still remains to be seen how the reduction will effect Twitter in the long term.
Why would it be illegal to express an opinion?
The parent comment just described the meaning. It's not meaningless.
This is why there should be term limits on judges and legislators.
Which is the an absolute worst way to do it for employee morale. It might be the best way to extract maximum investor happiness though.
Managers and even directors allegedly did not know who would be laid off until it happened.
> I was under the impression running such file systems without ECC was kind of reckless and not a solution either?

It's about as reckless as running any other filesystem without ECC [1].

In fact, you're much more likely to discover memory errors earlier if you use a checksumming filesystem than if you use a non-checksumming one.

[1] https://news.ycombinator.com/item?id=34477035
More detailed letter sent two months ago:

https://www.tcifund.com/files/corporateengageement/alphabet/...
Worth mentioning that article is from last June, but in December Amazon laid off 10,000 people, most of which were in the Alexa division.

https://www.forbes.com/sites/qai/2022/12/06/amazon-stock-new...
The article overstates Webster's influence. He did not invent those spellings (the article says they are "new versions of old words"), which predated him sometimes by centuries. He simply standardized them. English spelling at the time was very lax, and had been for centuries. You can find people spelling their own name inconsistently!

The article cites color, center, and aluminum.

Color is essentially etymologically correct - it comes from the Latin word color, by way of France, which did not spell it colour either. And the spelling in English is attested long before Webster. Here's an example from 1657.

https://books.google.com/books?id=xAdmAAAAcAAJ&pg=RA3-PA3&dq...

Here's an example of "center" from 1704:
https://books.google.com/books?id=GBcOAAAAQAAJ&pg=PA282&dq=c...

And aluminum comes from the British Humphry Davy in 1812, not Webster! This is at least excusable, since aluminum was a newer spelling, as opposed to color and center, which had been in very common use for hundreds of years.

It's very disappointing when journalists get easily verifiable historical facts wrong.

FWIW, America' friendship with France was also rapidly cooling in the 1790s, as the article alludes to. By the Adams administration, it was positively anti-France.
2% improvement in opex. Demonstrating ability to trim staff without affecting revenue. Both matter to investors.
I take this as sarcasm. Inmigration is trying to solve social policy failures of the government.
Careful there. You can only propose such surveys when it serves the narrative and in certain places and not all, see southern/eastern regions of Ukraine.
we’re not in a recession
Many of these headline grabbing layoffs are primarily back office roles.

And what you say simply isn't true anyway - I even studied EE, but all my professional experience is on the web, I would have a long ramp up to be productive on an embedded team. I probably shouldn't even be hired for a grad position on such a team, a fresh graduate would have better memory of domain-specific stuff.

What Occam's razor actually says is that in the face of multiple possible explanations, the simpler one is the more likely one. Your suggested explanation seems a more complicated conspiracy than simply not needing/being able to afford people to me.
Most CEOs are quite disposable.