skysight-inc/HackerNews huggingface dataset:
FWIW We also know where "you did the work but it belongs to everyone" leads.

There was no real will to pay for AIDS drugs for the world regardless of how it was done, save your sarcasm for the lawyers who fought saving people no matter the excuse they used.

We don't have the will this time either, that's why we opened the patent rather than actually helping. It'd be like if your house was on fire and I threw a box of smoke detectors through the window, to help. Like Robin Hood stealing from the rich and forgetting about the second step.

If we want to save lives we'd have the factories that are already producing keep going rather than expecting new factories to tool up. We did this patent grant because we didn't want to help.

If we do decide this is how patents should work then we should set the rule now, for next time.
Apple Raises Prices on Apple Music, Apple TV Plus, and Apple One
Love the growing number of OSS Zanzibar implementations, and congrats to the Aserto team for launching Topaz!

Ory Keto's intro video @ SV IAM User Group [0] is worth a watch.

Other OSS Zanzibar implementations:

- https://github.com/authzed/spicedb

- https://github.com/Permify/permify

- https://github.com/openfga/openfga

[0]: https://www.youtube.com/watch?v=3vtTFLB_jDo

[Disclaimer: On the OpenFGA team]
No, it doesn't need clarification. Synchronous signals are always always synchronous, therefore it's obvious that they cannot be handled asynchronously with <fill-in-the-blank-async-system>. It's really clear. And if you stop to think about why synchronous signals are synchronous, it's even more clear.
https://nitter.net/rrmdp/status/1582003871786078210
If WIV was the source, it's very plausible that NIH-funded GoF research (and implicitly the existing field of virology) was the cause of the pandemic.

There's been a lot of wagon-circling in the virology community at the implication that they caused instead of preventing a global pandemic.
Excel is great until it isn't. As one example, I've had grad students tell me about a surprising result they found when they did some simple descriptive statistics in Excel. When I ask them to show me, or to check something else, they can't replicate their finding. Then the inevitable "Oh, I grabbed the wrong column" or some such after ten minutes of playing around with it. The thing that makes Excel convenient but dangerous is the lack of guardrails.
It takes awhile but I have found some truly fascinating content on TikTok

- Behind the scenes theatre stuff (I used to work in AV so this is relevant to my past interests)
- Aviation interests - got tons of good videos around the Oshkosh fly-in
- Farming videos - I grew up on a farm and enjoy many of these, I especially like comparing how this is done in different parts of the country
- Ski-lift technician TikTok - videos explaining safety systems, backup power, and behind the scenes of ski-lift operation
- Broadcast Transmitter engineering - folks working on terrestrial broadcasting systems which is loosely related to
- Amateur radio - lots of folks showing off their shacks and mobile rigs
- and more that I can't remember
Not that I want to defend MS, but the longest I have ever seen it take to update is a couple of hours. Annoying, yes. Should it be user postponable? Yes.

Actually, it is user postponable, you can tell the update to wait up to 5 days by default. It should still allow you to wait unlimited time of course, but you can always press that button once.
I doubt it. Where's your proof?
Imagine getting an MRI with your induction powered eye and the LED just explodes from the massive amount of conducted power
One reason US/Western missile systems are so outrageously expensive is because they're (rural/flyover) job creation programs masquerading as weapons programs.
Extraordinary claims require extraordinary evidence.

"vaccines were not stopping the transmission of COVID and thus mandates were pointless"

I don't think it's very controversial to acknowledge that "mandates were pointless" is an opinion. There are many ways one might legitimately debate mandate policies, but using the claim that vaccines didn't stop transmission completely sure smells like a bad faith argument (again, of an opinion, not a fact).
> Interesting work!

Thanks!

> is there a way for users to report/flag bad suggestions?

For the word hints there isn't a way yet, but this is a great point, I should add it in the future! For the sentence examples, it depends on what you mean with "bad". There's a "..." pop-up menu with an option to flag the example as incorrect or report it (for being inappropriate, abusive etc).

edit: For both cases, it is also possible to shuffle / fetch another suggestion.
If only people would watch Dr. Strangelove.
same.

I very often hear a call to end tent encampments.

I very rarely hear any sort of thought out policy on how to end homelessness.
... or until all your molecules become dates.
Blockchain Solutionism
In my experience, shutting down and rebooting wasn't enough; Windows 10 still forced me to create a Microsoft account. I had to open a cmd on the installer screen and remove my home Wi-Fi network from the known network list, then possibly reboot.
> uses aggregated market data from a variety of sources in a legally compliant manner

That will be interesting. If they are thinking that "legally compliant manner" is rooted in nothing more than having permission to the data (for instance, because users of their software sign off on it in the licensing agreement), they may be in for a surprise.
These are very common, and a lot of it has to do with avoiding the complex situation of taking work related research or knowledge and saying "oh I did it in my own time."

I'm not advocating this is right, or ethical, but saying that it would be an understandable precaution. The statement, and requirements are made up front, and there are no surprises for either party.
Yes, working for me well, too in Germany. First boring content, then frighteningly well adjusted context. As I dislike most German content, it updated itself to mostly showing English/expat stuff. But also some German content that I like.
Mark: "Imagine a virtual world where we control what you see, and everywhere you look - ads. Ads sold by facebook. Ads hidden as objects, events, and even just displayed on a virtual wall when you virtually walk past. A virtual world where everything is an ad someone paid for."
luckily we control our own destiny unlike said turkey. Pretty paternalistic to compare people to pets. Quality of life has improved because of our actions, not the hand of some farmer.

This is the same line of thinking as the famous "what happened to all the horses" thought which conveniently ignores the fact that horses only existed to serve as tools for people and were therefore replaced when a more useful tool was found.
Yes, and that's not a good thing.

It breaks down the fundamental debugging model of looking up the code in stack traces and seeing what it does. When an exception is thrown in generated code, what do you do to debug it?
From what perspective are you using the word "quickly" here? From human scales, quickly isn't true as China has been limiting to 1 kid for how long? From cosmological scales, humans barely even existed.
> stricter type systems ... the practices of Python or Scala

I do understand what you are talking about. But I really think you and the OP are both complaining about the wrong problem.

SQL doesn't require bad practices, doesn't inherently harm composability (the way the OP was referring), and don't inherently harm verification. Instead, it has stronger support for many of those than the languages you want to replace it with.

The problems you are talking about are very real. But they do not come from the language. (SQL does bring a few problems by itself, but they are much more subtle than those.)
It's theoretically possible, the question is who would want to live in that world? What you're asking is more of a sci-fi question that anything pertinent to our current set of problems. Profit motives need to be re-oriented to account for biospheric damage. Right now it doesn't matter what you're doing as long as it is legal and making profits by extracting natural resources as quickly as possible in order to convert those resources into consumer gadgets and weapons. This is not a viable model for a sustainable global civilization.

By most measures the biosphere is close to ecological collapse and the markets have not taken any notice of this fact because quarterly profits do not require a livable and ecologically stable planet. As long as this quarter's profits are the same or higher than last quarter's it doesn't matter how much damage was done to the biosphere to achieve those profits. Most large scale organizations are effectively accelerating ecological collapse because they operate by an economic model that is completely at odds with the reality of biological existence on a finite planet. Instead of being concerned about AGI, recessions, and infinite markets people should really be concerned about unsustainable business models at odds with the physical constraints and dynamics of the planet. There is no economics without a sustainable ecology and more people need to wake up and notice this fact.
More importantly never tell anyone you are good at Microsoft Project.
I was most impressed by random security cameras and video doorbells. Its just wifi, a video module, a plastic box and some components to glue it all together. Before buying one nothing is disclosed about monthly fees for limited cloud storage. Desktop clients are missing.

Some how the sum of technology +1000 euro phone +Gbit internet adds up to a doorbell so slow the visitor is long gone before you get to respond verbally or in person. That is, if the notification is audible at all.

The old vintage video doorbell displays the video feed pretty much instantly. The old vintage intercom allows you to talk to the visitor immediately after picking up the horn.

If you lower the volume or mute my stereo or my tv, should that action also mute the doorbell???
“Hearing chatter that the US will ban TikTok today.”
> Garbage is burned as fuel too in less developed countries. Stopping dumping of garbage in 2nd and 3rd world countries by developed/first world countries is going to benefit the environment in more ways than just reducing ocean plastics.

what do you expect they'll burn for power if we stop paying them to take stuff to burn?
My father, who is now 76, introduced an Apple II into the home. He wrote a number of programs himself for a business he started (that lasted 30 years). Followed by a series of PCs, the first of which had the pre-Windows 95 GeOS on it.

These days, he fumbles with his phone; half of the time hanging up while trying to answer it. His texts messages are usually unintelligible as he totally relies on voice to text. This can mostly be attributed to cognitive decline following a major heart attack which was accompanied by an undiagnosed stroke, a minor heart attack, and a diagnosed stroke. He still dabbles with Kodi and VPNs but is always at least a year behind the curve, and new technology thoroughly confuses him.

That's left me wondering: will there be a point at which I struggle, after having spent decades writing code that powers the web?
Yep, they (the videogame designers) got the wrong models, in case any of them read the comments here (and accept the critique in the article), the Cinta Senese is proposed as an alternative model.

To be fair, if you quickly look for pigs breeds, you will probably find images like this one:

https://www.breedslist.com/wp-content/uploads/2022/03/Types-...

where all breeds seem rather chunky and short-legged.
The overhead is very limited. The memory overhead is fixed, and the compute overhead is linear with the rate at which signals arrive (which is typically super low). Plus the whole thing is very easy to reason about. And you never have to worry about masking signals that you handle with a self-pipe. Add in the portability, and it's a very clear win.
I agree that it's a fantasy. For one, I think Mars is just a power play by the likes of people like Musk and Bezos. It doesn't even make sense to view Mars as a backup for Earth because, at least currently, Earth is still alive and Mars is already completely dead. It's like saying "we're going to kill off the only planet that can sustain us to get to a planet that cannot sustain us". It's mind boggling that we can get people excited about electric cars and Mars but cannot get those same people to realize the reality that Earth is the only planet known to mankind that can sustain us.
> OpenSSH is impeccably written software, widely battle-tested and its been literally forever since there was any significant vulnerability in it despite being one of the most widely deployed servers on the planet.

I know you're lying because it's not written in Rust.

/S
It's an old idea called: object oriented programming.
I don't consider use cases like documentation a "repository" of information, but maybe this is just me not phrasing it badly. In the literal sense sure it is, but when I think of a "repository of information" I think of wikipedia, amazon search items, etc.

The scale of a documentation site is a very different problem -- you can brute force it in ways that you can't at larger scales.

I agree that HN would be a case of the large repository, but even then what most people want out of HN search is pretty simple/basic keyword search. I think a decent non-frustrating HN search feature could be very basic and get by without most of the advanced features/rabbit holes available in search.

Basically I think most apps fall into the lighter search use case -- command palettes, search inside of apps with a small scale of information, etc.

My comment wasn't that apps shouldn't have full text search -- it was that most that have full text search don't need complex full text search with all the bells and whistles that lucene and other serious search engines provide. These up-and-comers might be enough for a bunch of apps for which search is not the main feature.
A thankless champion of quality tools.

Memtest, I love you.
In Singapore it’s delivered in cardboard boxes which they request you give them when they next deliver. Used to give them back each time if they didn’t get damaged or daughter didn’t use it as a car.
>Are you saying Putin hasn’t used threats to cut gas supplies to Europe to attempt to deter the West from helping Ukraine?

If that was addressed to me: I'm pointing out [for the nth time] that, after Russia invaded Ukraine, the EU and UK announced their intentions to completely stop buying Russian gas & oil. This has now been spun into the narrative that [as I quoted above, from the Economist article] "It [Russia] has used cuts in gas supplies, or the threat of them, to try to blackmail Europe since the early days of its invasion of Ukraine..."

This is the exact opposite of the truth. Russia continued to supply oil & gas and pledged to keep on doing so, right from day 1 of the invasion of Ukraine. It was the EU & UK which decided to weaponise energy supplies and they are now suffering the consequences. Hence the 'Ministry of Truth' version of events that we're seeing now, repeated over and over again til it becomes fact.

Amusing also that pointing this out gets your post downvoted and flagged to oblivion. Kind of reinforces my point, no?
I just assumed some sort of not-living-in-the-same-area situation.
SPAs can be indexed, so the entire premise of your post is invalid.
General rant incoming:

Feedback, in the UI sense: one of the biggest annoyances for me is using Google Auto. I issue a voice command and it says "Sorry, I don't understand 'navigate home'". Clearly, the audio process was fine, clearly the voice-to-text interpretation was fine, 'navigate home' is a command it recognises, so I deduce there was some back-end error but it's not specified in the applications feedback. It seems it would be super easy to check if the phrase they're telling the user that they don't understand was in a list of common phrases that the application handles. "Our app works best in a brightly lit environment, with microphone noise filtering turned on, and a clutter-free high-contrast background".

Like, I wish computer games came with (free before you buy!) simple benchmarks; "if you score above 100 on $benchmark you should be able to run at 60fps on default settings; above 200 75fps on max". Then it's really easy to know things are working or if you need to monkey around with drivers and settings and such.

IMO if you're struggling to get good input then you should score the input against the characteristics you want to improve, like "30% for audio quality, 80% for recognised commands, 50% for gesture quality;" change the score on the fly so users can easily tell if they're doing it right?

/ranty-mc-rantface
I'm still reading it, but I don't agree with the following:

>In Plato and the Nerd, I review Claude Shannon's channel capacity theorem [Shannon, 1948], which states that any noisy observation of anything conveys only a finite number of bits of information. Borel's know-it-all number cannot be encoded with finite number of bits unless the list all possible yes-no questions is finite, which it is not. It is easy to construct an infinite sequence of valid yes-no questions. For example, let the first question be "Is one a whole number?" Let the second question be "Is the answer to the first question YES?" Let the third question be "Is the answer to the second question YES?" And so on. As a consequence, Borel's number cannot reveal itself to us unless we invent some noiseless way of observing a thing in itself.

It is true that he showed an example of an infinite list of valid yes/no questions, which would lead to a number with an infinite amount of digits. But despite it being infinite, by the way it was constructed you already know all the digits (they will be all 1s), meaning that that number's entropy is remarkably low and that number can be expressed with a finite number of bits of information. So Shannon's theorem isn't a problem here.
Congrats on the success!
Earthing: Implications of Reconnecting the Body to Earth's Surface Electrons
Wasn't the whole point of the initial subpoena complaint, "we're not a competitor to Meta?" and now that it's dropped, you're arguing why you're a competitor?
> When opening a file that is already open in another editor in another terminal, Vim gives me many options, but it doesn't give me the option to kill the other process (or ask that process to save its buffer and exit).

One potential risk with that is that it looks just at PID files, which may or may not be Vim. If you have a left-over swap file from a week ago after a reboot with PID 666, that PID can now be anything (including another unrelated Vim process!) It's actually kind of tricky to implement that reliably.

That said, you can probably implement something like that through the SwapExists autocmd.

Your second point seems more like some system design issue rather than a Vim issue per se. The problem also exists for your zshrc, tmux.conf, htoprc, and lots of other things. I don't think it's something Vim really needs to solve, but rather the system.
I think it might be the same disinformation scheme as the climate science "The individual must/can fix it" - No policy must force industries to find other ways to make a profit with agriculture. There are natural ways to deal with insects and unwanted plants.
> "Back into the 40s?" ICs aren't that old.

I think the parent is saying that the verb 'tapeout' goes back to litho processes before litho's use in IC production, not that IC production went back to the 40s.
I think in the context of communicating bad news, the PIP system Amazon had sounds like it sucks, but at least it was a way to communicate that you should find another job.

The problem with the person in this article is that there was no communication at all. It was extremely wishy washy.

Btw if you are confrontation averse, you should not be managing anyone ever.
Your last paragraph nailed it! It's a shame. Today HN is on roll of realistic but pessimistic landscape that hits hard.
I completely agree with you and will take it even further.

I don't even futz with nginx anymore. You don't need to do that with tunnels. This assumes you have created a tunnel with required domain name. Very, very easy to setup.

1. Create container
2. Open Cloudflare ZeroTrust
3. Create a hostname for the new service or app; heim.example.com -> http://localhost:port
4. Save it.
5. Done. -> access the service from http://heim.example.com from anywhere in the world
5. For extra security, register the app in zerotrust with an email verification policy with emails you trust or use a token, or what ever auth you like.
I think it’s worth talking about how the language works here.

We say, “the natural numbers are a subset of the reals,” and this is a sensible thing to say.

We also might say, “you construct each successor number in the natural numbers as n + 1 = n ∪ {n}”. And then we say, “a real number is a Cauchy sequence of rational numbers, or a Dedekind cut of rational numbers.” From a set-theoretic perspective, “the natural numbers are a subset of the reals” is obviously untrue with these definitions, and it’s worth spending a moment to think what the statement actually means, or how you would have to interpret it in order to understand the truth of the sentence.

I might translate the sentence as “there is a left-cancellative morphism from natural numbers to real numbers,” but then I’d have to define what category I’m using, and what the morphisms are—which is usually implied. You end up having to stand on top of a surprisingly tall stack of proofs in order to say “the natural numbers are a subset of the reals” and actually explain what you mean by that, rigorously, from foundations.

Or, put another way, it’s sometimes useful to understand what you mean by “behave as the identity”.
The Quest Pro wasn't announced when they subpoenaed us.
Personally, I suspect it was the Younger Dryas:

> The Younger Dryas (c. 12,900 to 11,700 years BP[2]) was a return to glacial conditions which temporarily reversed the gradual climatic warming after the Last Glacial Maximum (LGM, c. 27,000 to 20,000 years BP). The Younger Dryas was the last stage of the Pleistocene epoch (c. 2,580,000 to 11,700 years BP) and it preceded the current, warmer Holocene epoch. The Younger Dryas was the most severe and long lasting of several interruptions to the warming of the Earth's climate...

https://en.wikipedia.org/wiki/Younger_Dryas

Everything was good for a couple of million years, and then everything got really really bad for over a thousand years.

What we think of as human history is the story of our recovery from the trauma of the YD?
Hmmm, am I wrong in understanding that, by pretending leap seconds don't exist, the unix time actually represents how many seconds passed rather than what time time is now? (Where a second is as long as every other second, not smearing out the leap second across the whole year. I.e. by the cesium standard definition.)

user@debian:~$ qalc "$(date -d 2022-01-01T00:00:00+0000 +%s)"/3600/24/365.25
((1640995200 / 3600) / 24) / 365.25 = 52

Precisely 52 years' worth of seconds, which I guess also tells me that there have been an integer number of leap years since then. Either way, at 1666666666, 1666666666 seconds will have passed rather than ...693 no? The extra 27 seconds are either for keeping the sun at its zenith when the clock strikes noon (not that that is even close to true where I live, it's off by more than an hour) or for keeping winter in December. I can never remember which, although we already have leap days for keeping December in winter (in this hemisphere) so I think it must be the 24-hour variable rotation speed thing.

If you want to define 1666666666 as having +27 seconds passed since 1970 started, you would have to redefine the length of the second every time a leap second is announced, I think.

I find this all tough to wrap my head around, though, so it can very well be that I'm wrong here.
I am living in rainy Hamburg, and it's okay, right?