skysight-inc/HackerNews huggingface dataset:
While this is true, the current state of this particular game is not good enough even for a pre-ready launch. The models that are just blobs and take ages to render in, the constant crashes on all platforms in the opening missions and a number of other bugs have made the game close to unplayable. I do hope they manage to bring the game to a workable state though because it's clearly fantastic from a story, environment and gameplay standpoint.
> Well, the height of the document is defined by the height of all of its contents. So let’s render its contents and find the height. But wait – the thing we are trying to render in the centre is part of the contents, so we’ve got ourselves into an infinite loop.

What? Where did the loop come into it? The height of the document is defined by the height of its contents. The thing we're putting in the document is part of the contents. So what? You can render it and measure its height without needing to lay out the document. There is no self-reference or circular reference anywhere in the "problem" you've described. The height of the element is an input into the centering problem, but it's not also an output of the centering problem. The positioning of the element is an output of the centering problem, but it's not an input into it.
Here is Dijkstra himself answering the charge via EWD288 - "Concern for Correctness as a Guiding Principle for Program Composition".

Finally, a word or two about a wide-spread superstition, viz. that correctness proofs can only be given if you know exactly what your program has to do, that in real life it is often not completely known what the program has to do and that, therefore, in real life correctness proofs are impractical. The fallacy in this argument is to be found in the confusion between "exact" and "complete": although the program requirements may still be "incomplete", a certain number of broad characteristics will be "exactly" known. The abstract program can see to it that these broad specifications are exactly met, while more detailed aspects of the problem specification are catered for in the lower levels. In the step-wise approach it is suggested that even in the case of a well-defined task, certain aspects of the given problem statement are ignored at the beginning. This means that the programmer does not regard the given task as an isolated thing to be done, but is invited to view the task as a member of a whole family; he is invited to make the suitable generalizations of the given problem statement. By successively adding more detail in the lower levels he eventually pins his program down to a solution for the given problem.

You can also find some relevant discussion (including my posts) at https://news.ycombinator.com/item?id=24942671

The point is that by using a top-down and step-wise refinement methodology one can show "correctness" at whatever level of granularity is acceptable.
Dictionary.com releases a list of the words it wants people to stop using
> I'd argue that diffs in the presence of renames aren't natural, and git handles them better than other version control systems.

Maybe this is because I designed that part in Pijul, but I disagree. Pijul has renames commute with other types of edits, and renames are faithfully modeled in Pijul patches, not just "guessed" after the fact based on contents.
Amazon sellers keep complaining, that more and more users only bother to write reviews when something is wrong with the product, but not when everything is OK.

Well, I wrote three 5 star reviews during the last year, and I put a real effort into them, giving others tips how to avoid common mistakes when using the product, and correcting common misconceptions. I could do this, because I know this class of devices well.

The outcome was in every case, that I got a message back, that Amazon has to check and approve the reviews, which never happened.
It's obvious, that they either don't want thorough reviews, even if they are 5 star, or are just not able to understand them.

After that, I understandably stopped to write reviews.
In fact, I deleted my Amazon account, because I had some cases of defective products and dubious dealers, in which Amazon wasn't helpful at all, and that seems to become more and more common recently.
> I'm wondering how it would have looked if they had just postponed the launch.

For the 3rd time? Not well, I've actually got back into console gaming after a near 10 year hiatus specifically for 2077, and to be honest after beating Watchdogs Legion and dealing with all of those bugs (also delayed online play due to bugs across all platforms) I'm actually ok just watching Youtube videos of people playing 2077 in HD rather than buy it myself.

I just wished most would not talk when playing, these youtube personalities are completely intolerable. And while I get that very embellished behavior is critical to their revenue stream, it's appeal is completely lost on and I'm perplexed by who would sit and listen to this for the 8+ hours they play for without wanting to jump out of a window head-first into concrete. Let alone pay them for the experience.

In a way it reminds me of that annoying friend we all had as kids and tolerated because his parents have him all the latest and greatest toys and games and junk food; how these people (Twitch specifically) managed to monetize this awful experience confuses the hell out of me when you realize the roles have been reversed.

I've always frequented arcades since I was a kid and now into adulthood, and nothing clears a room faster than an overly dramatic, and annoying player that wants nothing more than to seek attention.

With that said, this PR disaster is just par for the course for 2020, so maybe with a proper series of patches/updates it'll be all forgotten? I'll likely pick it up when its enabled multiplayer Online play and on discount, assuming they ever fix it on PS4 Pro.
True, having to show it definitely adds some social pressure to make it a good review. But it's still a little more ethical than explicitly asking for 5-star reviews
There's a difference between a game underdelivering content and a game continuously crashing.
Reposts of older content happens quite frequently on HN.
Hackers targeted US nuclear weapons agency
Show HN: Listudy – Libre Chess Opening/Tactics/Endgame Training
I agree in spirit, but a community that isn’t growing is probably dead.
i7-10k 1080Ti 32 Gb RAM latest nVidia drivers. Not a single crash since launch. Been playing many hours a day. I saw a few glitches, but overall extremely stable and bug-free considering the amount of detail on screen. It's too bad they weren't able to optimize for older gear on launch.
I don't use Safari but there are possibly 3 issues behind this:

- Twitter having a broken service worker (saw this a lot on Twitter discussions in last weeks)

- Safari perhaps lowering the JS execution priority in background tabs

- Twitter trying to be nice and only exec JS while their page is in foreground, and hitting a bug in Safari regarding visibilitychange callback not firing (which is fixed in Safari 14 by the way)
This is just rich. I don’t know what’s funnier: Kazakhstan’s overt, bush league attempt at surveillance using certificates, or the virtue signaling by the Big N’s who surveil us daily at the behest of Uncle Sam.
oh, i see. in large files you may want to see multiple sections to compare them. i usually use less for that, view (which is readonly vi) also works well. and of course i realize that opening multiple tmux views with the same window doesn't even help with that.
And the purposes for which those logs are being used.
I was going to move to the Radeon side of things. Perhaps that'll help... assuming I can get one!
I was suggesting it as an alternative to offering a discount for 5-star reviews, just to offer a discount for honest reviews as it would likely generate the same result and the business would seem less shady to customers
I'm really really happy to see where this project is at now.

I had seen it a while ago when it was still very early and the amount of work that has been done is phenomenal.

I think the documentation and examples are also very polished and make me really want to start using this.

Congrats to the developers, I wish I could upvote this more!
Which proof do you need? Walled garden is bad for users, even if they do not (yet) realize it.
No Man's Sky was disapointing but playable on PlayStation.
> As far as I've seen the proof integration is used only for Mastodon insurances

Just Mastodon a very narrow view of what could be implemented though. I saw alpha implementation for Discourse as well, before Zoom acquired them.

> no need to ask for permission, no weird conditions to enter like, instance has to be bigger than N people.

Yep that sounds reasonable, as long as we're not going to end up with a DoS because of too many proofs.
Totally understand and respect that decision. In our case these files come from third parties. We ingest that data, grind it up, sprinkle on our own blend of 11 herbs and spices and serve it to customers. Rejecting that data because it doesn't strictly conform to the RFC makes our product less appetizing. Or we can hold our noses and accept any consistent delimiter while working with the data providers to follow the standards.
TIL, thank you :)
I disagree that caloric drinks like sugary soda (along with hyperpalatable food) are a small part of the problem.

From the standpoint of public health policy, it is a good idea to introduce simple measures that are effective for 90% of the target group. If it turns out necessary, you can find a (perhaps less optimal) solution for the other 10% later.
> There is no consumer advantage to it.

Now you are assuming people having [next big game] in month N is as good as having it in month N+10. I think there is a large amount of gamers out there that would rather play a disappointing mess now, than a polished game later.
another solution yet is going back to one of the fundamental principles of message based OO, leaving interpretation of what objects receive and how to handle them to the object.

I've always disliked the idea of using static code-evaluation tools on dynamic object oriented languages, it kind of defeats the point, which is runtime dynamism.
I wonder how this game got released in the first place. In another life I worked as game tester and I am sure that most issues I read on 2077 must have been caught in those test. If Sony really cares about their brand more than fearing the competitors they could have stopped the release.
> Browsers don’t have direct measuring methods and require stupid workarounds, that’s it.

Oh? There are the old-school e.offset{Top,Right,Bottom,Left} etc methods for measuring the DOM stuff, and there's Visual Viewport API (experimental) for more advanced use cases:

https://developer.mozilla.org/en-US/docs/Web/API/Visual_View...
I used to think CSS was complex and everything was a hack. Then I sat down and actually read about the box model rules, how things like margin and padding affect elements, and how amazingly useful flexbox was.

I've worked with web developers that still don't understand the usefulness of collapsing margins. Developers that think padding is an alternative to a margin and not understanding they are different things altogether. If your solution to spacing something is to wrap it in a new element and add padding then you're thinking backwards. You just add margin to the element you want to space.

I firmly believe the idea that CSS (today at least) is complicated is just people not trying to learn what modern CSS is like. Learn your basics like the box model, block elements, inline elements, etc. Then learn about flex and grid. That right there is like 90% of the knowledge you need to make anything in CSS today.

The way I learned was being given Sketch or Photoshop documents with all the sizes and margins/paddings and told "now make that a website". I really wish there was a learning tool that just had website/website element mockups with sizes and your job is to replicate it as close as possible in HTML/CSS.
Right. Issues about shipping are not what product rating are for.

Of course it is a problem that Amazon does not provide a way to separately report packaging and transport problems.
I deal with this by explicitly seeking sub-5 reviews. I read them to see if criticisms mentioned bother me. I used to think I was a little paranoid, but now I'm going to double down on this.
Adguard? I’m using it for years and rarely see ads. It is not as cool as a vpn/firewall (like they do it on android, slow, battery eating and disallows other vpn) but it solves 95% of the problem.
I agree, the article contains nothing new, most regurgitates or links to other articles. Despite the large chip image at the head of the article there is no discussion or description of the silicon.
Worth noting, Hello Games have plugged away ever since with massive releases that have brought the game up to (and arguably beyond) what it should have been at launch based on promises.

It's one of the best examples of redemption of image I've seen in a game - also I'm a huge fan of VR No Mans Sky, it's one of the few AAA titles around.
It looks too easy to be true.
There are 170+ website monitoring apps out there (https://www.supermonitoring.com/blog/the-updated-list-of-web...) and most of them are doing the same things.
Hyperping must be doing something else to achieve such growth.
They just pushed it too far this time. They knew the risks but also knew they had extraordinary marketing. Their preorder numbers were insane. Delaying risked a less-than-maximized peak sales. They would have shipped a pile of burning dogshit if it meant they could hit the date. That’s exactly what they did.
Not exactly a complete answer to your problem, but you can at least improve diffs for odt documents by using git textconv:

*.ods diff=odf
*.odt diff=odf
*.odp diff=odf

*.ods difftool=odf
*.odt difftool=odf
*.odp difftool=odf
[diff "odf"]
textconv=odt2txt

https://git.wiki.kernel.org/index.php/Textconv
I've interviewed with the iCloud/CloudKit teams and I'm reasonably certain that the way they dogfood it internally means that they use the same setup we do, where the same ID isn't persisted across applications.

People like to claim that Apple gets a free pass here but they legitimately do seem to build their apps more or less silo'd, as they should be.

If you want the soundbite: if Apple tracked you across apps, their recommendation systems (be it app store or whatever) wouldn't royally suck. But they do. ;P
2020 Personal Finance Survey – India Edition
The Pandemic Experts Are Not Okay (2020)
I hunted down this article after catching Ed Yong on Thursday's Fresh Air, and in particular this passage at about 47m35s:

Earlier this year I spoke to a woman named Nicolette Louissant who works on preparedness. She talked about how people who work on preparadness see tragedy coming well ahead of anyone else, so they're already worried before it happens, they rush to deal with it when it happens. When things calm down they can see the scars of the period of tragedy. They're always looking at the worst-case scenarious straight in the face for a long period of time without respite.

https://www.npr.org/2020/12/17/947566334/covid-vaccine-rollo...

Audio: https://play.podtrac.com/381444908/edge1.pod.npr.org/anon.np...

This seems the perfect recipe for burnout, and one numerous technical fields can relate to.
Fusion is a work in progress and it is likely what will power our civilization in the future.

In the meantime there are new types of fission reactors being developed (small modular such as Nuscale, advanced fission deployed in China) and they aim the address shortcomings of older designs.

The problem with current generation of fission plants is that they were primarily designed to be integrated into military-industrial complex that produces fuel for nuclear weapons. You can have safer fission plants by focusing on power generation only.

P.S. Not sure what's up with downvotes, but whatever.
Which is a brilliant way to exploit people’s sunk-cost bias.
Chess 960 (Fischer Random Chess) would at least remove much of the opening study and seems to be growing in popularity partly for that reason.
Yep. Emotional Hate Club. After 20 years of using their products may be I know something more than a regular Apple wannabe in 2020. In 2006 paying equivalent of 4000EUR in cold cash for a laptop was no small feet in my country - actually this was a price for very good second hand car at the time. And surprise: it was worth every god damn penny. Since then all of my office computers and computers of my staff are made by Apple. For a long time this company offered a perfect blend for any kind of production. Since the big success of the iPhone things slowly faded away. At first Apple killed Studio Suite, then made Final Cut Pro from professional software to semi pro kids toy, started telemetry without user consent (I use Little Snitch from second version of the software, etc), touch bar nonsense, keyboard quality nonsense, repairability nonsense and still no good web camera. But hey, M1 will change everything. For good.:)
In the future Apple will be old IBM on steroids. Personal Gatekeeper for common good. Enjoy your prison kids, war is peace - freedom is slavery - ignorance is strength.
There used to be millions of webpages out there, all created by individuals. Now, there's one webpage: Facebook. So if Facebook goes out of business, or if Facebook no longer wants to host it (for political or profit reasons), the entire web disappears. This is not what the web is supposed to be. It's supposed to be a WEB, not a POINT. We didn't call it the World Wide POINT.
He's a great person. His acting range is limited, but within that range, he's good at what he does. Whether that makes him a suitable actor for a computer game is debatable, but on the other hand, he's also a beloved actor, so it's probably good PR.

I have no problem with them including Keanu in the game. I do have a problem with crunch and releasing a very buggy game.
As a multiple event organiser I would say it helps a lot to the event organisers especially small ones where they have almost no budget for registering and platform supports. Much appreciated.
It is simple to vertically center things in PDF's, since you have a fixed dimension canvas and text doesn't change dimensions due to user preferences or device configuration.

So if you want layout to be simple, use PDF. Of course most users hate to read PDF's online, because they have to zoom and scroll around and so on. So the real question if you want the pain on the producer side or push it to the consumer side.

Producing layout which render reasonably well on completely different devices and screen dimensions is inherently non-trivial.
YCrash has two components:yCrash Agent and Server
FWIW I've used golang linking against sqlite in a couple of my projects. One issue is that linking through cgo is really slow, due to the fact that the runtime has no idea anything about types. Probably OK if you're just doing basic queries at a reasonable rate; but if you implement a custom callback, suddenly all the marshaling back and forth takes a huge amount of time.

Not a deal-breaker; but a native implementation of sqlite in golang would be a lot nicer.
This doesn’t ring true at all. The games market is saturated. The reason to play the latest and greatest single player AAA game is because it is the latest and greatest. If the game is worse than a 5 year old competitor, then why even play it at all? Plenty of gamers have not played GTA V or The Witcher 3. Those are better experiences and cost much less.
After seeing a lot more chess related content in the last month [1] and just two new ones hitting the front page in the last two days I thought I should share my passion project Listudy. It started as a rewrite of my opening trainer from go [2] to elixir [3]. Since then I added endgames, tactics and what I call "blind tactics", which I added to train my visualization skills. I hope this helps you as much as it helped me get better at chess.

[1] https://hn.algolia.com/?dateRange=pastMonth&page=0&prefix=fa...
[2] https://github.com/ArneVogel/listudy_old
[3] https://github.com/ArneVogel/listudy
I can imagine a year-long crunch where the devs are so tired and the codebase so messed up that the progress is not goes nowhere.

You end up in a situation where you either need to have to start from scratch, or you release a half-backed product and hope it all works out in the end.
4-5 hours through on a ps4 and it crashed twice, with one or two graphics glitches. Im really enjoying it and think it looks amazing, but then again I walk around slowly so maybe missing the rendering issues.

Obviously though there are some issues effecting some players far more than others, could have got lucky.
> I mean, how far detached from reality and clueless about games in general must you be?

Condescending attitude aside, I've played multiple games on launch day, and I even worked as a developer in a major gamedev studio. The sheer amount of bugs, glitches, poor implementations, and missing QoL features are inexcusable. Especially from a game that spent 7 years in development and was delayed 8 months.
Yeah when I was competitive blitz ratings weren't a thing and bullet was ridiculed as 'not chess', 'serious' players were all in on classical. This was before the puniest computer would utterly rout the best human, people weren't complaining about draws so much, streaming wasn't a thing...mentalities about fast-paced chess have evolved a lot since then.
> Warren Buffett refuses to look at a companies stock price before he’s finished his valuation analysis just to ensure that his love for a business doesn’t bias his valuation to ensure he can buy it.

Those aren't exactly his words; he says he doesn't get any information about the company from the stock price itself, and would rather develop an idea of the valuation and then compare it to the stock price.

https://youtu.be/BjSMeGprrkw?t=154

To be fair, maybe he said it differently in another interview or talk.
> Which is weird, because my impression was that it was only truly broken on last-gen consoles (i.e. PS4, not 5), where it didn't really belong in the first place.

The game was announced 8 years ago and the last gen consoles were the main target. What do you mean it didn't belong there in the first place. The game came out now because it was delayed, otherwise it would have been out when we ONLY had the consoles where it "didn't really belong in the first place".
how do you manage passwords at such a scale though? where do you keep the password DB?
Journee – stunning virtual spaces for conferences etc.
> It has nothing to do with lying to consumers and maximizing profits from ...

CD Project Red is a For-Profit company (like EA, Ubisoft, etc...), please stop defending them when they have clearly lied to old-gen gamers. They are not the paladins of gaming as their great marketing reinforced when waved the success of The Witcher 3 (btw great narrative, but what a shitty combat system). Missing the holiday season for them would have impacted their short-term revenue and deflated the hype-train. Actually, they did something worst, but I'm 100% sure that they will recover: they know how to do games. Their brand is clearly damaged and their message "look we are the saviour of gaming" is lost forever.
> you can turn it off right at the top of about:preferences

Thanks.

Whoever though it's a good idea to make behaviour non-transparent to users -.-
Something a bit less than Moore's law... how about Lee's law?
I worked on air traffic control display prototypes using Smalltalk in the early 90s. Pretty much everything was done in C and Ada back then (at least in my company), and the sheer productivity of the Smalltalk environment blew away everyone who came into contact with it. Years later, fell in love with Ruby because it was so clearly itself a love letter to Smalltalk !

The great tragedy of our craft is that, despite exponential improvements in other areas of computing, IMO nothing since has really come close.