skysight-inc/HackerNews huggingface dataset:
>So why does Austral use linear types, not affine types?

Affine types give a safety guarantee: you can't use it more than once. The bad thing (double free, use after free) does not happen.

Linear types give that same safety guarantee, plus a liveness guarantee: you must use it, possibly in some nontrivial way.

A function that takes an affine value as an argument is enforcing a contract about the past behaviour of the caller, leading up to the call: having the affine value is proof that certain other functions were called in the right way to produce it. But returning an affine value gives you weaker guarantees about future behaviour, because you can use it zero times. At most you know that it will get Dropped. But maybe you want to enforce more interesting things than the Drop trait can express. Returning a linear value lets you do this: maybe the linear Foo you return can only be disposed of in conjunction with a linear Bar, like

fn consume(x: Foo, y: Bar) -> Baz

And perhaps now Baz itself is linear, which has to be consumed in some other way ... at any rate, returning a linear value is proof that in the future, the program will advance through a particular state machine of function calls, where the states and transitions are defined by the available signatures. If Foo is linear but there's no simple function like

fn drop(x: Foo) -> Unit

then buckle in, the compiler says you're not getting off the ride until it's over.
I think you're missing my point. I'm not making a moral argument at all but a factual one. The Romans sacked Greece and killed Archimedes. All you have to do is look at the rate of mathematical and technological progress before and after Rome to see that Rome was a dark age. Before Rome we have the Pythagorean theorem, Euclid's Elements, Aristotle and many others. After Rome you have Kitab al-Jabr and later European Universities which were founded on Greek knowledge which had until then been discarded by the Romans.
In terms of actual numbers in the physical world, sure, but the usual kind of floating point numbers don't have a concept of precision, and you're getting all 23 bits whether you want them or not.

Humans know the difference between "1.0" and "1.0000" but they're the same to the computer.
Almost cute, but I don't give a flying fuck about my HN points.

I also haven't counted as "youth" in a long time.
Yes, this is precisely the intuition I have. The oscillator is running through a waveform with a speed corresponding to its frequency. Frequency modulation speeds it up or slows it down. At negative frequency it goes backwards. With symmetric TZFM it spends as much time going backwards as going forwards, and does so in audio rate giving a folding of the modulation signal.
Sure. They need the info for handling inheritance, to handle disputes around divorces and also for rights around medical information and decision making when one is incapacitated.

Probably there are other reasons too.
Yes one needs another channel.

No, one can not just close the channel, because it is the sending end (which can close the channel) which is blocked, and the desire is to tear down the graph upon which its send is blocked.

Certainly in Go, if one closes the channel upon which the sender is blocked, then it panics due to sending on a closed channel. It doesn't matter if one closes the channel before the send, or closes from another goroutine during the blocked send, the sender will still panic.

So the only way to safely unblock the sender, is for its blocking send to be part of a select containing a read channel. Then when woken up, the send channel can be closed.
What difference does it make what happens outside of our reality? Omniscience and omnipotence need not be limited to our reality, but they do have to include our reality, and that it all that is required to make them logically incompatible.
The attributes in the tiling pattern are for isolating the middle pixel in every cell. Consider a 5x5 cell. The middle pixel would be x=2, y=2. The width and height being 1 is so that we only isolate a single pixel.

The reason for isolating the middle pixel is because it is the only pixel in the cell that contains the average color of the cell (after box blurring). Once isolated, we can use feMorphology to dilate this pixel so that it fills the cell.

Here is a React version to more clearly demonstrate the relationship between cell size and all of the attributes: https://codepen.io/tommyquant/pen/yLwyoGO
That looks totally different. In the case of the Python code it is literally executing it by calling out to CPython.
I don't think the Turing test has successfully been passed, has it? I believe even Ray Kurzweil still predicts 2029, despite this year's advancements.
I have a very deep appreciation for simpler automotive components. Please don't take anything I'm saying as discounting those very real benefits.

What I'm saying is that no practical amount of testing and verification can eliminate the need for updates. Let me give some practical examples I've seen: a bug in the silicon vendor BSP that prevented programs from accessing half of the physical memory. In another case the vendor provided optimistic battery curves that caused safety issues in certain conditions, so changes were needed after units were already in the field. In another case, a factory was taking the stuff we were giving them and using it to build weird Frankenstein images from various binary blobs, so nothing that had been produced for those weeks corresponded to anything that had been tested.
> Avoid sftp and use rsync instead

I should have explored rsync better. I asked chatgpt some use cases and it made seem to be a bad fit because I needed to also delete some files on the destination machine. My prompt fu was probably a bit bad at the time.

> Avoid passwords and use keys instead .

The vendor only provides password authentication in this case

> If you really have to, there's always sshpass.

I´ve tried it, but sftp, when running under a cron script, detects that it is not running in interactive mode and does not issue the password prompt. The problem might have been caused by the TERM environment variable not being set as another reader suggested.

> And ssh -t to allocate a tty even if you are running without one. But this is seldom really necessary

I've used -o RequestTTY=force, but it also didn't work. Granted, it was close to 4 am and I might have missed a key aspect.

> first try harder do it the easy way.

Paramiko endep up being easier once I understood how to use the proxy command to interact with the company's http proxy.
Doesn't mean anything, honestly. Strava is also donation based if you think hard enough.
The key word of my statement is "closed". If none of your partners have an STI, and none of you are promiscuous, your risk is low.

That said: It's important to know your status, even if you're monogamous.
>can you back up your statement with facts?

Huh? My statement is the facts. What are you talking about?
They gave it away because of the consent decree they were operating under. Until the consent decree, IBM preferred to rent/lease their computers to you, not sell them.
Bezos and Zuck are playing all the cards of wealth.

They are demonstrating (to themselves as much as others) that they can spend enormous amounts of effort and cognition on building wealth, but still have time, creative spirit, and social finesse required to do anything else, go on any adventure, hang out with anyone.

Elite fitness is not a poor or overworked person's game. Neither is hanging out with subcultures, which has nothing to do with actually being in a subculture. Etc.
The main thing I want from a language with a borrow checker is faster compilation time than Rust's.
Polyamory requires communication and consent, a healthy polycule is no different than a healthy monogamous relationship when it comes to the expectation that your partner(s) will care for their sexual health and make decisions with you in mind. In one way you are correct, more people involved means an increased possibility that someone will be dishonest or take risks that will expose you. However, in the same way that bringing an STD into a monogamous relationship has consequences so would bringing an STD into a polyamorous relationship. You risk damaging your standing in the relationship.
Fortunately, they are adding massive amounts of battery capacity to compensate.

Gridstatus.io is a great place to watch it in action: https://www.gridstatus.io/home
I hope your Christmas has been a good one.

I am curious, what exactly happened to your wife? What is sodium level restoration and why did it have such an impact?

I understand if you don’t want to go into it.
Very cool project, will certainly dig deeper!

If you need code for u2f/fido2 I hope you can find something useful from our solokeys (v1 for C, v2 for rust).
https://github.com/solokeys

P.S: the usbc plug looks a bit brittle (been there). not sure about your plans to scale production but you prob want to address that sooner rather than later :)
Some ocr no?
Nah, this happens only once every 10 years. Most of the time it's quite normal here.
I heard bad things about RPM before, but that was long ago. To be honest, I think by 2006 most issues were already over, and YUM was mostly on par with APT. Don't know what might happen in your specific case.
Par for the course Exchange/Outlook workarounds. My one and only awful experience working with Exchange recently would make me not surprised if this is still the best way to do this. Exchange feels like a flakey pre-alpha version of MongoDB - putting the "eventually" in "eventually consistent" with a real love affair with "sorry, just one at a time" UX.
Yes, I agree. I understand why RH splits Fedora and CentOS Stream.
I live in city and i do not have space to do it. I do not think draing oil is legal on city center. Or wise for that matter. So i drive for oil change, even though i know how to so it
What about including a red light filter?
For that game specifically recently i feel more fun in Turbo Mode instead of normal. Even if you lose you only "waste" half of the time and you can win twice as much in the same amount of time. I know a friend who prefer Valorant over Overwatch solely because games there lasts half as much time too.
I'm running a Model 3 with 2023.44.39 on it. In the Service menu there are a variety of exactly the things you mentioned.

In the top right corner there is "Tire Service Mileage" with an estimate of when you should service your tires. There is a reset link under that, which links into the "Wheel and Tire" service tab with more maintenance options.

There are alerts for nearly all of the things you mentioned: https://www.tesla.com/ownersmanual/model3/en_us/GUID-E95DAAD...

Regarding the tire wear, the car is heavy with instant torque. I've had to replace my tires quite a few times, but it's the only thing that has needed much servicing for me in the past three years. I'd expect that from a new car though, and I don't have much confidence in it's longevity.
Pop is X, they'll move to Wayland soon.

I am not sure what happened in the Ubuntu case, but maybe you guys should try Alma, RHEL or CentOS?

If Pop works well enough, power to you! I just believe it's not a standard in the industry.
Yet another reminder that social media is nothing but a social contagion on our society. Do not allow your kids on social media if you care for their long-term mental health!
i said nothing about race.

the correlation between wealth and education is supported by plenty of evidence. but that isn't even the strongest argument. the mere fact that people who can't afford to pay for an ad free experience are forced to endure ads already is a problem in itself, even if their level of education is the same as that of those who can afford it.

it is just that the likelihood of being less educated rises with lower income, and that only exacerbates the negative effect of ads, but even without that the effect is bad enough because ads motivate people to spend money on things they don't need which has a worse negative effect if you are poor.
To the opposite, the tax should kick in if the operation is large enough. If your revenue from the game exceeds $10M, you should do some minimal continuity work. If it exceeds $100M, you should do much more serious continuity work.
Car navigation unit for Japan was great (still great for navigation functionality), so perhaps people don't need CarPlay than other countries where car navi unit is poor. Though now most companies sell their car with "display audio" unit with CarPlay support.
Why should we care where money comes from so long as it is legal and so long as there is not a national security concern? Should there be any preference for a private french citizen's money as compared to a private chinese citizen's? Isn't that one of the things that makes this country better than places like China which place all sorts of arbitrary restrictions on who can buy certain things there? I agree that the opaqueness of LLCs can be a problem but the fact we have such hysteria about a random student just because he's chinese smacks of racism. Those who are truly concerned about the malign influence that comes along with chinese money would do well to vote with their wallets and not support businesses that end up sending work to china in exchange for money (That and holding accountable the politicians who allowed china to exploit the system of world trade while not playing by the rules). That is your prerogative but the general fungibility of money in a ostensibly free-market system is a virtue that should be preserved.
What's wrong with using a sane subset of the spec aka PDF/A?
It was ore complicated, because to import things there were a lot of rules and paperwork to get an authorization, so many things were already using the black market dollar. So some items will have a big jump and others a medium jump. (And a few a small jump.)
No. It is a computer program which uses statistics to generate plausible text. It does not do any form of reasoning, at all, childlike or otherwise.
So. Couple of things. That is 800k tc and not base. Id say 250-300k based. But let us go with this being fully liquid and ignore vesting, exit event etc.

Half of that is tax - so 400k. A (crappy?) house in the bay area is 2-3M (sam I thought was pretty adamant about RTO). Property tax is 1.25% (so about 40k a year?). Currently at 5% we are looking at 150k a year on mortgage interest alone.

Private schooling is around 2-4k per kid (after tax). But let us say you are public schooling.

Assume you already have a car and no desire for fancy cars.

Assume you hardly eat out and don't go on vacations.

Assuming you have no other expenses id say yeah it is pretty easy to spend 800k!
Which is pretty fantastic, all things considered. You pay 20 cents for 1,700 kilograms of safe, drinkable water, which is enough to comfortably last 500 days for one person.
Meta and YouTube seem to have started to shadowban pro-Palestine sentiment materials.
They do, the parent is either on an older tesla software platform or they haven't looked at settings > service and have ignored the alerts when they occur.
My reading was that it is simpler to implement..
> But CDOS/286 depended on a feature of the development versions of the 80286 which Intel removed from the final shipping version. So, when IBM launched the first 286 PC, CDOS didn't work.

What feature was that?
Maybe you are forgetting software industry is pretty inmature. Thats why we struggle with standards, quality, hell even job description (engineer is in certain countries regulated job name). Not mentioning interoperabilty, long term support (ics/scada anyone) or security. This is still wild wild west in 1850+. Civilization is pushing but…
Calling a drunk person legless is hardly an euphemism.
The story doesn't provide any information about where the new proposed search area is in relation to areas already search. That seems like it should be near the lead.

A bit more detail here: https://theaviationist.com/2023/09/15/new-theory-mh-370/ but it still lacks a really clear illustration of where they want to search compared to where has already been searched.
To add to this, where I live you can basically only change your own oil if you own your home as nearly every lease will disallow it if you’re renting.
This is really neat!

We've been working on some research to formally verify the hardware/software of such devices [1, 2]. Neat how there are so many shared ideas: we also use a PicoRV32, run on an iCE40 FPGA, use UART for communication to/from the PicoRV32 to keep the security-critical part of the hardware simple, and use a separate MCU to convert between USB and UART.

Interesting decision to make the device stateless. Given that the application keys are generated by combining the UDS, USS, and the hash of the application [3], it seems this rules out software updates? Was this an intentional tradeoff, to have a sort of "forward security"?

In an earlier project I worked on [4], we had run into a similar issue (no space for this in the write-up though); there, we ended up using the following approach: applications are _signed_ by the developer (who can use any keypair they generate), the signature is checked at application load time, and the application-specific key is derived using the hash of the developer's public key instead of the hash of the application. This does have the downside that if the developer is compromised, an adversary can use this to sign a malicious application that can leak the key.

[1]: https://github.com/anishathalye/knox-hsm
[2]: https://pdos.csail.mit.edu/papers/knox:osdi22.pdf
[3]: https://tillitis.se/blog/2023/03/31/on-tkey-key-generation/
[4]: https://pdos.csail.mit.edu/papers/notary:sosp19.pdf
Ok, I see, thanks. I will therefore add a SELECT procedure. The interface would look like in SEND and RECEIVE, but I could add an integer as the first parameter for the number of in channels, then one could first list all in and then all out channels. What do you think?

Is there an added value for a non-blocking variang (i.e. like default in the Go select statement)? I could do that e.g. with a boolean parameter.

EDIT: so far my SEND would not panic if the channel closes or is already closed, but just return 0; I thought that there could be yet another process instead of a cancel channel and this process could close channels even if another process is blocked on it, but maybe the SELECT solution would be more elegant (not sure though).

EDIT2: or how about a SELECT procedure with just the in channels first (instead of the number), then a boolean (true..non blocking), and then the out channels?
pdftk has an issue where it corrupts pdfs occasionally in modern windows server versions. Had a weird bug in a random helper service at work that we narrowed down to pdftk mangling documents sometimes. Never looked much into it since it was only a couple of hours to replace it with another tool, and haven't had issues since. I think all we used it for was merging and adding watermark text.
You're operating under the incorrect assumption that a polyamorous relationship links all partners involved directly. I believe it's more common in polyamorous relationships that each individual in the relationship has their own partner(s). For instance A has partners B and C, but B and C are aware of each other but not interested in being partners. B and C may also have their own individual partner(s), and so on. I believe it's a less common occurrence that all partners are partnered with one-another. (One example of that might be a "thruple")
OMFG I didn’t realize that guy could get even more insufferable.
Sorry for bringing you a bad experience.

I don't speak Turkish, but I will try it again to ensure its accuracy.
I worked at another retail site. We were also looking at doing this with SEO purposes. Whatever they were using to generate the articles was picked up by Google I assume because those pages were never indexed. It was also a secret from the ten person team they had turning out copy for seo blog articles.

The crazy thing was that whole section of the site was getting maybe a thousand views per hour on a site that got seven figure hits a day. Most employees didn't even realize it existed. The amount of money burned on it attempting to chase SEO was crazy.
I don’t know why, but I always default to reading the word ‘live’ as that word that is the opposite of ‘die’. So I expected the linked article to be about some sort of residency/guest program at a jail!

I guess it just shows how few live performances I attend.
Commented this earlier up the thread, in case you didn't see it:
https://news.ycombinator.com/item?id=38765243

And it's a fair question; I'd guess you were met with downvotes because so much Pronoun Discussion is made in bad faith, but I don't get the sense you were. So I wish more people would use these moments as an opportunity to explain their points of view!

Part of what I mentioned in that other comment is the sparse availability of good gender-neutral words in English ("spouse" is a good one I should have mentioned—great on its own but sadly not applicable to the unmarried!), and something I didn't mention but should have is that it's not uncommon for people to use they/them pronouns while still identifying as male or female to some extent, whether by choice or upbringing or simply to make things convenient when signing paperwork.

You may have heard of the Kinsey scale for sexual preference; there's no widely accepted equivalent for gender identity, but in some cases it offers a similarly useful mental model. One person smack in the middle of "equally (or neither) male nor female" might swear off words like boyfriend and wife entirely, but another person who falls slightly off to the side into the "somewhat but not entirely /exclusively male" camp might use a mix of masculine and neutral terms, but probably not many feminine terms, if any. And then someone who falls into the "entirely and exclusively male" side of the chart would almost certainly object to being called someone's wife, lol.
Some things shouldn’t depend on market incentive. This is a fundamental problem with technology, which by and large is unaware of any other technology than itself. This makes it burdensome to use several devices together in a useful manner. Going forward, I don’t think anyone would dispute there’s going to be more tech around. Maybe it’s time for something truly progressive, and mandate this?

I don’t think the market alone would create a unified rail or telephone network. Yet that has brought immense benefits for society at large, and vendors still manage to capitalise on top of the plumbing.
There are cheap lawyers. Small claims court is almost free
Fed court rules for retired engineer told by state to not talk about math
WILMINGTON, N.C. (WECT) - Chief Judge Richard Myers ruled on Wednesday that the state violated the First Amendment when it told retired engineer Wayne Nutt to stop expressing his opinions about engineering without a state license
Glad you are better. I've suffered from depression since I was in elementary school and medicated since 1995-ish. Meds have changed over time but overall life after is ever so much better than life before.

Major life change happened recently (mom aging mom moved in with me, husband, and dogs) and my saving grace is creating, quilts mostly. I'm reallllly leaning into sewing at 4am!

I appreciate your perspective. Thanks for sharing.