skysight-inc/HackerNews huggingface dataset:
There's no mention of dune on the old page, which sounds like what they were looking for.

> Look, I agree with you that OCaml installation and tooling are not the easiest to get into. But it wasn't like what the GP was making it out to be.

I disagree with your interpretation of the initial post. Notice the "But it to me seemed" and "My experience with OCaml", and also "The way of the world today to me seems to be". These things are important. They inform us that that person is not exposing a truth, but sharing an experience, and personal preferences. They are also, I think, a way of saying "I don't know if the installation process was too hard, or if it was me that didn't understood something, but what I know is that in the end it didn't work out.".

So at this point, you have multiple options. You can empathize, you can work hard on trying to solve the issues on your end, assuming they are on your end, which might not be the case, you can ignore the post. What, I think, you shouldn't do is to deny this experience and imply that that person is "unreasonable".
Not being willing to feed your sole human body properly is the definition of lazy in my opinion. It's purely an opinion, as is the opinion that doing so is menial, so there's no "backing up the claim". If someone is insulted by my belief that humans should be willing to spend time feeding themselves, so be it. My point is to encourage healthy behavior, not to insult.
Yeah, it gives an exit for people avoiding a total financial wipe-out from irresponsible governments around the world who cant keep their greedy little fingers off the printing press to stay in power. Amongst other things. Remember when it took 3 days to transfer money before crypto showed up? That was ridiculous and other things still are (like banks taking your money and giving you almost no interest for the profits they make off it).
> Paraphrased: "complexity expands so as to fill the time available for its consumption"

That's a very liberal paraphrasing. Parkinson's law is specifically about the amount of time that it takes to complete work (by humans, e.g. for a project deadline).

If you want to reference something that serves as good commentary about software performance, Wirth's law is right there for the using.
I enjoyed LJ for a few years (my first blog, 2005-2008). Wrote a good deal about startups that I explored as a user in that period (this was the APG era, where APG stands for After Paul Graham, meaning after he wrote his early influential essays about startups and his launching YC - called Startup School at the time, IIRC) and other software topics.

But later, after a Russian group acquired LJ:

https://jugad.livejournal.com/174406.html
(2nd post on the subject, there was a previous one on the same blog, IIRC).

Interestingly, some years later, I mentioned the same point, on my next blog or on Twitter, and then suddenly my old blog became accessible again (it was not, for a while, after the above-linked incident).
I have no idea how someone totally incompetent could break through. Like, what do they say in the interviews? Or do they just memorize the answers?
> If that's what you meant, then it's coming from the same dubious mental model I complained about above

It’s not, because I’m saying something different than you think I am.

> when you enter into a liquidity pool, you are providing liquidity to the entire cryptocurrency's network, not just people who are "on" that DEX (which isn't a coherent concept).

Um, what?!? I’m really not sure you understand how this works. What do you think it means to be an LP?

> Several protocols look at the entire DEX market to find the best (combination of) price(s). You do not need to be in multiple liquidity pools (which, again, not a coherent concept).

No, just no. You keep saying it’s not coherent but I don’t think you understand how it works. You might be in an optimizer that moves your capital around, but a given unit of capital can only be providing liquidity for one LP at a time.

> LPs are not something you have to "be in";

Uh, if you’re not in it, then you’re not providing liquidity. This whole conversation is premised on providing $X liquidity to Y market. In a DEX that requires $X, whereas in a CEX, it requires a maximum of $X and in practice a fraction of $X.
Well, Bitfinex uses Deltec as their bank. A bank that claimed at the start of this year that they were "55 years old and whose customers were predominantly asset managers and high net worth individuals", until they did a website redesign (more on that below) and overnight were "70 years old".

A bank that had a 33 year old "Deputy CEO" who gave interviews from his gaming rig.

Who claimed to have graduated from HEC Lausanne in Switzerland with a Masters in Science when he was 15...

and then immediately get a job as Professor of Finance at a Lebanese university...

while dividing his time between running funds in Switzerland and oh ... Jacksonville Florida (actually, that last part is the most believable), where he worked for himself, managing a fund that he couldn't even spell correctly on his own LinkedIn profile (Independance[sic] Weath[sic] Management).

Of course, the last interview he gave, the bank removed him from their website within hours once the ridicule started piling on. When people started questioning that, they very quickly re-added him. And then removed the site entirely. And put up a WordPress template website with completely non functional links and buttons a few days later.

I keep waiting for Yakety Sax to start playing, but to the true believers, it never does, and apparently all us nay-sayers are just neanderthal and don't see "the vision".
... That would be terrible on, say, the Sega Genesis or 32X.
These arguments are just hogwash, but they just don't seem to go away. Literally every IPv6 topic on Reddit and YCombinator is just filled with people going on and on about NAT being essential for security, despite that being clearly false.

I wonder what can be done to educate people that NAT != Firewall, and that all IPv6 home routers also include a default-deny firewall?

It seems like the concept of NAT=>Secure and also RFC1918=>Secure isjust embedded so deeply in people's consciousness that they assume !NAT=>!Secure.
I have a deep fondness for Objective-C, which always struck me as a much more elegant way to bridge the C/OOP divide than C++.
If your package-lock changes every commit (I'm guessing this means it changes after every `npm install`) then you might have some issues within the team in terms of consistent npm/node versions, or perhaps with the registry you're using if it isn't the public registry.

In my previous role we constantly ran into issues with the integrity hash changing which was an unfortunate side effect of both the issues I mentioned above, an Artifactory npm registry and inconsistent npm/node versions

TL;DR though, it's not normal for the package-lock to change all the time.
I think money wasn't as big a problem as it's been reported.

Take this snippet from the wikipedia:

"Apple CEO Gil Amelio started negotiations to buy Be Inc., but negotiations stalled when Be CEO Jean-Louis Gassée wanted $300 million;[11] Apple was unwilling to offer any more than $125 million. Apple's board of directors decided NeXTSTEP was a better choice and purchased NeXT in 1996 for $429 million, bringing back Apple co-founder Steve Jobs.[12]" [ https://en.wikipedia.org/wiki/BeOS ]

It seems to me that BOTH $300M and $429M are greater than $125M and $429M is greater than $300M.

Having been both a NeXTStep and BeOS developer, I can assure you that NeXTStep was a MUCH more mature product than BeOS. Was it money? maybe. a little. Was NeXTStep better value for money? maybe. probably.

I rankle every time I hear the story about Gassée being greedy. He might have been asking for more than Apple wanted to pay, but I think it's simplistic to say it was only about money. NeXTStep morphed into Rhapsody and MacOS reasonably quickly. And the MetroWerks compiler for BeOS was DEFINITELY buggy.

I think there was no discount Gassée could offer that would make up for the longer time-to-market for a BeOS based next-gen Mac OS.
Exactly. Plenty of engineers work on making military equipment better at killing people too. Some of them are software engineers. Facebook might seem like a moral blackhole to some but they are barely grey or neutral on the world stage of evil empires. An blind and bumbling giant perhaps, but not a purposefully evil one.

Algorithms is where the attention needs to go. The regulation probably needs to target the techniques Facebook and others are using rather than the organisations. It's the same crap as lootboxes in games training people to gamble. Newsfeeds and engagement optimization leads to attention grabbing and rage baiting posts. Just give us back the simple date based feed like Instagram has. Cut the algorithm weighted ordering. That's not everything solved but a lot of the overt manipulation of people is based on that.
My grandmother had an oriental rug that no one was allowed to step on. For 40 years she tried to keep this rug pristine because she was going to sell it one day. Anytime any of us grandchildren or even the eventual great grandchildren stepped on it, they would get a harsh scolding.

She died never having sold that rug, but after her death there was a lot of fighting over who would get the thing. It tore our family apart, the arguing over it.

Finally the victor took it to an auction house to get it appraised and sold. It was worthless. They put it up for auction and no one wanted it. Eventually the auction house asked us if we wanted them to dispose of it for a fee.

I think about this a lot when I consider letting go of material possessions. That rug has become sort of a symbol to me, of the encumbering nature of our possessions. Or maybe it was just a conduit for my grandmother’s undiagnosed mental health issues. Either way I try to live with fewer things in my life these days.
As much as I enjoy pissing on boomers, older home owners did nothing for their houses to appreciate. It's just something that happens due to monetary policy, low interest rates, local scarcity of supply and a growing population.

A lesser known reason is that since the 2008 crisis, hardly any new homes got built. Whilst the underlying demand was still in place, and growing.

"You can’t sell anyone a home for $485k if they can only get a $166k mortgage"

You only need enough buyers that can afford a 485K mortgage to meet supply. So when supply is very low (which in my country is very much true), if only 25% of the potential buyers can afford that mortgage it's still enough to buy the supply. Which they do, and they even overbid still.

So this can keep going for a long while. Not even a crash solves it. Our 2008 crash dropped prices by 20% only. Which is now the gain in a single year.

So that leaves the only other option you mention: wages.
In Spanish no one cares if something is a noun or a proper adjective.

There is "chino, japones, italiano, frances, aleman". Full of different Romance suffixes and we put functionality over ideology.

Too lazy to care, and the noun/adj. roots and suffixes go back to the Latin spoken since the Romans.

We have "ingles" and "britanico" too, yet no one would say a common used demonym can be racist.

Also, hey, any demonym can be used either as a noun or an adjective. Both for people and for things.
Jenny and mutt: Getting started with twtxt
It's not dangerous for the rest of the world, it's dangerous only for people wanting to get into a submarine and patrol it.
Great. Now he thinks he's a king.
Whenever I read news like this I can never figure out what moving a company's headquarters actually means. Musk has already been living in Texas for a while. Tesla already has sizable operations there (both offices and factories). The company is registered in Delaware, so legally this change means nothing. They aren't going to fire employees in California or force them to move (in fact Musk said that they will continue to expand their Bay Area staff). They will continue to pay (or not pay) taxes exactly the same as before. So, besides a press release what is the change exactly?

It's also funny that Tesla still can't sell their cars directly to customers in Texas.
Here is the pudding's youtube channel where they show some of the process https://www.youtube.com/channel/UCFuV9vMFVluW9CAOdS4Oluw/vid...
I have a hard time imagining the odds of raiding every silo in Russia at the same moment.
Google makes use of its main version control system in a really unusual way. Because the system can handle both very large volumes of commits and large binary files, you get some systems that make use of it in ways you wouldn't see with Git. Some examples:

- Build pipelines that build an artifact based on a build number in a file in version control, then check in a commit that increments that build number for the next job, and finally check in the built artifact in another commit somewhere else.

- An oncall scheduler that uses a big config file to keep track of everything. At the top is a description of the rotation and people involved. At the bottom is a list of names in order for the next, say, 10 cycles. At the beginning of each OnCall cycle, a job deletes the name at the top of the second list, moving the next name to the top. That's who is OnCall. Another job occasionally "refills" the bottom list by generating new rotation cycles from the names at the top and appending them.
But surely cloudflare is required to pass on a DMCA takedown notice to the offending website? Otherwise they are acting as a sort of reverse VPN, hiding the website real IP/identity.
Yeah but depending on the data you might have even worse results, selecting the right subset to be representative is really important.
Can you provide data?

Here's the weekly Ontario report on vaccine side effects: at the end is the myocarditis/pericarditis breakdown:

https://www.publichealthontario.ca/en/health-topics/immuniza...
Yet, Tesla will still have to ship Texas cars out of state to sell to Texans.
ouch, here's a big one
I'm quite sure I've heard something pretty close to those words from Musk himself in some video.
It doesn't matter if the virus is worse than the vaccine since the vaccine is intentionally administered. Someone who is cautious might attempt to avoid the virus altogether thus their risk might be much lower than the average.

Furthermore, there is no guarantee that Covid won't mutate so that you will have to refill your vaccination every year to stay immune like with vaccines against the flu. If so, mass vaccinations probably won't be employed again and we'll only vaccinate at risk groups.
How did you learn this stuff?
I would be more inclined to do so if you hadn't opened by accusing me of supporting white supremacy. I consider that a very serious charge. What did I say that makes you think I deserve it?
Hope Texas allows them sell directly to customers now at least
Detroit Crime Fiction: A Literary Tradition Like No Other
Does that mean that I need to introduce myself by saying "I am a Japanese person"? Should I request my colleagues to say "I am an American person" when introducing themselves?
> One of the major online OCaml tutorials said something like "If it doesn't work the way you expect, try adding parentheses"

That sounds like what I did with C++ with * and & when I didn't understood them. Do you think it's a lack of exprience/comprehension on your part, or that some parts of the syntax are fundamentally flawed?
>Go to a gold exchange and try to figure out how to use it for microchips.

The idea that gold is useful as a store of value is ridiculous. You have painted the picture perfectly with your comment. It is not easily moved. It is not easily utilized. It is worthless to the average person and it’s price is heavily inflated.
So 2 in 3 didn't? That is surprising and unexpectedly good news to be honest.
Compression Progress = finding pattern.

It's the pattern (i.e. redundancy) to be found that makes it interesting. But pattern reduces information capacity - the greatest information is conveyed when there is no constraint of pattern or regularity, and is indistinguishable from pure randomness or white noise: maximum entropy.
> Our European visitors are important to us.

alt: https://www.cnbc.com/2021/10/07/tesla-moves-its-headquarters...
> Yes, all of this come from fear of not being able to make a living as a programmer in 10 years

Caveat: I'm in the USA, so what I'm about to say may only apply here. I don't know the market for software engineers outside the USA.

In 10 years, you and I will have 10 more years of experience than we do now. We will probably be twice as valuable to a company. Anyone who joins the field today will forever be behind us in years of experience. Years of experience means nothing if the experience isn't valuable, so we need to continue improving. That's a good thing.

I don't know the exact distribution, but not everyone who joins the field today will even be able to compete with us for jobs in 10 years. I'm just guessing here, but I think the majority of people, or at least a very large minority, don't make it to senior level. Some quit and change careers, others don't want to or can't get there.

I'm in no way concerned about job security in 10 years. I see AI being a larger threat to our jobs than other developers. But I doubt it will be a threat to my career. I have about 30 years left, and each year I have more experience than before. So AI would have to overtake me at some point in the next 30 years, and in the meantime also overtake /lots/ of others. The software engineering field would be fairly decimated by AI before it took my job.
This is good for California.
I've had crippling chest pains and ended up in the ER after a heartattack-like symptoms later to be determined as "spasms with unknown cause". My cardiologist can't diagnose it, says he need and MRI which I would have to pay for out of pocket.

3 months later and I can do some degree of exercise but not the same amounts as before. I know more people, that I meet in person, with similar symptoms, just lesser degree and they have recovered faster. A couple fully.

There is definitely something going on here that is not being talked about because it's inconvenient. It's unnecessary as it only happens with one specific type of vaccine applied to a specific part of the disease. The effects last long enough that it's worth being cautious.
Open Source Employee Monitoring
Thank you for the tip!

Maybe I’m making too many assumptions about how much Apple pays news sources when someone reads a news article. I’d have thought there’d be an alignment of financial interest in sources like LA Times to facilitating some sort of “read this article on X”, and for Apple in boosting value of News+. I wish there were more of a happy path to supporting journalism without needing to have 50 individual subscriptions.

I guess the moral hazard in a “pay per article” model would be a system that rewards clickbait (though I guess that’s the same as status quo with advertising)
If it fools .1% of human drivers and 50% of automated Tesla's I'd say is Tesla's fault.
I see a billion being issued every other day...
You can check out some of the benchmarks here: https://lambdalabs.com/blog/nvidia-rtx-a6000-benchmarks/

It provides some modern, real life, deep learning benchmarks using the mixed precision (TF32) that gp was referring to.
12+ years here. You must’ve been on some shitty details. Thanks for your service.
Blue-collar literally means manual labor. So no, developers are by definition not blue collar.

There aren't similar programs for other professions you listed because (1) all of them are highly regulated and have significant education requirements as well as additional certifications/licenses/board approvals, and (2) tech is in general more progressive and liberal when it comes to social issues.

For the last part, I feel like tech has actually proven that you don't need to artificially gatekeep your profession in order to make your members more valuable. If tech was commoditized then wages would be coming down, but in reality it's the opposite.
Oh man. This brings me back to the early days of the internet with SA/ Fark style humor.

Thanks for that op.
To make matters worse "Only 22.2% of obese women and 6.7% of obese men correctly classified themselves as obese"

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3234679/
I've decided to filter out stuff on mastodon because what I saw was way too obnoxious for my taste. And trying to look up at federated timeline was like travelling via some porn-driven twitter fork.

It feels like filters not only limited content for me but also magically limited my profile visibility because of these filters which should be in theory private.

The idea of federated services, social media is great but for me at the moment, it doesn't feel like content is different - only the means of delivering it were changed.
How does this save or make Elon Musk money, personally? Because that seems to be the question that underlies almost every major move Tesla has made since Elon took over.
That is a pretty silly stance for anyone who likes tax revenue.
> - The language veers towards a C++ style "I will have every PL feature." Sometimes less is more

Do you still feel that way with Scala 3? From what I understood, the work on the DOT calculus helped reduce and simplify the core of the language.
At the rate they're going if you compare their holdings to revenue (not particularly accurate, but I'm going for an analogue to try to represent relative size), they're on track to eclipse Alphabet, AT&T and even Saudi Aramco by the end of the year.

Apple, Microsoft, Google, Verizon Communications and Pfizer COMBINED hold $400B in reserves.
We already have heat seeking missiles. Even better, they’re much faster.

(Missiles are the original drones. Cruise missile = single use drone.)
Yes. I think anyone who wants to see the future of warfare should take a look at robot sumo wrestling: https://www.youtube.com/watch?v=mS-L2fpV1Is

The future is not Star Wars style fights where lumbering ships can't seem to reliably hit each other despite clear lines of sight. The future is fast, precise, sterile and not something a human can react to. The future is drones with knives slicing your jugular before you know they are coming.

I'm an embedded SW programmer and the speed of computation still boggles my mind sometimes.
What was the noun for Japanese?
What framework did they use for the powerpoint?
I go by a "rule of 60". A pint of 7% beer (very common with IPAs) would worth 7*16 = 112 points or almost 2 "drinks".
ah yes you are right, I should have phrased that better.
It's been filled with spam ever since the Eternal September of 1993.
I find it incredibly annoying that Democrat cities leverage business friendly policies in Republican states to flourish and then eventually turn the whole state against those policies.
I know this is charged but it's genuine question due to my ignorance - why are companies having or moving HQs to Texas?

It feels that :
1. It's way out of temperate climate that one would live in when given full choice and all things equal (understanding they never are of course - I live in great white North :)

2. Politics are highly conservative and frequently invasive. now clearly half of Americans like it that way,but still,seems odd for largely progressive company like Tesla that's ostensibly working to put oil industry on defence... And that's not even allowed to sell there.

Taxes?some quid pro quo to get sales in? Something else?
Sort of a misleading headline. From the article[1]

> Musk continued on to say they will still be expanding activities in California, but they want to do that in Texas too.

> “This isn’t a matter of Tesla leaving California, our intention is to actually increase output,” he explained.

1. https://www.kxan.com/news/business/elon-musk-announces-tesla...
Or jobs for that matter.
Explosives are only good for one hit. Knives(aka "Stabby the Robot") are good for many kills.