skysight-inc/HackerNews huggingface dataset:
> I’d argue the The Barbarian’s Scottish dialect in The Bridge was a precursor to Bascule.

I'd certainly agree with you there. He's variously introduced his readers to Scots, the Doric and the vernacular in his books over many years. Feersum Endjinn was a fun read, especially for me as a Scot who has an interest in the Scots language.

> Sorely miss him.

I do too. I'd met him at various times over the length of his career. Always a bloody nice guy and always self deprecating in a way you knew was very genuine. I always relished him taking the mickey out of his famous neighbour in North Queensferry, Gordon Brown, every now and again.
They are converted to procs and you can pass them around just like anything else.

def foo(&block)
puts block.class
block.call
end

foo do
'bar'
end
I’m sure they would.

On this point. They shouldn’t be allowed in certain locations in my opinion because of this policy. Certain airports are already limited on options for eating and then they close on Sunday. It turns the airport dining experience upside down and its incredibly frustrating.
Makes me sad. Opera was well positioned ~10 years ago to grow and innovate. And such an incredibly passionate and involved community.

IMO here's the beginning of the end for Opera when Jon resigned, the investors took the reins and his open letter;

https://techcrunch.com/2011/06/24/opera-founder-jon-s-von-te...

Good luck to the Vivaldi team in getting a bit of 'old Opera' back.
I'd buy a mission pack....
> Companies do have policies against using type inference (e.g., the use of var in C#).

That's a language that historically has not had type inference. Any examples of companies mandating type annotations in historically type-inferred languages?
I mirror your sentiment. It used to be that you could use your google fu and you'd be able to find a dozen relevant forum posts or mail chains in plain text. It's much, much, harder to get the same standard of results. "Pasting stack traces and error messages. Needle in a haystack phrases from an article or book. None of it works anymore."

Yeah, if I know where I'm looking (the sites) then google is useful since I can narrow it to that domain. But if I don't know where to look then I'm SOL.

The serendipity of good results on Google.com is no longer there. And given the talent at google you have to wonder why.
The Bachelors by de Montherlant. About two socially isolated impoverished turn-of-the-century aristocrats. The plot is very bitter and the main characters are awful people so you'd expect it to be fairly cynical, but it isn't at all, really sympathetic in fact. The narration is insightful and hilarious.
Techniques like Ghost of Departed Proofs are the most exciting thing to me as a casual correctness enthusiast. It acts as a means of combining static types with contracts.

Types are sound mostly because they are a stupid mini language, so easily enforced, like you said. Contracts are practical and convenient because you tend to write them in the language or a subset thereof that you’re checking. That’s hard to ignore.

GODP has you write a runtime check in regular code, and return as a result a proof value. Put that code in a module boundary. Then you have upstream functions expect a proof argument along with the value the proof is about. They’re tied together with a unique type variable (rank n or existential are the mechanisms of delivery for Haskell, but may differ in other languages).

head :: NonEmpty n -> Named n (List a) -> a

In this way you started from a dynamic, runtime piece of code, and ended up using a static type system to just ensure everything is passed around correctly which is trivial.

A single proof in this technique is nominal in the type (e.g. not null or positive or sorted ascending/descending), but combining them is done at the value level so there’s flexibility.

The bang for buck potential is large. I’m more interested in stuff like this than the dependent types direction that people are pushing for in GHC. If I wanted dependent types I have Agda, Coq, Isabelle, Idris, etc. to play with.
CoC means many things. What do you use it to mean here?
Battlefield Heroes was a favorite of mine that I can’t play anymore because EA took down the servers.

There is a guy running a pirate server but hardly anybody plays on it.
I’ve been on Netlify for a while and it’s great at what it does.

I recently went back to Digital Ocean for my side project because of what Netlify currently doesn’t have: DNSSEC, HTTP/2 push and prioritization. ECC certificates from Let’s Encrypt.
Yes, except that SpaceX really is unusually nice about licensing their images and video, compared to other companies. For example, US TV networks don't put their broadcasts about NASA launches into CC0 or CC-A-NC.

And here's Boeing's "Inside the Starliner Pad Abort Test" -- https://youtu.be/L9ifJzokFgA?t=98 -- Copyright @ 2019 Boeing, All rights reserved.

So sure, you can see whatever you like: SpaceX is worse than NASA, or SpaceX is better than almost every other company. Your call.
You can try Freedo to emulate the 3do version I think.
Australia isn't in the EU.

For what it's worth, I'm in Australia and have the same search results as erklik.
https://kotaku.com/inside-the-culture-of-sexism-at-riot-game...

https://kotaku.com/how-biowares-anthem-went-wrong-1833731964

https://kotaku.com/inside-the-ghosting-racism-and-exploitati...

https://kotaku.com/the-human-cost-of-call-of-duty-black-ops-...

https://kotaku.com/how-blizzard-saved-diablo-iii-from-disast...

https://kotaku.com/crunch-time-why-game-developers-work-such...

https://kotaku.com/metacritic-matters-how-review-scores-hurt...

And so many others : https://kotaku.com/tag/kotaku-longreads

Kotaku might be the only gaming news outlet putting out that kind of journalistic work. Instead of paroting the publishers' marketing.
PLanQC 2020 – Programming Languages for Quantum Computing – POPL 2020
> If the changes are indeed inconsequential and a matter if taste, it is a waste of his time to mention these things and a waste of your times to change them.

How about the time you spend debating about your refusal to accept suggestions? Is it not wasted effort as well?

And what's the impact on productivity and team velocity of fostering an unwelcoming environment where petty team members are irrationally inflexible and refuse to take suggestions even regarding innocuous changes?
> Isn't the primary reason why games don't get release to avoid them competing with modern games for gamers focus.

Games companies are constantly and ruthlessly competing with each other for gamer focus over modern games. You don't avoid that competition by simply not releasing your own stuff.

But even assuming you still have the original source code and assets for a title, spending a good chunk of $$$ to modernize a title to run decently on modern operating systems (lest you be flooded with time/$$$ consuming support requests), updating assets to to look like they're from the current decade (so it's marketable beyond an extremely niche nostalgic audience), all to maybe get a fraction of the original sales when second hand sales and piracy have likely saturated the market for the original, as sought out by the nostalgic - it's simply not a great time investment.

You can drive down the costs by just throwing DOSBox at the problem in some cases, like GOG has done for many titles. Or maybe it's been so long that your remaster is effectively a new game, ala FF7, and you can sell it to a whole new generation of gamers. Or maybe you had a subscription based game ala WOW, and maybe third party reverse engineered servers didn't already completely moot the interest in a re-release. Maybe.

But even then, a re-release is probably not going to be your next genre-defining blockbuster title.
Also posting dieharder results as validation (and the only kind of validation!) smells like a joke.
This was pretty impressive. It was super awesome that everything worked exactly as it should and it clears the way for SpaceX to launch people to the space station.

What is more relevant for me, is that if NASA follows their own rules, it also means that SpaceX will beat Boeing to having a manned spacecraft capability.

The "rules" in play here is that Boeing had a requirement of doing a successful unmanned flight. In government contracts this is known as a 'threshold requirement' meaning that it has to be done before the contract can be completed. Boeing also had a parachute deployment failure during their drop test. As NASA (and some members in Congress) have been emphasizing on how important safety is and relentlessly hammering SpaceX over their refueling techniques and their "history", if they do not want to be seen as hypocritical they should require Boeing to at least achieve a successful unmanned flight to the space station and they could piggy back the parachute deployment test on that flight (and get a twofer, both the parachute test and the end to end flight test.) Requiring that however, will cost Boeing money (they have to pay the expenses for the retest out of their pocket) and more importantly time (they need another launch vehicle from ULA and a launch window). Versus SpaceX which only needs the results of today's test audited and signed off before they can launch their test crew. So perhaps 60 days, 90 at the most before they are cleared to fly people.

So I think it is highly likely that SpaceX gets people up into orbit first. And that is a pretty amazing milestone and it slaughters a couple of sacred cows in the aerospace industry.

The most impressive one for me is that an aerospace company can be started from scratch and beat all established players in capability, cost, and launch cadence. It is both a huge endorsement of SpaceX's approach and a huge black eye for the existing players. Given that the existing companies actually want to survive it heralds some really exciting times ahead for space.

The other thing is that a company has this capability at all. I was talking with some friends about how do you "value" that in the market? How does it affect the geopolitics of space? What happens when Bigelow aerospace or another "space industry" partner starts selling access to orbital facilities that aren't government owned and operated?

As far as I'm concerned I wish this had started 40 years ago rather than a bit less than 20, but I'm glad I have had a chance to watch it unfold. Exciting times.
Mac is absolutely more secure and has less telemetry in general. Slightly unrelated, but Apple's FileVault encryption solution has been proven effective in court while BitLocker's default behavior is to compromise your private keys by uploading them to OneDrive.

I haven't used Windows in 4 years except in VMs for IE 11 testing.
Electron has been trying to do this with their own rocket.
Like WAIS?

https://en.wikipedia.org/wiki/Wide_area_information_server
> but as soon as the rest of the society realizes what is going on, I fear that there will a massive backlash.

This backlash cannot come soon enough.
...no, I don't think they do.

Copyright exists for the sole reason of -promoting- the creation of works (by allowing the creator to have a monopoly on it long enough to extract profit).

If a creator no longer wishes to sell those copies...the copyright's very purpose is undermined. Obviously the law as written allows them to do so, but the law as explicitly intended should not do so.

Certainly, outside of the particulars of the law they have no such right. It's not a 'god given' one, or any such thing; preventing people from making copies of something is in fact extremely unnatural and goes against what has allowed our species' cultures to flourish.
I think there needs to be more nuance to it.

Copyright is intended to ensure that the creators of works of art are able to profit from their work.

Perhaps some modification that if a copyrighted product is offered for sale, and then some time later is withdrawn from sale/no longer generally available - then the copyrights in that work should revert to the public domain after some period of time.

We have a similar problem with books, movies and music - things that were once available have become not. Certainly it was a genuine excuse previously that the costs were too high to keep every book/movie/album in-print, but now that digital copies are incredibly cheap that excuse is going away.
The Google paper's hashing has, as best I can see, nothing to do with the Vowpal Wabbit's 'hashing trick.'

The VW hashing trick is about hashing your input data (ie: words, fields, etc.) into an array to lower storage requirements and deal with novel data at run time.

The google paper is about ordering the intermediate states of the neural network (ie: vectors) while preserving distance. This is done so you can chunk the resulting ordered list and perform computations on individual chunks (and their neighbors).

The only thing in common I see is the fact they both use the word hashing.
Any chance of supporting a library agnostic approach, such that developers could use vanilla JS or a framework of their choice?
It doesn't seem meaningfully different from a bad actor having, say, a tab with your Wordpress blog open on their computer.

Or to pick something closer to the point, someone seeding a copyrighted film and also a Linux distribution. That sort of coexistence has gone on for many years without causing problems for the legal uses of torrents.
Nice work! Safari is kind of limited with it, it takes a few clicks to create a note, sometimes(?)

Also a no-select might be good for certain part of the page, or for the ones not being edited presently, as text selection seem to grab most of the page text at any click and drag.
Capital punishment is an example of police demanding to use violent tactics.

I will ask again: what changed from the point of view of police?

Their egos got bruised.

They did not get to crack skulls before

If you mean literally, sure they did. If you mean metaphorically then again sure they did. They're literally throwing a tantrum because things that could've been charged as a misdemeanor or felony (at the discretion of the DA) can now only be charged as a felony for a repeat offense. Note that a lot of the anti-Prop 47 rhetoric misses this. Theft of $950 can still be charged as a felony under a variety of circumstances (including the case of simply being a repeat offender).

While misdemeanors, in theory, can bring up to a year in county jail, Fresno Police Sgt. Mark Hudson said it’s not worth it to issue a citation or arrest a suspect who would likely be immediately released because of overcrowding.

So what? Jails and prisons across the state are overcrowded. The state is exporting prisoners to counties and other states. The overcrowding is a not so subtle hint that simply locking people up is not a solution. Prop 47 doesn't change this dynamic, if anything it would reduce the overcrowding (which is a good thing except for those who would like to see petty theft carry a life sentence).
Good lord, I’ve seen him on the broadcasts before but I had no idea that’s what his resume looked like. Incredible.
For me personally, the phrase "anti-gay group" muddies the waters because although Salvation Army (1) does (or did) have some anti-gay policies, and (2) is a "group", its main purpose is to be a food or shelter charity; not to pursue the disenfranchisement of gays through say, political compaigning.

To illustrate, I might refer to an organization under religion X as an "anti-women religious group" because perhaps religion X had some policy on women's activites that I believed were sexist; then for me "anti-women religious group" would be a technically correct phrase in that X is "anti-women" and "a religious group", but the phrasing would probably be objectionable to practitioners of the religion who don't see those particular policies as fundamental to their religion, and perhaps didn't even consider the policies sexist in the first place.

In general, I don't think I often see this loose use of terminology applied to other cases; like I don't think people call Nike a pro-child-labor company, although if that were the topic of discussion I might say Nike uses child labor. To me it's about avoiding ambiguity.
I've never actually tried Twixtor myself, but assuming Twixtor hasn't just adopted the DL methods, I would assume they're significantly better for the difficult cases. Especially occlusion and non-uniform flow (think small objects that move the opposite way from their background) are really difficult cases to get right with optical flow. You'll inevitably end up with some kind of artifacts. The good news is that if you're only upsampling by 2x, half of your frames are going to be original frames, which masks away most artifacts unless they're really bad.

Do note that some of the DL stuff uses optical flow internally in some form. It turns out that just hallucinating pixels directly isn't necessarily giving the best possible results, but you can do stuff like putting an optical flow layer in your network (it's differentiable), or doing optical flow first and then using that as an input to a DL network. It's a good reminder that designing your network for the actual problem gives the best results.

Generally I haven't kept track of the state of the art over the last year or so; the field is just too big, and I just had to go with a method that was implementable (especially without having tons of training data ready). I tested 5–6 different ones that I thought could reasonably approach real time, chose DIS, spent a while implementing it and then called it a day.
Which isp are you on? For all you know, it might be possible to get an ipv6 now.

I was in the same predicament but there was a news item that act(ISP) was rolling out ipv6... speaking with customer care and even escalating to nodal support was useless as they were clueless... Spent an afternoon fiddling with router and I got a v6 address no problem!

Tl;dr; don't believe clueless tech support .. Just try it out at your end.. you might get a pleasant surprise!
Really? Benchmarks I've seen put it in the same ballpark
I agree with you on the comment about abstractions, but I think I would rather have Rails with esoteric code than something less "conventional" with esoteric code.
Why do your colleagues get to decide what is fact and what is fiction? It's our right, as humans, to be able to make that decision on our own after we encounter information. If Wikipedia gains a reputation for libel, then the onus should be on the public to stop trusting them.

Google does not have the moral authority to censor the internet, and it's absolutely wrong for them to attempt this. Information should be free, and you don't have the right to get in the way of that.
Thank you.

I hear my gamer friends give Kotaku so much grief over what strikes me as comparatively minor things (such as the OP's, over a game review, when there are so many others doing that)...but I've often noticed that they report on things I legitimately was unaware of, or perspectives I never had before, within gaming, that no one else is covering. I don't get the antipathy.
Real world trade offs please...

If there are only autonomous cars that track your position how are you going to make trade off?

Right now I don't have Facebook but no one in my family or friends is contacting me. Why? Because I don't have Facebook. This is my trade off. Real trade off would be if I could select different provider and still be in contact with my family and friends. Right now it is monopoly degrading my quality of life. If I would have different options that I could for example pay for but they would not use my data as tracking that would be different.

If there would be way to pick your autonomous car provider by price/privacy it can be trade off.

If it is one option that you can use or not use it is not about trade off. I am not native English speaker but trade off for me is when you have multiple options to choose. No that you have all or nothing....
I'm fascinated by Idris, dependent types and the promise of massively expanding compile-time guarantees. The compile times mentioned in the article raise a question that I've wondered about, and would love to hear from an expert: are compile times essentially unbounded in languages like Idris? Is it possible (likely?) in practice that wrong or misguided uses of the type system could cause quadratic or exponential scaling of compile times?
Yes! Any company that has adopted MyPy or TypeScript often have policies for this. One team I spoke to at Facebook said that any new code should have type annotations. I believe Dropbox had a nice blog post about new code should have type annotations too. It is hard to get these details from companies/teams (and be allowed to talk about it).
This sort of thing perplexes me. Why can't they just release the game (they have the technology) wait for someone to sue them, and then force that person (or persons) to prove they own the copyright. If they can't prove it then the copyright is forfeit.
Underlying dat data is immutable. It's the constructs built on top that provide mutability. Dat is fundamentally a chain of immutable chunks, some having a special meaning to say what the data means (file/folder) and where to look for it. Once a chunk is there it will 'ever ever change. It is perfectly possible to play with those only.
Okay, so no orvellian surveilance, but still rather have that than some UX paper cuts in unnamed distro.

Yea, good luck with that Mr Hacker dude.
Flooding their market. Converting to dollars or other currencies is still very limited. [1] and [2]

1 - https://www.bloomberg.com/news/articles/2019-12-12/after-a-d...

2 - https://www.scmp.com/economy/china-economy/article/3012312/c...
Elaborate.

I was doing some deep searching in very specific date ranges with lots of modifiers and google gave me the "your query reminds us of bots or some shit try again later" and I had to stop because it wouldn't let the queries through anymore. Is that what that was?
It's a high-level API. It went through N generations of graphics hardware for 30 years (40 if you consider IRIS GL).
I sincerely hope the author will urgently and clearly mark the repo as a toy/demo/do not use for anything important in the readme.
> but if everything goes without "surprises" in real life, I would be surprised.

Do you also shave all those, and those only, who do not shave themselves?
If you're going to have obscure shortcuts, may I suggest that you document them part of a note somewhere maybe accessible via a '(?)' icon at the bottom of the page?

Also, your dark mode is way too dark and contrasted. Consider something like this:

https://imgur.com/a/8FLdGb5

HTH
"Halt And Catch Fire" had a cool way of taking these 2 approaches of search into their plot line.
You gave yourself three chances to defend your position and each time you failed to attempt it.

I understand two things about the Salvation Army. They serve the most vulnerable in their community(-ies) and they hold religious beliefs which run against the politics of the day.

That second point may give you some sense of justification. But consider this, on the Salvation Army's website, one of their top line issues is serving LGBTQ community.

That strikes me as odd for an organization described by you as "extremely, violently anti-gay". It seems to me that the Salvation Army is not against an LGBTQ person. They may disagree with their choices but are perfectly happy to alleviate their homelessness, addiction, hunger, poverty, etc.

Are you not able to discern the difference between political disagreement and violence? Are the Salvation Army not the pinnacle of what it means to be tolerant? They're willing to serve those whom they disagree with. In my mind, they're exactly what is required to have a pluralistic society.
You’re somewhat conflating a port with a remaster, here. Remasters are significantly more expensive, yes.
It appears only OPesa was taken down so far from Google Play. OKash, OPay and CashBean are still available. CashBean's keyword stuffed app ID [1] is remarkable, this is the first time I've seen such a spammy app ID on Google Play.

[1] https://play.google.com/store/apps/details?id=com.loan.cash....