skysight-inc/HackerNews huggingface dataset:
I figured from learning proofs back in high school that there are a limited number of approaches one can tackle a Mathematical proof problem, at least for textbook problems. You just have to be familiar with each of them, that is to work on many problems of the same method, to obtain an intuition.

Of course this probably does not help with very tough questions that require out of the box thoughts, but I think it still helps.
&str vs String. Oh boy.
Yes, but that provides a significantly less secure experience. All the important cryptographic operations are done in a regular computer program rather than in a HSM, at that point why bother with the Yubikey at all?
Seriously?! That’s insane and would get my work laptop quarantined in minutes.
What's happening here is a normal part of market participation. It's not unusual to try and change prices to optimize sales and product market fit.

Additionally, you don't necessarily know what the customer is thinking. For example, some of the lifetime purchases I've made are because I see a deal as well as a desire to support the person building the product.

To be fair I do usually see the prices increase over time, so I understand your concern. Even so, I don't think you should worry about this or take any pro-active action. It's your right to adjust pricing as you see fit. If it bothers you, have a plan in reserve to provide a partial refund if any customer asks what is happening. The reality is very few people will probably even notice.
I keep toying with the idea of creating one. :-)

Borgo looks neat - hadn't seen it before.
I don't use Tailwind but this is easy with CSS:

label:has(+ input:disabled) {
color: gray;
}

Not sure why Tailwind couldn't do this.
If you can afford and ok with junkies, anarchy and your car getting broken into every day.
Actual malice (which, reckless disregard isn't all that hard to get) it's only required if a person is a public figure. For most people, you only have to show negligence.
in italy we often use as aggravation to senteces "futile reasons" to encompass a vast umbrella of reasons. "hate crime" alone is easily gameable term. Otherwise we would need to put all the leftists in prison for they hate towards the wealthy
I agree completely that wealth plays a critical role, if not the most critical role, in all of this. Especially at the higher end with Balaji and all the other would be tech John Galts.

I have just observed that the threshold is low enough that many middle-class engineers achieve it (I've always lived in low cost of living areas where engineers get to live pretty comfortable lives relative to their surroundings. But that's just my one data point). Their folly tends to be more banal, like ordering Ivermectin from Mexican pharmacies or endlessly talking about nuclear power in a near utopian fashion. Admittedly, pretty harmless stuff compared to the article.
I didn't grasp the similarity between human and machine learning until I took a machine learning class at Berkeley. Listening to lectures or reading the textbook is akin to fitting a machine learning model: You receive just enough information to begin understanding, but not enough to master it. True mastery requires you to validate your knowledge through homework, quizzes, exams, iteratively tuning your approach based on feedback. Without this practice, similar to a machine, your learning is merely overfitting to training data - you might handle familar problems well, but struggle with new challenges.
Check out VPN's in Australia (Australian citizen currently in the UK)
referrer google or user agent google bot is a great way to have google specific shenanigans to rank higher in search.

Google says it's against their policy but plenty of sites do that. Plenty of sites let their paywalls down just for GoogleBot to the ranked in search but real users have to pay.

Some sites don't load ad crap to show GoogleBot how fast they are.

We should all become GoogleBot.
They tried to force LED/CFL lights in the UK, but couldn't as people with skin cancer said the new lights are dangerous to their health. No to mention migranes, and other diseases worsen by the flickering lights. And these even predate the vilification of blue-spectrum light in recent years.

Is health really trumped by ideology nowadays?! The people so passionate behind green deals are funding the wars in Ukraine and Gaza, which have a pretty big CO2 footprint!

I'm pretty sure they enjoy the picture of burning Russian refineries and totally ignore what actually goes into the atmosphere!
What? Are you saying OpenAI, Google, Meta, etc did nothing to combat abuse and provide safeguards?

If so, that is easily provably wrong, unless you think there's an enormous conspiracy involving thousands of people to pretend that they're working on it when they really aren't.
I mean unification with themselves. Either you are a Republican, or you are not a conservative. In contrast, the Democratic party actually tries to cater to leftists, progressives, liberals, etc. all at once: one tent for everyone who isn't Republican.

Take for example the words, "In God We Trust; United We Stand." A christian conservative can read those words as a call for compromise around a shared identity; but the rest of us can read them for the threat that they are: either you are in the in group, or you are selfishly standing against it.

If the unification of the Republican voterbase wasn't working, Utah would have put 20% of its 2020 vote into an independent candidate, just like we did in 2016. That didn't happen. Instead, those voters became Trump supporters.
The linked scooter looks great, but is out of stock :/

Any other recommendations for entry level scooters?
I didn't say that you were. I said that you should put yourself in the shoes of those older generations of students who memorized the names of the 11 planets. Or the 13, or 17, or dozens or however many had been discovered the year that their textbook was printed. Eventually they just gave up and started calling them all “the Asteroid Belt”.

If we had repeated history more closely, students would have memorized the names of the first few Kuiper Belt and Oort Cloud objects to be discovered. Repeat after me: Pluto, Albion (aka 1994 QB₁), 1993 SB, 1993 SC, 1994 GV₉, Arawn (aka 1994 JR₁), 1994 TB…

Or if you prefer to order them by size: Pluto, Eris, Haumea, Makemake, Gonggong, Quaoar, Ceres, Orcus, Sedna, Salacia, 2002 MS₄, 2002 AW₁₉₇, Varda, etc, etc.
I have little confidence in the security of TOR. I believe any competent adversary can do packet timing correlation attacks, and it turns out just 30 seconds of web browsing gives enough timing data to narrow down to just 1 tor user, since the tor userbase is fairly small.

I'm guessing there are ~10 nation states who can deanonymize tor, and I strongly suspect the UK is on that list.
It can be though. You should be able to express low-level details but also implement high-level constructs effortlessly should you so choose.

Look at C++, which can both dick with move semantics but also offer multiple inheritance. Even better, look at C#, which has pointer fiddling but also offers the best reflection of any language today.

You're right that Rust is only really good for kernel development but it didn't have to be that way.
That seems to reason. Unless you buy all your stuff at Walmart online, you have to go in and see the people working and their working conditions.

Amazon, you only see the checkout page. It makes it much easier to ignore the problems.
>Systemd is a step backwards.

_A_ step backwards?
> Orphan rule should be optional

That has got to be the most "I didn't think this through" take ever.

While it's a known pain in the ass. Not having it is a bigger pain.

The moment you allow this, you have to find a way to pick between several implementation - and they don't always have sane names.

Orphan rules prevent this from happening.
1. With respect, you haven't answered my questions.

2. I have a personal library of over two hundred physical books on philosophy including most of my original textbooks. I'm unsure of the number of ebooks but it would much fewer than that.

3. Unfortunately, my Greek is limited to only a few words so my copies of Gorgias, Phaedrus and others are in English—translation Jowett. You seem so knowledgeable about the subject presumably you read your copy untranslated.

4. Tell me about yourself. Presumably you lecture at some university in philosophy.
If the underlying technology is poorly specified and confusing enough that it doesn’t get implemented well in 95% of cases, then yes, that does indict the technology. See also: PGP and email encryption in general.

But even if on balance the tech is worth implementing, it’s clearly not easy and your suggestions to “just” do several things that aren’t happening ring a little hollow.
OTOH ChromeOS, one of the more secure operating system s (behind QubesOS, on par with Android and iOS) is GNU/Linux.

But in normal Linux land things are moving too: Flatpack, Wayland, immutable rootfs, systemd service sandboxing, ...

Also browsers on GNU/Linux are generally well sandboxed, the interfaces are there.
In the USA, Counterman v Colorado upends your first point, a case where a man who by any rational definition was stalking and harassing a woman, made the legal standard harder for all future victims.

Also Kiwi Farms regularly brigades people with zero consequences.
"The ongoing debate on these issues has been divisive to the community and deleterious to our collective goals"

If you simply all agreed with me we wouldn't have all these important community members getting in fights and leaving.

"I am just one member of the five-member Nix team and hold no more formal authority than the others in determining the direction of the team"

Thought the inclusion of the word "formal" here was was pretty funny.

Both the letter and this response are pretty disappointing. The letter was too long and didn't make a great case even if it was ultimately probably right in many ways. And Eelco did not attempt to understand the writers, choosing to simply deny every single thing, which is not great leadership.

Even if he did nothing wrong at all, he makes no attempt to reach out to people who feel he has, to reconcile with them. To people who feel, justifiable or not, excluded he simply says: I've always done my best to create an inclusive environment. He doesn't seem to comprehend that one can try, but fail.

For someone with some interest in Nix but never having tried it, this has done enough to turn me off it for a few years. Who knows if it will still be around by then, considering the leadership and community.
Alabama House of Representatives advances bill allowing arrest of librarians
... of course they do? Why wouldn't they?
New £4M hub for metabolic psychiatry
Not sure what you mean by that with regard to encodings. The C APIs were explicitly designed to abstract from that, and together with libraries like iconv is was rather straightforward. You only needed to be aware that there is a difference between internal and external encoding, and maybe decide between char and wchar_t.
Seconded. More than once I've been talked out of pursuing a line of research only to see someone else publish decent results on the same thing a couple of years later.
State Machines Using CLOS
Maybe people will make fun of me, but I've been very happy with Kotlin and Dart.
Null-safe, good ergonomics, very fast.

I've tried Rust, sometimes play with C, D, Deno/TS, Nim, Java (actually I still write lots of it) and even some more cutting-edge stuff, like Unison. While they're cool, what I want is a language with really good tooling that gets out of my way without letting me write patently dumb code (like Java lets me use any object without checking for null, when it can be null but the language just doesn't give a shit to help me).

I use Dart when I want to compile to binary executable or use Flutter, and Kotlin for stuff I think the JVM has more to offer, like a server. The two languages are just a pleasure to use, pretty similar but having completely different ecosystems (which is great, you can use the best one for the job!).
Yes. And not just a security problem but an operational problem, since if you have to rotate a trust anchor you might have a hard time finding and restarting all such long-lived processes.

IMO SSL_CTX_load_verify_locations() should reload the trust store when it changes, though not more often than once a minute. IMO all TLS libraries should work that way, at least when the trust anchors are stored in external systems that can be re-read (e.g., files, directories, registries, etc.).

Apps can do something like that by re-creating an SSL_CTX when the current one is older than some number of minutes.
You'll get bored with something that doesn't exercise your brain. I have friends who have more rote/repetitive type work and they play overly elaborate board games or other rather intricate hobbies. Ideally you can find an employer who's a bit more onboard with work-life balance, but obviously that can be tough to find.
Alright, but don't leave us hanging: what does Python3 use for (2) that you say I was badly off on? (Or, in actuality, never thought about or meant to make claims about.) Now we still can't make good choices for performance!

https://stackoverflow.com/questions/1838170/what-is-internal... says Python3.3 picks either a one-, two-, or four-byte representation depending on which is the smallest one that can represent all characters in a string. If you have one character in the string that requires >2 bytes to represent, it'll make every character take 4 bytes in memory such that you can have O(1) lookups on arbitrary offsets. The more you know :)
Yeah, and let's not forget that we spent 2 years working over Zoom, a company under the thumb of a hostile foreign government. The CCP at this point could deepfake clone the voice of pretty much any American.
I do not complain. I've seen this trend multiple times by now. First time was with Ruby on Rails I think [1], then the cancer that led us to write JS to output HTML and all the good stuff that came and still manages to pour from npm. Every now and then you can spot the "fashion" out of these things.

Rust is good and has earned its place. I just despise cult-like followings for these languages and technologies.

[1] https://www.youtube.com/watch?v=YZeZsZEEpno&themeRefresh=1
This was my biggest problem with rust, the community is, at a surface level friendly, but the moment you try to say something against the grain you get met with some of the most insufferable people ever. I tried to mention a problem with a lint on the official forms and the replies were so condescending (from regulars at that too). And at no point did they try to understand the issue, they just assumed I was dumb/new/doing something wrong.
You can't pitch a hypothetical and say that since Congress wouldn't act in your hypothetical that they have in the real world abdicated their responsibility. I can equally make a hypothetical that says the EPA won't ban ICEs, or a hypothetical that says that EPA bans ICEs and Congress passes a law 24 hours later undoing the ban.
Ah, I see. May simply be the case then that `:has()` is relatively new and it wasn't possible prior to it's general availability as recent as Dec 2023.
Spare some thought as to why it's no longer "seen as cool."

That's about to be turned on its head. Banning smoking will make it seem edgy, transgressive, and alluring. Still worse, banning it only for people below a certain age will make it seem mature and sophisticated to those below the cutoff. The forbidden fruit.

The UK Govt couldn't possibly devise a better way to popularize cigarettes with young people. And they'll create a nice little black market, to boot.
I have not used it in production yet, but it's been great for one-off scripts and side projects. Setting up a TypeScript Node environment with ts-node, ts-jest, ESM support, top level await, etc. is more annoying than it should be. More recent Node releases have alleviated some of this pain, but not as trivial as running bun init.

I've enjoyed using the bun shell [1] API.

[1] https://bun.sh/blog/the-bun-shell
Unfortunately SSH certificates have really poor uptake in practice, and it's essentially unheard of to have a personal CA instead of a per-company CA.

But yes, having a single long-living "primary key" everyone can trust which you'd use to generate short-living per-device "secondary keys" would indeed be the ideal solution.
The ones that don't give him moral injury for working at Amazon, presumably?
My understanding is that the overall move towards almonds is actually a move towards crops that are efficient in terms of dollars of income for a fixed amount of water.

Wheat exports for $250 per ton of wheat. This month almonds export at $3,783 per ton. (This is actually down quite a bit from before and is resulting in fewer almonds being grown this year.)

In other words, given that farmers have a roughly fixed allotment of water to work from, if you completely banned all almond growing from CA, farmers would just use that same water on other plants and water usage would not change at all.
I think I just read about 10 versions of this comment on this page, and definitely not a single response to the criticism that could be described as incendiary. I don't think I even saw a single comment just now that fundamentally pushed back on the premise of this article, let alone in an incendiary way. It's early yet, and maybe this thread will look very different in a few hours though?
Just like C++, teams will end up having to carve out a sane subset comfortable for their domain.

For myself that's looking more and more like:

Ditch crates.io (and maybe even Cargo), carefully curate and vendor all dependencies.

Probably avoid async, but definitely avoid tokio.

Don't get excessively clever. (Here I think Rust does a better job of C++ of having good "community standards" already)
There are a bunch of weird things in the article. HIV typically has three phases: acute for first 6 months (most contagious, perhaps cold symptoms), chronic for up 11 years if untreated, or much longer if under treatment, and then AIDS.

Per the report two cases were acute and one case (two?) had AIDS, yet they all fell within the same viral DNA cluster (AIDS if infected in 2018 would be rare). So it seems that they were infected at very different times, yet they share a common viral strand. One explanation was that the clinic was using infected blood rather than customers' own blood, but even that sounds weird.
Installing a WiFi client certificate (in lieu of a PSK) and installing a root certificate used for TLS (in lieu of those distributed with the OS) are two completely different things, no?
He was also arrested yesterday trying to flee via plane because he was dumb enough to bring a gun through TSA. https://www.thebaltimorebanner.com/education/k-12-schools/er...

Heaven help us when someone with half a brain tries the same stunt.
Why? For that price you get a used laptop with higher perf.
I have an electric scooter with 3000kms on it. I use it for commuting to work several times a week.

I much prefer it to driving; you get to experience the open air; it's exciting, there's no traffic and it's often faster than driving. If I look at the money I've saved in gas & parking, my scooter has paid for itself almost 3x so it's cost-efficient too.

I heartily recommend that anyone with a commute of 30km or less per day try one out. Especially if you live in an area with good cycle-lane coverage. It really hits that sweetspot of efficient, enjoyable and cheap transportation.
There's no need for you to blather about "woke" and drag in US culture wars nonsense. It's distasteful, glib, and frankly not very intelligent, and just subtracts from whatever your point was.
How did it cut your server costs - increased performance and therefore reduced load?

Bun looks quite promising, but I've heard mixed feedback on it being a "drop in" replacement of node. Any experience with that aspect?
Millions of Americans are relying on the savvy actions of a couple tens of thousand investment brokers to ensure that when they retire they will be able to live closely to the manner in which they have been accustomed.

We have so defiled the American dream that if psychological or ecological terrorism on a scale large enough to alter the course of life on planet isn't allowed to continue unabated and increase its cataclysmically planetary destructive activities over time then all of our grandparents will starve to death homeless in a ditch somewhere and possibly us along with them.
Kaiser has had another privacy bug for many years, which is they give out phone numbers of individual doctors in the Kaiser system (of course it goes to voice mail). That sounds great but it's invasive: call a Kaiser oncologist, and your phone carrier sells the number you dialed to data brokers who profile you as a likely cancer patient. Call an AIDS specialist, gender transition therapist, abortion provider, etc.: same idea. Kaiser should instead have a single incoming phone number where you enter an extension of the doctor you are trying to reach. So everyone dials the same outgoing number. I griped to them about this around 10 years ago and they basically said hrmmph.
I'm glad you found tools/languages that work for you. Kotlin felt a little too much like Java to me. If I stuck with a JVM lang. I'd probably go back to Scala 3, but I just don't like the JVM as a user (just sucks too many resources).
> That's why the government wants KYC, and they make a damn good case for it all things considered.

The government considers a man with cash as an enemy because bureucrates loves to see all your transactions on his computer and especially his favourite milestone is an ability to block some transactions. Government is just a stationary thug and it has no other goal except of collecting as much taxes as possible.
Few people would notice how much attention was put into it. Love it, really tells how much the folks behind bun care about their craft
The NHTSA report looks at both
I think you're right about the first part...a passkey being tied to a single account on a single site.

But not the second: on Github for example you can have multiple passkeys for the same account.
That logo is huge on mobile so I can't read the first few bullet points.
The "reasonable" way of handling such situations would be to notify suspects that they are in a watchlist for "terrorist threat" and listing maybe inside a police station what punishment the risk by "acting".
Microsoft is really good at this BTW. At SQL Server we had mini dumps they were tiny stripped out of personal info and incredibly useful. And a full dump of a production SQL Server even at that time (15 years ago) would be a huge file - too big to move around.
Of course! It's from a book containing a collection of old tales. It's called "one thousand tales and a tale" (the book only contains a hundred)

You can find it here. The tale I referenced is on page 61.

(Unfortunately I didn't find an English copy of the book but there might be one)

https://archive.org/details/ar108roman64/page/n60/mode/1up
yes, keep reading this section
The 8-bit Z80 is dead. Long live the 16-bit Z80
If the world is immeasurably complex, then we will only see the part of that we can measure, meaning our world is measurably complex. We don't have any ability to measure or otherwise interact with the immeasurable part, such as the Universe beyond the observable Universe.