skysight-inc/HackerNews huggingface dataset:
Well, the problem is that the number of annotations is not finite, and often there are many valid signatures that would work for a function. Determining which ones make the whole program typecheck is not a decidable problem for most type systems, and even for those for which it is, this often requires sufficient amounts of global knowledge to make the problem totally intractable in practice.

This is a problem you run into very quickly--for example, Hindley-Milner is only decidable because it will only infer "forall a" in prenex form (so its "most general" annotation is only most-general in that context). Type inference if you allow non-prenex quantification--even very mild non-prenex quantification--is undecidable, despite these being just as easy to typecheck as the prenex versions!

Now, in practice programs are made up finite numbers of terms, so for some of these type systems you could certainly come up with some sort of semidecision procedure by iterating through every possible sequence of type annotations. But as this kind of brute force algorithm will not terminate if it can't find the right set of annotations, and in practice will not terminate within human lifespans even in most cases where the right set of annotations exist, I don't think people would be very happy with such a system.

This is especially true if the only reason to find the annotations was to perform program optimizations, and not to enforce correctness. People are already wholly unwilling to give compilers unlimited amounts of time to do interprocedural analysis, which is mostly done in LLVM and such by just inlining everything. If having effect annotations were actually critical for being able to apply the optimizations from the paper (which, like I said earlier, I don't know that they are), this would pretty much be another instance of a global program rewrite too expensive for an optimizing compiler to perform in practice.
HN doesn't have subs, so consequently doesn't have AMA-specific subs, but HN does have occasional AMAs.
Other people.
Link to submission of Rich's post 4 days ago: https://news.ycombinator.com/item?id=25432248
You wonder why this is not the default behaviour and/or what /f should do.
The plus is Apple hardware has low depreciation so it might worth getting the M1 if you're a dev and appreciate rapid compile times. My webpack build times are less than half the 7700HQ that I was using which makes me way more productive. Also just got a nice Ubuntu VM going last night using vftool. :-)
Particularly with the online versions of Microsoft Office which, while not feature rich, work decently enough to act in lieu of the windows versions.
As the other child of this comment said, I’m not talking about being socially aware. I’m talking about people who are so obnoxious they turn everything into a competition so they can validate their own ego, quite the opposite of being socially aware. Lectures aren’t a competition of who said what.
My idea for a chess variant is that an engine autoplays the first X moves into a sharp, balanced position and this is what is used by all tournament players for the round.

This would avoid excessive opening preparation and steering opening to drawish positions.
I've forgotten when was the last time I asked the question. It became nearly useless. When I have a problem I just use google search salvaging bits and pieces from everywhere. I always find a solution or way around. But yes, there was a time when I could post a question and knew that someone will answer. Now it is a rarity.
> The ego and arrogance of people in tech really shines through here.

You mean, "the ego and arrogance required to bend code and machines to their will and not the other way around". Maybe try to pass that and learn a thing or two.
The abstractionists, philosophers, theoreticists, had their days before too (60s-70s Lisp, 70s-80s Logo for teaching children). So in fact the practicalists would only have ruled in and around the 90s.

If we add all the "everything is a XXX" languages (XXX in [list, string, object, function ...]) and gather all simplificationists together, then they almost always were there, with fluctuant success at being prominent.
> Similarly, a hedge fund employee contributes nothing of tangible value to society.

Thats your opinion, but it's not something that can be assumed to be true. Its equally likely that you just don't have the education and experience to perceive their contributions as valuable. Lots of people say the same thing about professions they don't respect such as artists, educators, police officers, mental health professionals, dog walkers etcetera. It says more about the person holding the opinion than the profession itself.
Yeah - IMO MS should've deprecated the /f-option years ago and emulate it like that.

But that's what you get from disbanding most of your QA-team I guess...
There is a key aspect to take into consideration, price of the cpus and energy. With the price of 2 or 3 ryzen we can buy a complete pc. Anyway really useful info
UK Christmas Cancelled
The same effect would be achieved without showing the numbers though. That's where the addiction comes in.
The traditional vision of a total revolution in which the old regime is destroyed and utopia is born phoenix-like in its ashes is unhelpful. Rational conservatism advises in favour of the stuttered and experimental socialisation of ownership and services. Socialising health, housing and transport, and dispersing wealth throughout society through progressive stock remuneration for workers and/or a fixed ownership stake in an economy-wide index fund at birth, could lead to the gradual emergence of a qualitatively different kind of society.
It was announced in a press conference yesterday that these restrictions would come in at midnight but it was actually 7am the next day.
Consider that an 8MB save file isn't necessarily a problem.

If you have that much space to use, you might not want to just store the attributes of the items, but their entire history, without regard to the size of a history entry, because you can reasonably assume that people aren't going to spend a lifetime crafting items in this game.

You can just start implementing it this way because you speculate that you may find a cool use for it, somewhere way down the line during development, when changing that system would become prohibitive. If you don't find a use for it, the overhead still doesn't matter.
Not sure if rate of change truly matters. In my opinion, microservices make most sense when dealing with multiple team. It's much easier to update core services when everyone depends on it through the network, rather than requiring people to redeploy their stuff. If you're a single team operation, it's not really a problem if all your stuff runs in a single process. It may even benefit you in terms of performance and scalability, to be honest.
I think that's like asking why nine women can't make a baby in a month.

Who defines best? Why not give all the resources to one teacher?
> almost equal to the real deal

Here is our disagreement. For my eyes DLSS is unacceptably blurry (even in ”Quality” mode). You can look at it - ok, but it's only one of the opinions. You can spend 1 minute in google to find quite contrary opinions. Whole your long comment is based on the idea that upscaling is an optimization - you are forgetting that upscaling is a tradeoff.

My main complaint about DLSS ”hype” marketing is exactly about this: do not promise ”incredible quality” when under the hood it's just a pity upscaling. Some HW is not good enough, some games are not optimized enough - it's fair and it's okay, there are things to sacrifice, there are workarounds. Just don't lie.
Call me stupid, but I don't quite understand the technicalities of that scheme.

1. They bought via TAS, but that's a promise to buy futures, no? So it's a promise on a promise?

2. They sold futures over the course of the day.

3. With a negative price, they bought futures again at the end of the day.

Where did they get the futures from, they sold in point 2? Seems to me they did not have them yet, so they could only sell promises of promises again, so why was someone buying at that moment's price instead of buying at the closing price?
No, Windows regularly changes the index order and "learns" what you commonly type and what you click for which phrase.

This leads to absurd situations where the index show different programs for each letter.

For example on my machine:

Up > Windows Update first

Upd > Lenovo System Update first

Upda > Windows Update first

Update > Lenovo System Update is the only result

When I search for Visual Studio, only a few programs are found. I made a shortcut for the Visual Studio Command prompt because Windows search regularly threw it out of the results. One day it's there, the next it's gone. Horrible UX.
Very interesting comment. I mean you see some of the same things with companies like Tesla also pushing vertical integration.

A lot of the examples you see are similar to what you talk about. You can cut down on the friction between different parts.

I remember an example of software controlling a blinking icon on the dashboard, where this was a 10 minute code change for Tesla but a 2-3 month update cycle for a traditional automaker due to the dashboard hardware coming from a supplier.
So, since some will choose to continue to break the law, we should just give up, do away with the laws, and make it a free for all?

That makes absolutely no sense at all.
But the question was where to turn for specific questions. Very much like newsgroups.
Only if you think inciting hate and violence toward successful people is normal and not despicable in the same way as hating people for their skin color.
> otherwise, why are you replying to strangers that you are unlikely to ever meet or speak to again?

The act of writing out your thoughts gives them added clarity. This holds for long(er)-form comment-based sites such as HN and Reddit, not so much for FB and Twitter.
Other people recommended this to me when I was building a tiny home server, but it’s really not in the same league as a Raspberry Pi, 2-bay NAS or i3 NUC. It’s a real server, which is 4 times the size and can draw 10 times as much power.
Figure 2 seems to show an extremely large number of mutations suddenly appearing in the new strain, effectively 1 year's worth of evolution in one go. The paper hypothesises that this could possibly happen in a single immunocompromised patient which carries the virus for months.
I don't even know what Matrix is :)

So, essentially everything is a chat these days?
Freenode (IRC) can still be very good for a lot of topics and technologies, but it's slowly withering away now.

Discord is where everyone is, but it's so awful just trying to ask a question I almost never get anything out of it. You ask a question and people talk over you and ignore it because it's too "hard".

The only community on Discord I've found that's actually helpful is the Rust server. I love Rust.
Yes, if the plan to scrap SL8 is reversed!
> the loss from death is felt by loved ones regardless and is approximately the same whether someone dies this month, next month or next year.

Again, who are you to make such assumptions? You don't know the ongoings of other peoples' lives or how they feel.
Learning for others to let them see what kinds of problems can happen. To demonstrate they are competent and can diagnose and fix a problem quickly. Sometimes to explain why the downtime took that amount of time.

For example Interactive Brokers was down completely for almost the whole trading session and they just said that they are sorry and that it was their database vendor who messed up. No more details, nothing. Just "we take the quality and resiliency of our systems very seriously".
That reflects my experience.

But I can't really believe it to be honest :)
I don't think it's anything human specific, any caged animal needs something to occupy its attention and stimulate the senses otherwise it will suffer the huge stress and with time start developing health issues - whether it's a mammal or bird or even a fish. It seems much more like an underlying neurological limitation of some kind, than just some high-level philosophical/existentialistic issue specific to us humans.
Raspberry Pi Server Mark III
They are cheap right now!
Context: since the breakup of the “United” States is already ongoing soon us-dollar denominated debt will no longer be honored. Regions within the US will issue their own local currencies which will send the US federal reserve notes “fun bucks” into hyperinflation. I predict an easy 100,000,000$ per bitcoin.
Furthermore, attempts of banning btc and cryptos will not only not stop them, it will do the opposite: People will be fleeing into cryptocurrencies even more!
Remember I told you this so you can start regretting not buying already today! Be ahead of the curve :D
Secret to a (semi)happy life with HP - Identify the hardware and install drivers directly from the manufacturer (or any other company, like Lenovo heh) and do not install any HP software, ever.
The modern world is also set up in such a way* to preclude such activity because we are surrounded by stimuli and activity that distracts people and gives them things to do and think about. I noticed this when I became more interested in quiet contemplation. Its not easy for everyone to allocate uninterrupted time for such activity.

* the modern world emergently selects for these interruptions, I'm not suggesting an anti-mindfulness conspiracy. Its why Buddha is sometimes depicted with lions and tigers. The legend is that when a meditating practitioner is near to enlightenment, he or she will hallucinate ferocious beasts and those are illusions that come about as he nears enlightenment in order to distract him or her.
Take a look at yalsat: http://fmv.jku.at/yalsat/

Unpack the "v" version, look at yals.c. You will see there the following:

#define PUSH(S,E) \
do { \
if (FULL(S)) ENLARGE (S); \
*(S).top++ = (E); \
} while (0)

#define POP(S) \
(assert (!EMPTY (S)), *--(S).top)

#define TOP(S) \
(assert (!EMPTY (S)), (S).top[-1])

#define PEEK(S,P) \
(assert ((P) < COUNT(S)), (S).start[(P)])

#define POKE(S,P,E) \
do { assert ((P) < COUNT(S)); (S).start[(P)] = (E); } while (0)

These are definitions for typed dynamic arrays using C macros. Very useful.

As you can see, there's a couple of assert()'s before actual computation of the address to fetch.

I hope I proved you wrong.
How did you know that XorNot replied to your previous comment?

Notifications, addictive design and gamification are really bad practices that we should try to avoid - but the underlying drug of social media is that someone noticed and reacted to your content, and HN provides that just like Facebook or Twitter.
why is this on hacker news again?
"it can see through buildings"

Perhaps you missed the point of the article?

While it is true that some implementations of SAR can image through walls at short distances (tens of meters), SAR is a very broad term and those systems are very different from the imaging systems in the article.
Maybe it’s more that we think that because humans have a higher layer of thought, we should be able to deal with it?
doesnt make it not a necessity xP
Yeah, Pretty much every community has segmented off to their own Slack/Discord channels. :-(

I really wish forums were still popular, I love the elixir forums for finding info but discourse is such a mess to use (when Googling something, I want to ctrl+f with my browser, thanks..).
> an apparent desire to score Internet points.

Like in a social media you mean?.. :)

I’m not sure there are « good » and « bad » platforms. It’s not about the platform, it’s about our usage.
And it is awful. See my comment about yalsat's use of asserts() above.
What the hell. How do you suppose energy, transportation, raw materials, fertilizer, paved roads, markets for distribution, etc. would materialize to allow for that 1% agriculture worker population to feed anyone?
Notebookfancontrol works with HP ZBooks G1-G2 (same controller as the Elitebook 8760w), you can use that. But it won't fix their terrible cooling system.
A CAN protocol decoder for Sigrok
To let you better understand me: I have vomiting calls when I remember how TAA+DLSS image looks. I just can't force myself to use it, it's like torture. FPS drop or aliasing are much smaller problems.
My system blew a RAM chip after 6 years. Changed the RAM and it's all good again.

We sometimes fry CPUs, memory controllers or RAM at office. Even a well cooled component has a lifetime and eventually gives up.
Is this website trustworthy?
> One thing that surprised me as a latecomer to software development coming from a visual arts background is how much choice of technology and working practices are purely fashion driven.

It's not “purely fashion driven”, it's just that (1) as solutions radiate out from their point of origin understanding of the problem, how the solution addresses it, and what caveats the user should be aware of gets (on average) foggier, and definitely more unequally distributed, and (2) there are real network effects in software development where being popular genuinely makes things better, all other things being equal (from a business perspective, a technology for which you can get people that are proficient and comfortable is better than one you can't, other factors being equal.)
Google acquisition of Fitbit approved by EU
i think you greatly misunderstand the size of some telco's and Infrastructure providers.

also, some manufacturing giants are truly enormous..

samsung for instance makes everything from smartphones to artillery installations..

same goes for hyundai, mitsubishi etc..
Presumably you intended outage, but outrage also fits and is poetic in its own manner.
Given the rates, though, it basically seems worth the risk if the alternative is to lose a year of say, your 20's. You have to weigh up the expectation costs in quality-adjusted life years, with associated error bars.
Windows 10 has a lot of issues on the ZBook G1/G2. It's even worse when installed under UEFI, so it could be HP's shoddy firmware. Windows 7 is rock stable, though.
> An increase in recorded cases can be attributed to an increase in infection rate only when the increase is not accompanied by more testing

I'm not sure it's that simple. Doesn't the infection rate have an effect on the demand for tests?

I live in Sydney near a testing center. It was empty 2 weeks ago when I drove past, but now that there is a covid outbreak the queue snakes around the block.
> Sitting in silence for somebody else is not the same as sitting in silence.

I don’t see the difference? If some researcher asks me between sitting in silenceand getting an electric shock, I know what I’d pick.
5800x would've been a better comparison.
D is featureful and harmonious but it's inevitably complex. With Go, you learn the grammar in one or two days and from then on almost all you'll ever need is the library docs. It has a Scheme-like quality in that aspect, but it combines that with a usual procedural imperative approach and a standard library that has more than call-cc.

A lot of languages have a lot of "syntactic sugar" but actually what's important is more invisible basics: good GC, good concurrency primitives, good method dispatch, good and comprehensive standard library, supportive compiler, etc. Go has a few warts (the whole select / <-chan syntax, god-mode functions like `make', the interface{} problem, the whole go mod / dep kerfuffle), but it does tick all those boxes.

Ofc all that modulo the Google factor, but then there's Dart...
>if the M1 ran at the same speed as AMD's processors, the M1 would be faster. That's what Apple implied with the "world's fastest core

That's a ridiculous claim. If the AMD cpu ran at 10Gz it would be even faster. Neither does because neither CPU is designed to run at those frequencies.

The M1 is an amazing CPU and it is extremely fast given its power consumption and the frequency it runs at, but a lot of the claims that run around are straight out of Apple Reality Distortion Field.
The best alternative IMHO is to just rent machines in DCs, it's cheap and powerful and you don't have to manage the hardware: https://oneprovider.com/dedicated-servers-in-north-america
Good examples and yes, that makes the utility clear. But it's still zero-sum in dollar terms. So, if there is a big story about "The boys who made 600 million dollars with oil futures contracts", that is strictly in terms of dollar value and their gain (a good trade), is someone else's loss. That is what I'm talking about in response to my parent poster, who claimed:

> "There are limited resources and society have decided that these people deserve a big chunk of that resources."

As if society decided collectively to pay an unfair amount to a good/lucky trader. They took it from other market participants and not from average joe. My intention with my initial comment was to point out that it simply doesn't matter if one market participant has 600 million more than before, because others in the market lost it.
Perhaps even more painful is when you write the detailed answer, press submit, only to find that it’s been deleted as you were answering!
You're supposed to encapsulate those in reusable roles, see an example methodology here: https://yourlabs.org/posts/2020-02-08-bigsudo-extreme-devops...

And since we have containers it's become really much easier actually ... Deploy a Traefik container which will watch dockerd socket and self-configure HTTPS and all when your other script starts container. Really, it's much easier than back in the days: https://github.com/jpic/bashworks/tree/master/vps
Recreatiewoning te koop aan het water
> how different is that ... I use it daily and don't know what half of them do.

knowing what the other half does is usually a couple clicks away on the web, a 'man ...' away in the terminal, sources are usually available at a similar distance, and most of these services can be stopped and (forever?) disabled with a 'systemctl stop/disable ...' (you might even go the extra step and apt remove them). Trimming down stuff that you know you don't need is a pleasure (assuming you know what you're doing), and the end result is a leaner, faster system. Eg. after I installed AnyDesk, I didn't like that it started with the system (I'm paranoid, and I'm only using it occasionally), so I systemctl disabled it. This doesn't stop me from using it when I need (that is, to assist others. In the rare events when I need remote access to my system, I just use a reverse SSH tunnel, which is more practical for me)
I gave up and installed it on some machines. Feels like a damn upgrade! Unified, customizable UI, better performance, better Search, local accounts, smaller footprint :D
> if I reach this state, will it be revealed to me why there is something rather than nothing?

Contemplation of dependent origination is a meditative practice.
I don't understand the point you're trying to make and it doesn't appear to have any relevance to this court case.

In England if you're 16 or older you can consent to get any medical treatment. If you're 18 and older you can decline any medical treatment if you're competent to do so. If you're 16 or 17 you cannot decline life-saving medical treatment, the courts will decide.

If you're under 16 your healthcare team will test to see if you're Gillick Competent. If you are Gillick Competent you can consent to any medical treatment. Doctors will always try to get the parents involved, and will always try to get agreement of the parents, but sometimes that's not possible and in those cases they can use the child's consent.

However, for treatment with puberty blockers there was a different protocol: the child, and the parents, and two different healthcare teams had to all agree that PBs were the right thing and that the child had capacity to make this choice.

This court case is saying that this is not sufficient, and that even if the parents and children and treatment teams all agree the courts still need to rule.