skysight-inc/HackerNews huggingface dataset:
It definitely varies from person to person, but I would dispute the assertion that it cannot be used for longer periods of time in principle. The category of games where your avatar moves through controller usage includes most flight sims, for example, and yet some people (myself included) can play them for hours in VR. I also play Ground Branch in VR sometimes, using keyboard and mouse for navigation, and it only takes a couple minutes to settle into a comfortable state. So I think there's a subset of people for whom this is not a problem. The question is how large that subset is...
No, the issue is NOT that they chose "an inappropriate algorithm," they chose an inappropriate design of the language itself. From the link [some typos might be mine since I manually retyped some of the TeX symbols}:

> With constrained types, there are two different ways to interpret a polymorphic type such as \forall a. C[a] -> String:

> 1. "\forall a" really means "for all a" so the type above is invalid since C[a] is not a valid type for all a.

> 2. "\forall a" really means "for all a for which the right hand side is valid," so the type above is valid, but it can only be used for a = Int.

> ...

> Option (2) requires slightly less annotation by the programmer, but it can be easy to lose track of the implicit constraints on a. Rust chooses this option, which led to a tricky bug.

And if you go on to read what this tricky bug is, it does not involve any incorrect implementations or even any specific algorithm. It's conflicting requirements: the design of co/contravariance of lifetimes in Rust conflicts with the design of nearly-universal quantification over types: one or the other has to be changed in its core semantics, not merely patched with a better algorithm.

ETA: My point is that an alternative compiler cannot simultaneously solve this "compiler bug" and be appropriately source-compatible with rustc. It seem like they would either have a different syntax for type quantification, or more stringent constraints on lifetimes.
Well while we’re discussing needless costs associated with changes in leadership shall we talk about those hilariously over the top inaugurations you have every four years?
I recently used Playwright for Python [0] and pypandoc [1] to build a scraper that fetches a webpage and turns the content into sane markdown so that it can be passed into an AI coding chat [2].

They are both powerful yet pragmatic dependencies to add to a project. I really like that both packages contain wheels or scriptable methods to install their underlying platform-specific binary dependencies. This means you don't need to ask end users to figure out some complex, platform-specific package manager to install playwright and pandoc.

Playwright let's you scrape pages that rely on js. Pandoc is great at turning HTML into sensible markdown.

For example, below is an excerpt of the openai pricing docs [3] that have been scraped to markdown [4] in this manner.

[0] https://playwright.dev/python/docs/intro

[1] https://github.com/JessicaTegner/pypandoc

[2] https://github.com/paul-gauthier/aider

[3] https://platform.openai.com/docs/models/gpt-4-and-gpt-4-turb...

[4] https://gist.githubusercontent.com/paul-gauthier/95a1434a28d...

## GPT-4 and GPT-4 Turbo

GPT-4 is a large multimodal model (accepting text or image inputs and
outputting text) that can solve difficult problems with greater accuracy
than any of our previous models, thanks to its broader general knowledge
and advanced reasoning capabilities. GPT-4 is available in the OpenAI
API to [paying
customers](https://help.openai.com/en/articles/7102672-how-can-i-access-gpt-4).
Like `gpt-3.5-turbo`, GPT-4 is optimized for chat but works well for
traditional completions tasks using the [Chat Completions
API](/docs/api-reference/chat). Learn how to use GPT-4 in our [text
generation guide](/docs/guides/text-generation).

+-----------------+-----------------+-----------------+-----------------+
| Model | Description | Context window | Training data |
+=================+=================+=================+=================+
| gpt | | 128,000 tokens | Up to Dec 2023 |
| -4-0125-preview | | | |
| | New | | |
| | | | |
| | | | |
| | | | |
| | **GPT-4 | | |
| | Turbo**\ | | |
| | The latest | | |
| | GPT-4 model | | |
| | intended to | | |
| | reduce cases of | | |
| | "laziness" | | |
| | where the model | | |
| | doesn't | | |
| | complete a | | |
| | task. Returns a | | |
| | maximum of | | |
| | 4,096 output | | |
| | tokens. [Learn | | |
| | more](ht | | |
| | tps://openai.co | | |
| | m/blog/new-embe | | |
| | dding-models-an | | |
| | d-api-updates). | | |
+-----------------+-----------------+-----------------+-----------------+
| gpt- | Currently | 128,000 tokens | Up to Dec 2023 |
| 4-turbo-preview | points to | | |
| | `gpt-4 | | |
| | -0125-preview`. | | |
+-----------------+-----------------+-----------------+-----------------+
...
Polars – Why we have rewritten the string data type
> Signal protects you from eavesdropping and data hoarding

How on Earth collecting a phone number may be considered as not data hoarding?
You said you make the utilitarian choice. By using C everywhere, you can use an even faster compiler that doesn’t insert those calls for you. So why don’t you?
Well, the majority of commercial planes flying in this country are Boeing, so that's not a surprise. And we don't yet know the nature of the problem, so it may not be connected to Boeing's incompetence.

On the other hand, if it did prove to be yet another error on Boeing's part, that wouldn't be a surprise either.
Instance storage is not networked. That's why it's there.
How well was this agreed upon, what form was the agreement in, and when was the last time it was conducted, because I've never been asked about it even once.

This mystery applies to most everything, not just conscription.
Found this comment while trying to figure out if this is a joke.

What an amazing sport.
> You can't eliminate piracy with violence under these circumstances, you need to make it too costly or too risky to undertake.

I don't know if you can make it too risky to undertake in the face of desperation.

Yemen has an active famine, which I would imagine is contributing to the piracy problem. I fundamentally don't think you can make an action so risky that a starving person wouldn't attempt it. Some would likely be willing to die if it meant their children, spouse and parents could escape starving to death. I presume there's a Mafia-esque "we'll take care of your loved ones if you die" pact.

There are tons of grey market jobs with substantial risks that people do. I was watching a video about a guy in the Philippines that dives to run a machine gathering tin from the sea floor. He dives something like 100 feet deep using nothing but a single onboard compressor to pump air down to him. If the pump dies, he dies. And the pump is about what you're thinking; exposed to open sea air, held together mostly by duct tape, and probably 50 years old at this point.

Another was about Indian workers (I believe) gathering sulfur with no respirators and carrying 100kg of sulfur up a steep cliff side with no stairs or railing, with no respirators or even gauges to warn them about toxic fumes.

People already do a wide range of jobs they know will probably kill them. You can't threaten someone starving to death with violence; they're already staring down death, it's not a deterrent anymore.
Killing Navalny
An entire generation is being taught to be passive and to ignore threats at the border or abroad. Elite institutions like Harvard are currently ousting some faculty members who foment anti-semitism in this modern age. It is more common to see hot takes against the SCOTUS and Constitution and secure borders from uninformed youth than any realistic takes. They learn these things from someone.
Nitro "virtual NVME" device are mostly (only?) for EBS -- remote network storage, transparently managed, using a separate network backbone, and presented to the host as a regular local NVME device. SSD drives in instances such as i4i, etc. are physically attached in a different way -- but physically, unlike EBS, they are ephemeral and the content becomes unavaiable as you stop the instance, and when you restart, you get a new "blank slate". Their performance is 1 order of magnitude faster than standard-level EBS, and the cost structure is completely different (and many orders of magnitude more affordable than EBS volumes configured to have comparable I/O performance).
Just hair splitting obviously but I don’t think it’s really a contact, it’s just what the recipient shows as when you send something to your own number.
Qt Quick should support non-GPU rendering[1]. I don't know how good it is, tho.

[1] https://www.toradex.com/blog/running-qt-without-gpu
What did I say that had anything to do with emotional wellbeing?

What did I say that made you think I was unprepared for Apple to have to do this in the US?
Honda begins mass-production of affordable fuel cell system
I think it's less to do with homophone confusion and more to do with usage patterns relating the contracted part to a phrase rather than a single word [1] [2]. By the logic of the homophone explanation, the following exchange should be much more acceptable than a sentence ending with "it's" or "they're", but to me it seems equally strange:

"Are you waiting for someone?"

"Yes, I'm."

[1] https://www.youtube.com/watch?v=CkZyZFa5qO0

[2] https://en.wikipedia.org/wiki/Clitic
You're right, but in this case it shouldn't compile :)
I have a bunch of the latter group types too.
Our big belief is that elastic infrastructure (that is, cloud computing) should be orthogonal to the economic model (that is, own versus rent). Today, that is not the case: if you want cloud computing, you more or less have to rent it. But we know that there are many who wish (or need) to run cloud computing but on an owned asset. There are many factors that deter that today, not least the odious per-core licensing that we highlight here. (For a particular brazen example of this, see VMware's infamous "AMD tax" ca. 2020.[0])

[0] https://news.vmware.com/company/cpu-pricing-model-update-feb...
Show HN: I turned tiny smartphone into a portable AI assistant [video]
I convert tiny android phone into an AI assistant. It works as an app in "kiosk" mode. (always on and ready for input).
And it seems this approach has benefits comparing to the regular app in your main smartphone or to the custom device as an AI assistant.
Fellow head of data here. For a while, my team ran on MySQL, a shared file server we mapped as a local drive, a team server in the back closet for tasks too large for our laptops, a MySQL database, an SVN server, and a Wikimedia server for documentation. We're upgrading a few of those items, but it's amazing how cheaply you can run a machine learning team if you only have a few TB of structured data to analyze.
No it isn't. The first one is 45-favour, 38 don't favour. That's a totally different thing.

This proves the idea that you can get a result that points the way you want it to. But it doesn't quite prove that the leading questions have any effect.

To do that they would need to ask 2 more sets of questions with the "oppose"/"support" questions inverted. Otherwise the effect could just be due to the different wording of the final question.
You mean in the hour and a half it's been released...?
Congratulations on your success. Legacy code is never easy to work with, but it's a good problem to have because it means you survived where hardly anyone does.
And Dells have warranties.

And both offer service agreements.

And Hetzner is a straight line expense while a Dell might be a depreciating asset.

And either both or neither may offer discounts off retail.

And so on.

Because that’s the nature of actual decisions versus online arguments.
Scientists Find Genetic Signature of Down Syndrome in Ancient Bones
Reminds me of a sidechannel attack I demo'd in college:

https://medium.com/@tomasreimers/axolotl-a-keylogger-for-iph...
I'm at a small local energy provider. I have their most expensive 100% renewable tariff. Even after the invasion the price only went up to 28,36 €ct/kWh.
Yet, my parents pay above 45 to RWE. (That's what cheap nuclear power stations get you I guess.) My father finally changed providers but thanks to the super fair contract has to wait now over a year for it to happen. And thanks to the "Strompreisbremse" I have to subsidise those ass companies.

sorry for being of topic
Only with effort Linux was able to be ported to Clang. All compilers that compile Linux should also be able to deal with size_t and consorts.
The source code is open source. Please point to the lines of code where the backdoor exists.
Holy cow, is that for real? I don't think I know a single person like that. How old were the guests?
They have different use cases: with PAKEs you encrypt a connection, not a file. You can’t use PAKEs to encrypt backups. Or, rather, you can but then the two sides just have to store the key, making it not fit for e2ee use cases. It’s password authenticated key exchange, not password derived keys.

(Well, the WhatsApp solution actually uses a PAKE to talk to the HSM, but the HSM is still necessary.)
Yes, far more people than I previously realized love "dictatorial strongman posturing," as long as they perceive that the "strongman" is on their side and willing to crush their enemies.
Nevertheless, no major toothbrush manufacturers use Wi-Fi. Oral B and Philips connected brushes all use bluetooth.
If I had to guess, two things:

1. Increased investment in automation for the least desirable jobs.

2. Everyone can have the basic necessities covered, but still get paid for doing extra. The least desirable, most unpleasant jobs would have to be paid considerably more than they currently are (which is theoretically supposed to be how it works in capitalism too, capitalism isn't supposed to rely on a trapped, indebted underclass that's forced to take any job at any pay). If working twenty years part time with plenty of vacation allowances as a janitor* meant that you and your children get to live what is currently considered an upper class lifestyle, people would be lining up to do their tour of duty as a janitor*.

Think of how professional sports (or union-represented trade jobs) are theoretically supposed to work: It's hard enough on your body that you can't really keep up at it all the way to 65, so you're supposedly paid enough/given good enough benefits to spend less of your life working, and live the rest of your life out on your savings.
Igalia: The Open Source Powerhouse You've Never Heard of (2022)
Sure we do. We can investigate the living preferences of people with the means to choose between multiple options.
It feels like this product isn't a good fit for people who have a free mail client that they are happy with. The probably describes a large portion of HN readers. But there are people who will be happy to pay $3 per month for something that does exactly what they need.
It's been interesting to watch as "woke" morphed from a word uttered with pride to an insult. I can't think of another word whose valence has changed so quickly and unambiguously.

It would have been less surprising if the out-group started using it as an insult and the in-group still claimed it as a badge of honor. I wouldn't have guessed that the in-group would have abandoned it so readily.
Delivering a message to a client which is known to be less secure than the sender expected it to be is unforgivable.

Refusing to deliver is inconvenient.
This has been true for many years now. At the time it caused a major uproar among the userbase (myself included) whose concerns were almost entirely ignored. Their misleading communication at the time caused a lot of confusion, but if you didn't know that Signal was collecting this data that should tell you everything you need to know about how trustworthy they are.

Here's some reading from the time of the change:

https://community.signalusers.org/t/proper-secure-value-secu...

https://community.signalusers.org/t/dont-want-pin-dont-want-...

https://old.reddit.com/r/signal/comments/htmzrr/psa_disablin...

https://www.vice.com/en/article/pkyzek/signal-new-pin-featur...

Note that the "solution" of disabling pins mentioned at the end of that last article was later shown to not prevent the collection and storage of user data. It was just giving users a false sense of security. To this day there is no way to opt out of the data collection.

My personal feeling is that Signal is compromised and the fact that the very first sentence of their privacy policy is a lie and they refuse to update it to detail their new data collection is a big fat dead canary warning people to find a new solution for secured communication. Other very questionable Signal moves that make me wonder if it wasn't an effort to drive people away from the platform as loudly as they were allowed to include the killing off of one of the most popular features (the ability to get both secured messages and insecure SMS/MMS in the same app) and the introduction of weird crypto shit nobody was asking for.
I've literally never come across an L2 charger not working anywhere in my state. I have seen one offline in the last 4 years. Looking at plugshare I see one site that had an outage for 2 days across all L2 chargers in the last 90 days.

Presumably you've got a database that you just forgot to link that you can reference for your information since you're a fan of correct estimations and data, and not just using your personal anecdotal experience. Because otherwise you're just being pedantic.
The Pentagon's Silicon Valley Problem
Conservatives have very little control or influence over libraries, universities, business HR programs, or the broad media (excluding some notable explicitly conservative outlets).

But yes, the ham fisted attempts by conservative politicians to combat purported progressive censorship...with conservative censorship...is equally bad.
And/or people have started behaving according to the standards set in the show because they assume that everyone is that cynical. This is kind of what worries be about these extremely cynical satires and depictions.

On the other hand, it's not like politics is better in the US which had The West Wing, which is very aspirational and not cynical at all so idk...
From the comments:

>OpenAI are “spying” on ChatGPT sessions the same way that email providers “spy” on your email to filter spam. This sounds like a variation on “Google is reading your email”.

Yeah, but Google is actually reading your emails. They build a profile of everything you buy from emailed receipts, and use that data to target ads at you. It's definitely not about improving the user experience, like a Spam filter accomplishes...
It used to be moderately common acronym back in the 90's and 00's. It felt like a blast from the past seeing it crop up again.
>SVB didn't even take undue risk.

Not hedging in ANY way against interest rates going up was explicitly undue risk. EVERY bet must be hedged. SVB said "well surely the government will never raise rates, so we can lock in money for 10 years to gain a small amount of extra profit", ignoring that their depositors were all highly aligned and literally friends that would act in concert.

You don't have every dollar you own locked up in a 7 year CD right? Because you're smart enough to know liquidity has non-trivial value! SVB purposefully ignored that in search of a slightly higher profit. It was trivially stupid.

>but what SVB was doing wasn't irresponsible with the knowledge they had at the time.
If you're a bank, and you think you've found a magic money glitch that requires no hedging, you are wrong. They weren't doing arbitrage, they were gambling.
Nanoparticles containing natural substance treat visceral leishmaniasis
Yes, that's what their purpose is in cloud applications: temporary high performance storage only.

If you want long term local storage you'll have to reserve an instance host.
There's a manual verification process if you contact support. Obnoxious that it's needed, but works for many people.
…are you maintaining a pre-ARC code base or something? Retain and release shouldn’t be that big of an issue otherwise.
>You can just run a business on delivering a good product to your customers anymore.

Who said Signal was a good product to begin with? And who though adding sticker would improve market share?

Casual users value UX and porting their chat history and VoIP calling vastly more than they value E-2-E encryption. You can't talk about growth when you fail to deliver on these fronts first. That's how Telegram and WhatsApps rule the market.

Adding stickers won't move the userbase needle when you already lost your potential users at the lack of chat history and UX.
That could be. But it's a completely different reason. If you summarize everything as "bottom line", you lose all the valuable information.
>now if I don’t reinstall the app myself or borrow a friends phone to try and reconfigure it then I guess we’re now out of touch forever? It’s not privacy-friendly to replace or hide built in functionality, it’s just an attempt to coerce people and to bolster your user numbers.

yeah, you need to authenticate to delete the account (aka deregister). How else would they verify that you are the owner of the account you want to delete?
They are not usernames, so why do they call them that? They are more like disposable per-conversation identifiers.

"Usernames in Signal do not function like usernames on social media platforms. Signal usernames are not logins or handles that you’ll be known by on the app – they’re simply a quick way to connect without sharing a phone number."

Also, this is not finally the feature Signal users actually want - not having to sign up for Signal with a phone number and using a username instead.

This new "feature" does very little to make signal more secure or private.
I understand that. But if I own something that's only notional, it would seem to be saying that I own something that doesn't exist. Which is impossible.

Obviously I have claimed a right to $200k of future revenue streams Bob is able to provide me with (plus interest).

So ISTM that the 'asset' I would claim to own is Bob himself. I don't own a house or company stock that provides me future revenue streams; I would claim to own a share in a person that provides me with the same. This seems the only logical way to understand the situation.
> (38% oppose it)

No, you're misreading too - see my other comment.
This looks like the DJI can bus protocol used for the accessory ports on at least the DJI RS2. There's some documentation for the headers in the protocol in the DJI RS2 SDK pdf.
> My biggest concern with Rust is the sloppiness around the distinction between a "compiler bug" and a "hole in the type system."

That bug is marked as I-unsound, which means that it introduces a hole in the type system.

And so are all other similar bugs, i.e., your concern seems to be unfounded, since you can actually click on the I-unsound label, and view all current bugs of this kind (and past closed ones as well!).
Study suggests a 'dark mirror' universe within ours where atoms failed to form
Yes, this drove at least two people I know/encouraged to use it off the platform. When people see this they also think that Signal snooped their contacts. Very bad.
I'm not even sure you know what you're talking about :/
Completely ignorant question: what's the issue with Cairo? I know it has had a hard time getting maintained but is there any article or blog talking about how it works or how it doesn't work? I've never used it directly but I'm super curious to know more !
Most macOS email apps do subscription pricing these days. Airmail, Spark, Mimestream… I wonder why that is.
They also buy (at least) ASRock Rack motherboards as well.

Saying that from looking at the dmidecode output from some of our dedicated server currently with them:

Handle 0x0002, DMI type 2, 15 bytes
Base Board Information
Manufacturer: ASRockRack
Product Name: B565D4-V1L