skysight-inc/HackerNews huggingface dataset:
> But why have a separate type system instead of just building it into the language.

Excellent question. The existing "mainstream" languages (C++, Rust, Julia, or even Haskell) are not designed to support such applications as bound checks or pointer checks in their type systems, where certain runtime values/checks can affect/refine the types (as in dependent types, or refinement types which Liquid Types are based on).

It could be done (in some newer languages: Idris, Agda, Lean), but people have not figured out an ergonomic way to do so in more "mainstream" languages (e.g., not hurting type inference, light and maintainable proof burdens). Liquid Haskell is an attempt to bring refinement type to Haskell, as an extrinsic type system.

> C++ could build in pointer checks and it would be in the same type system.

People have not figured out how to do so (and I doubt if it is possible at all). Suffice to say:

* Rust is an attempt to build in lifetime-and-ownership-checks into the type system of C++, and Rust is a new language,

* Liquid Rust is an attempt to add pointer checks (refinement types) to Rust, and even then it is not built into Rust.

> And with _this_ rebuttal, the issue is now double settled.

People are still researching solutions (see Rust and Liquid Rust over C++) to this problem (building in pointer checks in the type system of C++), and they would love it if you can settle their problems.
It's not like there is actually a meaningful movement to stop eating meat and flying, or even cruises.
Humans have existed (and I suspect lived happy lives) for far longer than planes and cruise ships have traversed the Earth. Certainly humans have eaten meat for as long as there have been humans, but I doubt with the frequency that modern industrial agriculture provides.
Just never take it outside or the camera satellites will snap a pic
This isn't contradicting the GP's point: money is created by private banks, but they still create “United States dollar” that get a significant part of their value from the US government's ability to enforce taxes.
https://my.clevelandclinic.org/health/articles/16324-interse...

> Being intersex can present in about 40 different ways.
Bernstein is touting "boring crypto" as what users want. Boring crypto is crypto that just works, so that users don't have to keep updating their libraries and protocols. The implementation is provably correct, and the only two ways to transform cyphertext into plaintext are (a) having the key, and (b) brute force.

But this isn't some C library; cryptography is intrinsically adversarial. And attackers outnumber defenders; you can make more money by breaking a cypher than by inventing one. Cracking libboring would be a major prize.

And I imagine libboring is never going to happen. There will always be new, unexpected attack channels. For example, I'd never have guessed (in advance) that instruction timing would be a viable way to attack a cypher.
> Leetcode grinding is important in case you need to find a new job.

This is sad.

Sad, but, sadly, true.
> Anne Fausto-Sterling s suggestion that the prevalence of intersex might be as high as 1.7% has attracted wide attention in both the scholarly press and the popular media. Many reviewers are not aware that this figure includes conditions which most clinicians do not recognize as intersex, such as Klinefelter syndrome, Turner syndrome, and late-onset adrenal hyperplasia. If the term intersex is to retain any meaning, the term should be restricted to those conditions in which chromosomal sex is inconsistent with phenotypic sex, or in which the phenotype is not classifiable as either male or female. Applying this more precise definition, the true prevalence of intersex is seen to be about 0.018%, almost 100 times lower than Fausto-Sterling s estimate of 1.7%.

https://pubmed.ncbi.nlm.nih.gov/12476264/
How 9/11 Changed the NYT Forever
Yes, how could humans possibly enjoy being alive without flights or cruises? There is no way humanity could continue without comforts so intrinsic to the species.
If you have a job where you're constantly travelling (for sales calls, customer meetings, relationship building, etc.), then, yeah, having to report to an office when you're back at home base doesn't make any sense.

I have a job like this (presales; previously consulting). I'm usually on the road/in the air every week and, COVID aside, have been for the last seven years. An office hasn't made sense for me in a long time.

However, the co-CEO saying this just after pushing an RTO mandate feels really out of place. Many will definitely not get the nuance.
> Meritocracy is tyranny by another name. [You then go on to elaborate with historical examples of how merit != virtue.]

As far as I can tell, the linked article in fact makes exactly the same point:

> They [the founders] also knew that merit was not enough; merit without virtue to accompany it could produce tyranny. They knew this, of course, through history.
Now you're talking like David Grusch; if you just include the Vatican in your theory, you'll be on the same page as him.
It was in jest because blockchain is a solution looking for a problem, but as others have pointed out what you say isn't really the case. I'm glad it generated some discussion. Hashing previous steps for verification isn't blockchain.
My old connection was 300 megabits down/20 up. I switched to fiber to get (almost) symmetrical gigabit. It mostly helps with backups and pushing docker containers. But I could probably get away with a half gigabit fiber and not notice the difference.
Isn‘t this (𓂸) penis and just one symbol?
The inability to resolve issues like the mentioned 5-minute timeout with OpenAI support even after months should be a red flag to not build any products based on their services.
Look up "Chloe Romanis, a biolawyer at Durham Law School, UK" and see what her bias is:

Available for media contact about:

Ethics: Abortion

Law & Crime: Abortion

English Law: Abortion

Gender and law: Abortion

Ethics: Reproductive Technologies

Law & Crime: Reproductive Technologies

https://www.durham.ac.uk/staff/elizabeth-c-romanis/
O3DE in 2023 – Is It Good Now? [video]
Make them nuclear. Oh wait, the other kind of environmental activists will prevent that.
Introductions to Prolog seem to suffer the "draw the rest of the fucking owl" problem. There's a huge gap from the introductory examples to building real projects.

What I would love to see more of is how to embed a prolog interpreter into a wider program, using the source program's data as the database, then prolog (or perhaps datalog) as an advanced query engine or rules engine.
Sounds similar to the story about the explosives in Beirut harbor. Various parties had been yelling about the huge pile of Ammonium Nitrate in a warehouse for several years before it went off.

I have this impression that the area has not been well governed (for more than a few years a t a time) for millennia; because people in other areas of the world find it convenient that it not be. Living in the crossroads of the world means you get stepped over by everyone i reckon.
Ah I see. I don't know Amish. We don't really have those in Holland. We have Calvinists who are pretty strict by our standards, some even refuse to own a TV and they "close" their websites on Sundays.

But young people live in a more open world. The ones that still adhere to such strict rules are a tiny minority.
It's available on F-Droid.
It was a perception of it getting worse but nobody had solid tests to prove them
That figure is probably quite exaggerated, which is not surprising because such high figures tend to come from those who tend to gain the most from those claims. It likely includes many issues which most people probably wouldn't think of as being 'intersex'.
Enforcing IP laws is merely pulling the ladder up after the US had its success.
That guy's surely a genius (regardless of this prediction)
Pollution taxes are country by country. Cruise ships just change the country’s flag they fly to avoid them.
I think that would be illegal in most European countries. It has to be a "real" discount. Often means to have been sold at the original price advertised for at least a month.
What evidence do they have so far about these objects? NASA's head Bill Nelson said there are only a few high-resolution videos of these objects, but so far none of it has been released to my knowledge.

The best way to stop conspiracies would be publicly releasing the radar and video data they do have of anomalous objects, whatever they might be. Anything else is patronizing and feeds distrust, deservedly or not.
Hi, I'm the author of Yazi, and I was pleasantly surprised to come across it while browsing Hacker News. I'm really excited!!

If you're interested in the topics of concurrency, performance, and io_uring discussed in this thread, you can take a look at my new article where I provide a detailed explanation of "Why is Yazi Fast?"

https://github.com/sxyazi/yazi/issues/143
Like others have said, finding small chunks of time here and there is best. To make the best use of short chunks of time, come up with a project plan ahead of time of for tasks you need to accomplish to move towards your goal.

Trivial example for framework X:

1. Setup environment (database, install frameworks, etc)

2. Generate boilerplate hello world application

3. Connect app to db

4. ...
I don't know why Turner Syndrome should be excluded from this, but in any case the person with it may well not fit into any sort of binary. The one I know best doesn't.
The premise of the article really resonated with me because I've noticed myself doing the same. My shelves are full of books on various programming languages that I read enthusiastically. But how many have I actually built anything nontrivial with? Very few. I find my motivation ebbing away when it comes to sitting down and writing code. I think the hardest part is just getting started, so I'm scheduling time each day to write something. It doesn't have to be fantastic, just something to get me moving forward.
The nuance?

There’s no nuance here. There is not a single way in the universe that __everyone else__ needs to be in office but his job is so special that he has to WFH.
Information wants to be free. If it's not, it's your duty to liberate it.
If your discussions involve code, you should try including the latest code on each prompt. The token window will start forgetting earlier parts of the conversation. For example:

Now improve this feature with xyz

Current code:

--

{code}

--
It is interesting and I'd love to look over some details benchmarks on the differences. Storing floats as integers overcome several of their challenges. The example of dollar units would be a good candidate for a short delta compression.

I doubt I'd ever used columnar compression again as I felt it too difficult to fight DBAs on keeping the original sorting and schema preserved in an optimal way. I do find it really interesting though.
50-60 hours plus two small children, no way you can have side projects and live to tell your children the story in 10 years.

That is, start looking at your mental & physical health, start cutting hours, then you can evaluate investing time in learning something you want.

As for Leetcode, I’m no fan, unless you’re looking to get a job in a FAANG-like entity, invest your time in something else.
That is Hard To Do, and not the only problem with the industry (the other glaring one is labor).
Humans found delight and meaning before flight and before cruises. Are you so limited in your capacity?
PARO Therapeutic Robot
WinRar sells over 3000 licenses by making a special deal for 9GAG users
A twitter user challenged WinRar to make a special price for 9GAG users predicting it would sell over 1000 copies in one day. He was right :)

Original tweet/reply that started it: https://twitter.com/WinRAR_RARLAB/status/1701954161602949293

Follow-up tweet with the number of sales: https://twitter.com/WinRAR_RARLAB/status/1702790307312452062
Yes you can; if you don’t need immediate feedback then immediate feedback isn’t a fundamental UI design feature. You can’t dismiss the rebuttal just by stating that it’s “fundamental” as an axiom to someone who thinks it isn’t.
He hand drilled each and every hole for the perforated step plates. Just in awe of both the skill and the patience.

He also seems to be working with several tools he made himself.
OneDrive Down
From Microsoft via Chat:

"I would like to inform you that this is an ongoing issue with OneDrive and our developers are currently working on the issue to be resolved."
They don’t provide any sources for their claims. They say 1 of 100 Americans are intersex but 2% worldwide so somehow double the rate but no source for any of their claims.
Iceland's climate is quite temperate. It doesn't get hot in the summer and the winters are mild.

Someone who's lived there could say if they are able to keep windows open most of the year. I would bet yes.
> you yourself cannot solve, say, climate change

Could one person maybe catalyze the solving of climate change though?
Outdoor Cats and Epistemology
It turns out that well-known algorithms like BFS, DFS, Dijkstra, and A-Star are essentially variations of the same algorithm. Well-known algorithms BFS, DFS, Dijkstra, and A-Star are essentially variations of the same algorithm. In the article I demonstrate that with actual implementation.
I think you’re confused between legal and public relations.

The grocery store can legally double the price of bread absent any good reason, but people will flip out.

They didn’t flip out when that exact thing happened during the pandemic, because “it’s the supply chain” made enough sense to people they accepted it.

The pandemic gave them a new way to “increase prices without losing customers” for a while.
Looks like this app is not available in Google Play Store from India
Bun Docs AI
I must have had very different experiences from everyone as I can't imagine how grinding leetcode is a worthwhile activity. Do you want to do leetcode because you find it helpful or because the hive mind of the internet says you should?
libboring exists, it's called nacl.
From my quick search, it sounds like people with turner syndrome still have the "correct" sexual organs for their physical gender. They may have under-developed ovaries, but still "correct."

https://www.nhs.uk/conditions/turner-syndrome/symptoms/
Of course, as anyone who has a bit of scientific knowledge knows, it isn't a myth. It is an effect on top of the natural climate change caused by raising the CO2 content by 50%, mostly in the last 50 years. This causes a very quick warming at a speed far quicker than natural climate change. It is this speed which makes the climate change so dangerous. Which is where we are back at the asteroids. Beyond the direct impact damage, they cause a sudden climate shift.
Weird that when we destroy a government and replace it with nothing infrastructure goes unmaintained.
This seems relevant to me. I also identify as a person who “loves learning new things”. Playing an instrument was a hobby I used to pursue with passion. Now it seems like it’s running its course and I’m not feeling as passionate about it as I used to. This has been happening for a while but a part of me didn’t want to admit this, and I’d force myself to pursue it even when I didn’t feel like it. Of course, I didn’t make the same progress at getting better as I did in the first few passionate years.

I am now in a phase where I am letting things take whatever course they have to. No longer am I trying to achieve an objective of getting “better” and being ok with knowing that if I don’t feel like it, I needn’t pressure myself to pursue it.

I realised that I was trying to prove myself to other people. That if I get better at the instrument, people will be wowed and will like me more and that will give me validation. So I realised that at least a part of the motivation was public approval. Meditation and therapy have helped me realise that my craving for validation cannot be fixed by more validation. And this has made it easy for me to let go.

Who knows what comes next? I can only accept myself and go with the flow :)
Bash's problem, as well as its selling point, is that it is both "good enough" and "ubiquitous" (both in installations and inside the many, many brains of devs) which means that it is essentially the JavaScript of shell, and will thus never go away.

I used to try to fight it, then I decided to accept it, and things have gone better since.

I actually think something like es-shell https://wryun.github.io/es-shell/ is (or would have been) the most underrated possible replacement for bash, but oh well
100%

My biggest example of this is cutting out reading the news. It's been great - all the news brought me was constant negativity about things out of my control
Excessive luxury? Are you serious, any middle class person at least in the west can easily afford a cruise, most only cost few hundred dollars for a few days international trip that has you mostly everything covered with food, lodging etc. I would consider roaming around the world in giant private yacht as luxury if anything.
The best way to spot a conspiracy theory (in the pejorative sense) is that a lack of evidence and evidence against the theory are treated as affirmative.
So your “simple web search” you recommended only is worthwhile if the results agree with your existing position?
WORKSFORME (in the UK, and with URLs including 'sharepoint' which may matter)
Where? In that post I shared my own personal strategy for saving money by doing my shopping at a wholesaler instead of an ordinary supermarket. No state intervention required.
There's a vast difference between passing laws to appear palatable to the international community and enforcing those laws.
> Human-caused climate change is a myth

No, it's not.
https://en.m.wikipedia.org/wiki/Intersex They pad the numbers to get their 1.7%.
By not having a job!
How does it compare with Restic, which is very similar, and written in GO?

One feature that I wished these tools would have provided is support for public key encryption. The secret key then need not be exposed.
The push to cloud happens even when it makes no sense for customers at all. I'm in the mergers and acquisitions consulting space for IT and there are a lot of very mature, stable non-it companies that can save millions going colo vs cloud when we spin them off but the push is ALWAYS to cloud, regardless of the costs.

It's now a selling point when buying a company that the infrastructure is cloud based, even if it's IaaS that has been stable and unchanging for 15+ years - and they require the staff to maintain the servers regardless of where it's hosted.
Bruh, that's old news. She now moved to St. Petersburg to work for the Russian government and the Russian air-force had to fly her ponies in too (because that's what you use your airforce for in times of war). It sounds like an Onion article but it's real.

https://www.theguardian.com/world/2023/sep/14/karin-kneissl-...
This days there must be at least a few million more cameras then a few decades backa nd the alien or super natural images did not increased proportionally to the camera number as you would expect.

I think the capitalistic "greed" caused all those old reports, it was so popular at that time so people produced the content that was in demand.

i remember some TV show that was presented some old temple and claiming something like "only aliens would have had tools to cut this rocks at such perfect angles" - then when I had Internet access and check that temple I see it was made from sandstone (a very soft materials) and the freaking angles were not precise by a mile... so makes you wonder should there be consequences for this kind of intentional lying for cache ? (I mean in general and I understand that USA is super special).
I think the strongest version of the activists' case is the economic one, which is something like: the cruise ships benefit the region by bringing tourists and (presumably) paying some direct fees to dock there, but this benefit is lower than the public cost of them belching pollutants into the air, and banning cruise ships is more realistic then passing the more nuanced taxes that would correctly penalize these negative externalities.

The weakest version is the aesthetic classist one that cruise ships are tacky. I have the same opinion, but convincing people that the thing they like is lame doesn't seem like a great tactic.
Every society can be described in terms of some hierarchy and power structure. In fact seemingly 'structureless' societies tend to be the most tyrannical of all, because power relations simply become opaque. Only very small groups of humans can be said to be genuinely free of any kind of (perhaps ephemeral and shifting, but still real) hierarchy.
Really neat thing, very un-neat name though
Don't do leetcode prep if you're trying to do side projects, Leetcode in itself can be a massive undertaking.
Buying a device directly from Google themselves and expecting privacy is interesting…
That would come as a surprise to my friend who had to have a lot of surgery.
What's wrong with paying for a blue check?
Not really dumb. I do use them too but with Borgbackup on the top (since they support it natively).

I found Borgmatic ( https://torsion.org/borgmatic/ ) to be the best way to run my backups. It takes care of everything from pruning to verifying the checksum etc... and it integrates with some monitoring (like cronitor).

So Borgmatic + rsync.net is the best combo
I mean its still pretty hypocritical - the US is happy to take in literal Nazi war criminals to stay as a super power, yet they start clutching pearls if a developing country tries and poach some talent with IP knowledge.
Words do have meanings and “collective ownership of the means of production” is the oldest con in the book. It’s the ownership of the means of production by the State, backed up by violence if you choose not to participate.

You can’t go to the socialist stock market and sell 5 shares of your “ownership”. You can’t transact it. If you don’t like the product, you can’t choose to buy a different one.
> have some effect on inflation.

But how does this concretely affect supermarkets? They presumably didn't raise wages, they didn't have to pay more for their wares(at least not at the level they raised their prices at, after all they have probably long-term contracts at generous oligopoly conditions) and their electricity bill is maybe at most 10% of their cost. This is purely extortion.
They would not have been reverse proxied to the Docker container without the hostname.
Enshittification, just like google and bing
Right. For something so ho-hum, there's too many signs of suspicion-inducing secrecy showing, such as the fact that they didn't announce the guy's name who was going to lead it, then probably realized that that would just further any conspiracy theories around it (justifiably), then they DID announce his name... When I learned this yesterday I said aloud "FFS" because it's such a dumb human foible.

If this was in fact a coverup, the only reason it's worked so long (despite humans being unable to keep secrets) is due to two things:

1) the implausibility of the premise

2) the ridicule of the claimants

3) the compartmentalization of the information, and possibly

4) the threat of unknown agents

The thing is, the truth eventually always comes out. How do you think this is going to look, once it does?
You should read the whole article, not just the bit you like absent even the rest of the sentence it’s in.
I agree - for most of them. One exception would be React/Vue/other frontend frameworks that split updating the state and visualizing it. It sounds like a small thing, but it makes a world of difference in non-trivial projects, compared to native js / jquery. Then again, it's the idea itself that matters, overoptimizing the implementation is not beneficial. I.e., React classes are just as good (or better) as hooks as far as I'm concerned, it would be better if they would let it be at that stage.