skysight-inc/HackerNews huggingface dataset:
I really don't understand why so many people are trying to push Nix when it has fundamental flaws which are not being addressed.

I've done a cursory read of the paper, but because it was in a foreign language I wasn't able to grok enough of it to see how they actually addressed my issue.

The issue comes down to computability which is a part of the Fundamental Theory of Computation. If you look at Nix, yes the language is functional but how does it operate, simply put it uses Galois fields (hashes of the dependency build graph). The important part of that is Galois fields have properties like the fact they are never unique.

Computers are basically turing machines, they operate on state. Certain properties must be true for them to do work. Aside from the mathematical properties of discrete steps, and time invariance, you need determinism.

They are state machines, they perform operations on state, and one of those properties is determinism, but how do you define determinism.

It comes down to state graphs, each edge can only have one possible next-state, if that isn't true and the same state varies between two next paths, you get non-deterministic behavior. You then either run into undefined behaviors which can include all behavior such as filesystem corruption, etc, and you can't test for it because of the halting problem, or the software (due to exception handling) halts.

So what happens when you have a Galois field being the unique identifier, and someone finds a collision. That property computers need no longer holds true. How does it know which one is correct, is it a security issue?, does it silently install the wrong things? How do you troubleshoot when troubleshooting requires those properties to be present (and they aren't).

These are all questions which I have not had a satisfactory answer from anyone involved in the project and I've asked a couple times in the IRC. They jump down into the details (limiting scope to just the language) but completely ignore the fact that the uniqueness isn't present. So why should anyone go and use that functional language (learn it, spend time packaging for it, etc), when it will fail at some point, the failure will not be troubleshootable, because the flaw has not been addressed.

I don't see why they received a PHD for that work given that anyone who has been through a Compiler Design class or a Systems and Signals course at the undergraduate level should know this stuff.
You should take a look at xbps, used by Void Linux. It's extremely similar in speed and interface, but tracks shared library dependencies and so supports partial updates. xbps-src, roughly equivalent to Arch's makepkg, statelessly builds packages in a chroot which, when writing "templates" (PKGBUILDs), helps make sure you haven't missed any build dependencies simply because they happen to be installed on your system.
Stripe had 3x the staff of Adyen doing the same revenue
That’s too bad. Which other vps hosts are folks using these days besides aws/azure/gc?

If anyones thinking of switching to digitalocean, I’m currently switching linode from digitalocean who had an unforgivable, catastrophic loss of vm.

Digitalocean also prevebts customers from downloading disk image backups offsite for any kind of adult DR. Linode lets you download backup images right from the admin console.
In a large corporation, different precesses can be handled and developed by separate teams often working in silos.

After many years, there may not be a force to assure these processes are consistent, have rules that make sense in relation to one a other. I think the answer may just be it’s “dumb” because no one cares or has the power or will to look at things holistically.
Making a claim that all Europeans have a better claim to Mauritius than the people and the descendants of the people who lived there, because some Europeans started plantations there (that they then imported to Mauritians to work themselves to death on) is a bizarre racial claim.

You're claiming that all Europeans, by virtue of being of the race that discovered an island, have a better claim to the island than its forced residents. I don't know how you can claim to be the reasonable one here.
It's true that you won't be able to "get a job in 40 days". But it's also true that you can succeed as a self-taught developer. I did it. The caveat is that it took me Years not Days to get my first job.
> Which company is going to have an easier time hiring after the dust settles and they have a growth stage again?

Not all companies die after massive layoffs. Sometimes all you need is to contract before building a better place again. Whoever is hired next by Twitter is going to be coming for the future potential, not for what happened during the layoffs.
Sounds like what you’re really saying is “from each according to their ability; to each according to their need…”

Also I’m sure you didn’t have this intention, but your comment made me think about East Germany. When the wall came down, there were all these state owned companies that had to be sold, something had to be done with them. They could not produce enough income to maintain the workforce that they had. This really upset a lot of people and they lost their jobs. It was not their fault, it was the fault of the state and the structure of the company.

Twitter apparently is quite bloated, and for the company to survive and succeed it needs to cut costs, or go out of business.

Germany could’ve easily just closed all of those companies in the east and laid everyone off, but they did their best to sell them so that people could still be employed.
> I didn't even know the basic of the things like, how much hrs of content should I watch daily to not get overwhelmed?

The answer is zero.

> Please tell me your tips for being a self taught developer.

Try to make stuff. Get stuck. Figure path forward through sheer tyranny of will. Do not google answers.
I think what you're confused about is the nature of why you say "in theory we should be more screwed up than other Western countries... but:"

Because of WMDs we ought never see another war between nuclear/bio states. Ukraine doesn't matter and isn't what the war is about.

https://en.wikipedia.org/wiki/China%E2%80%93United_States_tr...

Western europe is probably going to be one of the best places to be.

But more importantly, the layoffs aren't obvious. Stripe layoffs is the current one in the HN list.

https://stripe.com/en-au/newsroom/news/ceo-patrick-collisons...

But check out the 7 pages of jobs they are still hiring for: https://stripe.com/jobs/search?skip=600

Its not layoffs in the economic sense. It's layoffs in the war sense.
OTOH AMDs core driver is open source and an developed along with the rest of the Linux graphics stack so downstream doesn't need to work around their NIH syndrome like with Nvidia.

¯\_(ツ)_/¯
Of course. The problem is lending genuine money to an organization designed around turning money (in the best case) into illiquid crap.
Fascinating rhetoric revealing indirect rule scheme.
I agree with your pessimistic outlook in the sense that I expect very little.

However, we are making (too slow) progress, so not meeting is not an alternative.
Clearly.

Legacy car brands had electric cars (Toyota, BMW definitely). Boeing could have created landing rockets. Market wanted those products from anyone.

Why didn't they? Because they're dinosaurs, asleep at the wheel. Bad corporate culture.
According to Musk, Starlink has spent $80-120 million to subsidize Ukraine. He could be making this up, but this is supported by a letter SpaceX sent to the Pentagon even before Musk's infamous Ukraine tweets.

https://www.cnn.com/2022/10/13/politics/elon-musk-spacex-sta...
It genuinely depends on the person. In some places, WFH policy difference can alone amount to 10K difference not spent on childcare or traveling. You might be right on average, but I would assume most people do basic internal calculus of whether the move is worth it.

For me, knowing Musk's reputation for demanding workaholic mentality.. %20 might not be enough and that is before WFH issues.
Which is why in many European countries employers are so hesitant to hire - you’re signing up for years of paying someone.

So imagine your the next unicorn? Would you hire like crazy in Europe?
French Parliament Suspended “Il vs. Ils” – The disaster of non-distinct pronouns
He should go back to Africa vs They should go back to Africa

The French parliament heard Gregoire yell, "He should go back to Africa".

Gregoire de Fournas, the anti-immigrant, far right extremist claims he didn't say that. Instead, he claims he said, They should go back to Africa.

The problem with the French language is that the pronunciation for He and They are exactly the same. Il is He. Ils is They. However, both French words have almost identical pronunciation.

Read the news article for more information. France continues decline towards anti-immigrant, right-wing and xenophobic leadership.
> The specs of developers' machines typically so far surpass those of users as to make that assumption valid more often than not.

Billions of people are using computers that are 100 times slower than your machine in different metrics. 100 times less space on hard drive, 100 times slower hard drive, 100 times slower processor, 8-16 times less memory, etc.

But then they probably won't pay you anyway, also if you target them, you have to make compromises that will affect the overall quality.
It sounds like you have the same intentions as PayPal then: PayPal doesn't want to do business with them because of their personal views, and you don't want to forward their story that you implied you found worth sharing, because of their personal views.
You need to like it.
My wife is currently looking for a job in Western Europe and 90% of open positios are 'fake' -- they keep previous positions open because showing that you are in a hiring freeze can impact the company's perception. Plus they want to keep collecting info so when they need to eventually hire they have a good source.
Show HN: GitHub Copilot Is Helping Me Learn RxJS
Default created Debian based linodes use a static IP. How they assign you the IP is they have an initial network boot script that injects that static IP into your config.

I learned this because I wanted to test image recovery of deleted linode. When I restored it, I got a different IP address from linode (the static IP assigned to me), and I couldn't connect to it. Using the web console I found the IP address was hard coded to the old one still.
Ex-Twitter Employees live-tweet their termination, good-byes
> Is the only thing that determines whether you take a job the salary ?

If that ain't a major reason why people relocate from all over the world to SV, then I am missing something. Of course the salary is one of the major factors.
That's stupid. A blind lack of dissent can easily run a company willingly and enthusiastically off a cliff.
Do you think you (and your ingroup members) do not suffer from any of these sort of problems, or suffer from them substially less on an absolute scale?
Don’t Hinge Your Finances on Tech Skills Alone
Yes, it's how people used to do it. I spent my first decade without mentorship. A month isn't enough time; I consider what I do a craft that I'm honing over the course of a life time.
Touché. Excuse my ignorance, feel free to correct me, but I've always viewed Prolog as suited to specific tasks, whereas Lisps are more general purpose. There's games in Lisp for example, not a lot, not all of them great, but they're still there. I'm not aware of any Prolog games.

SBCL is also within 2x-4x of C quite a lot so unless you really need every last bit of performance you're fine, as opposed to Prolog's snail-like tendencies. Static typing and turning off safety checks/turning on optimizations can get you very close to as fast as you'll ever need.
Agreed, Python is a great language too.
I left physics in 1999 to go into software development. I remember watching football at my in-laws, seeing the ads for cars and beer were replaced with ads for stocks and bonds, figured that was a sure sign of a top. (See https://www.goodreads.com/book/show/39358391-the-money-game for the bubble case story that informed me.) I went home and sold half my stocks. I sold the other half in April.

I spent 2000 moving in, I spent a lot of time on political activism around this time, made some money writing chapters for computer books, writing books caused me to get consulting work, by 2002 I had an in-person job.

I would say though that the 2000 crash might be a different story from today because in retrospect we know the internet had a ways to grow and it was not dominated by monopolists. In 2020 it's less clear where the growth comes from, monopolies are holding back progress (No room for a second good mobile OS when Google is bankrolling the Zombie OS Android.) It would be interesting to make a comparison with the stock market bubble of the 1990 with the cryptocurrency racket now.
Single-handedly is when Louis Slotin improved nuclear research safety for all time with the consequence of his failed screwdriver stunt.

What Tesla and SpaceX have done are enormous human undertakings. He did not single-handedly do it by any rational interpretation. The delusional self-confidence he used to get investors to pay for those undertakings is what's about to destroy Twitter.
U.S. govt employees exposed to mobile attacks from outdated Android, iOS
And it takes some emotional evolution to realize that. I too once upon a time was the former, until I realized that such a person is the most annoying and unremarkable personality ever. I wouldn’t hang out with me 8 years ago, was kind of a grade A douche, and my code wasn’t great. But I made money, so I always thought the ends justified the means.
There really is no better profession in terms of ROI.

No matter your background If you spend a year doing codeforces/leetcode you can get a job that pays $200k. Of course you also have to have some talent at that kind of thing but in almost every other field you'd need years of training and degrees to get salary
"erases"?
I must be the only one in the world not intrigued and excited by an incredibly boring server distro, barely different from Debian, that happens to be made by the Microsoft cloud Linux server department. Am I really missing something?
That seems an overreaction. Also, it fell in the South Central Pacific.
> you don't need to have such a massive reserve like in US

If it makes you feel better people in the US don’t have massive reserves either. They just gamble and hit up credit if things hit the fan, even at FAANG salaries.
For some reason nowadays there's a huge cohort of haters on HN in every Elon Musk-adjacent post.

As if he was some arch-villain in disguise plotting to destroy them personally.

Whereas in reality he isn't as terrible nor as perfect as what all the millions of critics and boosters suggest.

I'm explicitly writing this out because I believe HN should always be a place of engaging in substantive discussion, and not mindless agitation regarding any topic.
This popular opinion both overestimates how much consumers will pay for Internet services and underestimates how much advertising space is worth to advertisers.

One of the fundamental misunderstandings comes from the fact that one's usage of a site like Twitter is generally worth more to the ad-buying community than to the users themselves. This is why Facebook, arguably the strongest social platform, does not charge its users.

Also, users create the content so charging them means you have less inventory to sell.
The free monopoly money that is somehow worth more than the european monopoly money.
What if twitter were so bloated they were effectively providing corporate welfare?

Truth is we don’t know. I see it as someone is finally taking action to turn Twitter around. They’ve been floundering for years.
Tesla stock is a huge bubble, so I’m not sure they are doing as good actually as their ratings would indicate..
Pgloader is written in Common Lisp https://github.com/dimitri/pgloader

StumpWM as well https://github.com/stumpwm/stumpwm
Oh this is cool.

It's a shame that the WMATA bus data here in DC is so bad. The APIs are fine, but the data is all over the place.
Sounds interesting. What are you referring to?
If the allegation that MS is locked to Qualcomm is true and the support of TSO as mentioned in other comments does not include any offering from the same my guess is MS hasn't bothered. They may yet if Qualcomm implements it.
>Twitter is hundreds of millions of authenticated messages a day

Twitter is -currently- hundreds of millions of messages daily. Whether or not it stays that high, we'll see...
Show HN: React-hook-tracer – A light-weight tracer for React hooks
The package allows you to trace hook events for a component by importing hooks from 'react-hook-tracer' instead of 'react', and adding a `useTracer` call to the component. Traced events include state/ref/context updates, effects being run, and components getting rendered. The `useTracer` hook also returns a `TracePanel` component, which shows the current values of props, state & refs in the component's rendering.

Demo playground: https://codesandbox.io/s/github/Oblosys/react-hook-tracer/tr...
> untie healthcare from employers

This 1000 times. I don't think we'll see a meaningful change in my lifetime, but it's an existential burden that we, collectively, have had for generations. So much so, really, that hundreds of millions of people seemingly can not envision meaningful change.

The constant "just get a great job with great benefits!" refrain irks me to no end, and demonstrates a privilege that people often deny exists. Even if/when I can get that "great job with great benefits", I still only have it at the pleasure of the employer. I grow old? You're gone. Employer makes bad decisions? They "take responsibility" by letting me go.

The notion of having access to health care, regardless of my employment status, should be such a basic thing to grasp. If I'm unemployed for a year or so (illness, family issues, whatever), having to upend specific doctors/medicines/hospitals/treatments because "insurance change" is life altering for many. Seen it myself in dozens of personal connections over the years. Want to change jobs? Whether abusive working conditions or just need to be with family? "Can't do it... I need my health care... the only doctors that take my health care are in this area...". Or... "I won't have health insurance for 6 months if I take that new job".

There's 1000 different examples I could find why "employer/insurance" connection is bad, and very few I can think of that are good for all parties, yet, we continue in this mess.

> but (unfortunately) so few people work independently so it’s an edge case not really that valuable here.

I know a growing number of folks doing this, and many more who would love to, but ... "health insurance" keeps them tied to "employers".

argh...
Use Wise (https://wise.com). In Germany especially N26 is also popular but IMO they went downhill quite a bit as soon as they realized that being a neobank is a losing venture.

Source: I work in finance.
I can still login to the backend and to my vm through Lish but my websites are down. (I'm in Dallas)

edit: followed the instructions in this link mentioned upthread and rebooted, that solved it for me https://www.linode.com/docs/guides/network-helper/#individua...
> extremely bright people work for horrific/products companies like Facebook, Palantir etc

For what it's worth those companies have not brought any real innovation in the last 10 years, give or take, because if they had they would have been on top of the world (quite literally). Which makes me hopeful that some of the real geniuses out there (today's von Neummanns and the like) might still avoid those companies out of principle.
Fixed upstream here: https://github.com/sudo-project/sudo/commit/bd209b9f16fcd127...
Maybe it's because I'm Minnesotan (been living here for 20+ years now, time to call myself one), but we'd eat Cinnamon Toasters and Marshmallow Mateys instead.

Malt-O-Meal FTW: https://www.maltomeal.com/
I certainly have a price at which I will sell out, but if they aren't offering "retire decade(s) earlier than normal", it's unlikely to make a long term difference to me compared to the alternatives. Yes, a 20% bump for a few years would be nice, but paying half of my paycheck in therapy bills for a decade cancels that out and then some.

Basically, if they aren't offering "f** you money", pay has a diminishing effect on my employment choices. And if they are offering that kind of money, I'm assuming that'll come with even more consequences. My resume is alright, but it's not enough for an offer of way more money without strings attached.

I can't speak for everybody of course, but I think not heeding the above leads to burnout.
I am self-taught and am co-founder/CTO of my second company. We have 35 or so employees, so we’re small, but it’s something I’m super proud to have created from nothing.

I started many years ago with little projects. Building a simple website with Rails tutorials. Trying a basic Node app. Eventually I got my first internship making $15/hr, and they forced me to learn tmux and Vim (for which I am super grateful) and work on a variety of codebases and tech alongside more senior engineers. From there I had the skills to start my first company (still learning a lot along the way!)

I have never been motivated by courses. I need to have a goal to be successful, so if you’re at all like me in that it’s difficult to stick to a course, I’d recommend you start a small project and learn to do specific things that help you achieve a little task.
WPP and inter public clients probably 25 or 30 %
We don't know details yet, so it's hard to contrast anything. The pre stock vesting rumor was before 11/1. That date has passed.

It's also interesting that nearly every tech person I read thought Twitter was over-staffed prior to Musk taking over. Now he's doing something about it, and people are pearl clutching.
The advice here is good…make stuff you care about and figure out how to make it great.

Very practically, it’s useful to pick a community which tends to run along similar tracks. I am part of the Laravel community, but there are vibrant communities in React, Rails, and others.

That said, self taught has a lot to do with personality and some people just don’t thrive under those circumstances. There is nothing wrong with paying a teacher to help guide in a more formal way, if that’s your particular bent.
You will be surprised. Lot of small business owners doing service based work make over 200K. Not all require professional certifications. And yes, not all developers make 200k easily.
The Wikipedia article you link to also claims that the 1882 Oxford Etymological Dictionary of the English Language said that one meaning of gender was sex. Other dictionaries from well before 1955 also support this. In fact, the 1828 Webster's dictionary, available online, specifically says the meaning of sex came first, the meaning in grammar followed from that. The separation of sex and gender is recent, you're right about that and that's what I was saying too, but you're wrong that sex was the only term used before that.
Alameda's story has many parallels with Celcius (and 3AC): if something happens that proves Alameda is insolvent, will you return to this analysis and hold the same viewpoint, that it's unhelpful to consider that their solvency may well hinge on value of illiquid nonsense assets? The problem Celcius had was not that they were lending to retail, it's that their entire investment thesis was based on insane bets with capital borrowed from retail investors. Celcius, Hodlnaut etc. were "lending" and "investing" with "credible" players like 3AC (who had a mythology much like Alameda's before they imploded).

Yes, some skepticism is required when considering whether or not Alameda is insolvent (or at risk of becoming insolvent) but the analysis is helpful in highlighting why Alameda might be at risk.
There might be something to that!
...Isn't that just your brain?
A REST API fuzzer that could have been written in Rust