skysight-inc/HackerNews huggingface dataset:
Beat Saber is great but I find that Audica and Synth Rider feel more like dancing than Beat Saber. In all those games you really need to play at the higher levels for them to be interesting.

I don't understand the comments that say the games are repetitive. In my experience most dance is repetitive. You practice certain moves and then that's it. Repeat those moves.
Dependent types are cool, but I think the best fix would be refinement types. They are sort of similar, except refinement types use a SAT solver to prove correctness, while dependent types require to prove everything yourself (to the point where realistically something like what you posted probably wouldn't compile in most
dependently typed languages). Refinement types also compose better.

Because of the SAT solver you have some restrictions on what you can prove, but they're so much more ergonomic I think it's more than worth it.
> Besides that, security is mainly about authentication. That's done by setting up LDAP, active directory, openid connect and co, and integrating in applications.

You've phrased this to hit a pet peeve. A huge, ongoing security issue is people checking for authentication when they should be checking for authorization.
I work on a product similar to Github Actions: https://cto.ai/ but there is a built in interaction layer for interacting from Slack channels.
Isnt it the same if you use tramp in the terminal, assuming you are running emacs locally and tramping into the server to edit?
Kotlin/Native is a thing:

https://kotlinlang.org/docs/reference/native-overview.html
Ask HN: No US Degree, will get work permit in 4 months
I don't have any schooling in the USA - moved here after my marriage. I will get my work permit in the next 4 months. What's the best way I can spend my time productively to land a good job ($100k+ and intellectually stimulating)
Ah good one, I missed that yesterday. Too busy...
Seeing that even the Bay Area, where you'd expect people to be relatively compliant with masks, not attending gatherings, and social distancing, is seeing a case surge, I'm not convinced than anything non-essential indoors will reopen, and masks aren't making a big enough difference to change that.

That said, I've seen very little data about where people are getting it (outside of medical settings, meat processors, and prisons), and you'd think this would be pretty important to managing the spread.
Why ballroom and not Tango? I find Tango pairs much more naturally to martial arts.
As the New Yorker will grumpily tell you, it’s not an umlaut: https://www.newyorker.com/culture/culture-desk/the-curse-of-...

> She said that once, in the elevator, [the editor] told her he was on the verge of changing that style and would be sending out a memo soon. And then he died.

So, be careful whose weird house style you criticise, is the message.
What skills do you have? What experience do you have? What do you find intellectually stimulating?
Probably it's hard to find because there has never been such a person at the head of KGB? There had been 8 chairmen (K in KGB stands for "committee" hence its head's title is "Chairman") in the whole history of this organization and none of them had this or similar name. The only KGB-related person with such name is Yevgeni Maksimovich Primakov, who had been a head of the KGB's 1st Department for a brief period of time in 1991, but he had been a civilian so not the same person as the "General Yevgeni Primakov".
I dont have degree but landed on awesome companies and now having own startup.

being scared has process to conquer.
once its done, you can fly with wings.
Vec does provide non panicking retrieval methods. You could newtype it and implement the indexing trait, delegating to the non-panicking methods.
I cannot speak to your context well enough. If I only get to choose one, I choose HN (or even carefully curated Plebbit). While there are radical dark patterns in the attention economy with which to concern ourselves (and I'm happy to talk shit about the nature and states of discourse available to people), there are also many salient voices to hear within a recent and brief timeframe that aren't usually as easy to find elsewhere (at least not with as much signal-to-noise ratio).
MAPS (multidisciplinary association of psychedelic studies) is systematically demonstrating the positive effects of psychedelics.

Their most impressive work is in PTSD. In Phase 2 trials, they took people with established PTSD (for years) and undertook ~3 guided psychotherapy sessions with MDMA. Within 2 months, 53% no longer met criteria for PTSD and at 12 months 68% didn't.

Far more efficacious that anything else we have. Powerful tool for psychologic healing.
That's a big claim to make without providing any evidence or even some context.
Ah yes that is a good one. Maybe it's just rare to make a good game that's also educational. Then again KSP is more fun than educational I think. Or at least, rocket space flight stuff is already such a fun topic to learn about.
First let's hire another teacher and cut that class size down!
Seeing as how this and similar articles regularly crop up here, I'm curious as to when this started and why nothing is done about it. I still regularly use my 14 MHz Amiga 1200 for recreational programming and I _never_ experience input lag on that machine.

Thinking back, the first time I noticed input lag was on a Mac LCIII running Word in the mid-90s. Then for a long long time I didn't come across any particularly noticeable latency, except on really crappy websites and in really crappy Java apps. Then Microsoft bought Skype and started working their magic on it, and this seemed to open some kind of floodgate of high-latency crap. That's not even a decade ago.

After that, little by little, everything seemed to slow down noticeably. We've now reached a level when this is seemingly normal. Even programmer colleagues who are my age and older are looking at me like I'm curious when I complain about the latency. I'd say something toxic about Electron here, but it's prevalent in native programs as well.

Have things really gotten so much more complex since 2010 that we can no longer put a character on screen in a timely fashion?
google glass was gonna be heaven ...
Pick books.

signal to noise ratio here has gotten worse; not as worth anymore.
Even though he's active again now, which is great, I suspect the one about curiosity and the dead cats* will remain forever my favorite.

This one on the other hand, might be oddly prescient in hindsight: https://www.pinterest.com/pin/423056958717553865/

* "Notice all the computations, theoretical scribblings, and lab equipment, Norm. ... Yes, curiosity killed these cats."
I'm a middle-aged (or depending on your perspective, SUPER OLD) guy. I had the good fortune to work with some bright young millennials at my last job, and we sometimes talked about pop culture. I really had a hard time conveying how subversive and groundbreaking Gary Larson and David Letterman were in their time.

Their sensibilities are ubiquitous now and so if you grew up in the 2000’s it would be easy to look at them and say, what's the big deal? But at the time their absurdist humor felt rebellious, new, and important.
My understanding is that a major cause of America's burgeoning healthcare burden is the food environment.

The argument I've heard smarter, better informed people than me make is: If healthcare were nationalized, it would incentivize the government to help fight the battle against itself in the context of unhealthy agricultural subsidies and policies.

When the government subsidizes farming corn on a massive scale, and all these corn-derived products make people obese and give them diabetes, it becomes counter to the government's own goals if its charter includes providing affordable healthcare to all.

If we don't stop subsidizing liquid sugar, it'll continue finding its way into everything possible.

What kills me is people proposing taxing products w/added sugar... talk about the American way; spend people's tax dollars on subsidies producing the sugar, then tax them again for consuming the thing you made cheap with their taxes! smh
Do you know how to make a point?
The AMA corrected course on this. The problem is not a lack of schools. The problem is a lack of hospitals to train them in as part of the residency. As long as residency is a thing, we have an insurmountable bottle neck.

Evidence to the limitations. https://skeptics.stackexchange.com/questions/4561/does-the-a...
Election season in the US seems promise if brief
"The Man Who Solved the Market: How Jim Simons Launched the Quant Revolution" discusses the lineage of Shaw, Tartaglia, and his predecessors briefly. I think some more academic texts on Pairs Trading and Stat Arb will mention the PDT team as well.
I think there's no reason there should be a single person on both sides of the equation, never mind arbitrary choices of the harm scenario. In a contrived utilitarian scenario, you could save 1,000 people and send one to prison, or vice versa.
Top best uses of GPT-3
Yet chlorinated chicken is what we keep hearing all the moaning about coming our way. I'll pass on mad cow beef and now death zucchinis too. Maybe expanding transatlantic agricultural trade just doesn't make sense.
I like vscode. C or C++ coding with it is better than most editors I’ve tried (thanks to clangd), and it doesn’t force you into a complete IDE-based toolchain.

What’s to complain about? It’s free and better than your products that sell for money? I can’t perceive any lock-in. It’s just as easy to use it to target entirely non-Microsoft platforms, which is what I do.

I’ve never heard of this Omatum Studios. With the recent turmoil from Slack, I wonder if there’s some connection to the ire.
Steven Black – Hosts
The New Yorker is particularly fussy about including commas for nonrestrictive apposition, even when there is no possibility of a restrictive interpretation. For example:

"When he died, in 2004, his books and exhibitions were too numerous to count, and his magazine work had been published all over the world in the best publications." [0]

The copyeditors seem to think that writing "When he died in 2004" would imply that he had died not only in 2004 but also in another year.

[0] https://www.newyorker.com/culture/photo-booth/when-in-berlin...
Leninism has always lead to great oppression. But that doesn't mean that the people who supported it understood that. Lot of bright, well-meaning people have philosophical, political and religious beliefs that are very wrong. Also, remember, we are not just talking about Lenin's own motives and beliefs, but many if not most of the thousands of party members who supported Leninism. Most of them were sincere idealists (which is why Stalin got rid of them all in the Moscow purge trials).T

I strongly disagree that only the bourgeoisie would be opposed. Leninist revolutions take place in preindustrialized societies. That is because Lenin believed that peasants were naturally cooperative and so would eagerly adopt socialism (he got this from the Russian philosophy of narodnikism).

But that is simply mistaken. Peasants are deeply conservative and traditional, including being completely embedded in extended kinship networks, raised to value life as a farmer, and extremely religious.

Communism in a preindustrial society means tearing that whole culture completely apart, and that requires enormous state violence. Yes, a lot of them got fooled by propaganda for a while, especially before the revolution was over, but many more in Russia were never won over, and many of the ones who had supported it changed their minds once they saw it in practice.

And in fact I have read that once the Communists came to power in Russia, Lenin regularly denounced, in private, the peasants for their resistance.

So what I am saying is that leninists are generally well-meaning, intelligent people who sincerely believe it will lead to a socialist paradise, but leninism's ideas, when you try to put them in practice in a preindustrial society invariably lead to massive state violence.
Show HN: My first SaaS business (as an indie hacker)
I'm sure having a browser in game as a million uses but ...

Oculus Rift has in game browser built into their OS. In any game and any time I can pull up a browser in VR (or any desktop app). Pin a walkthru up. Pin up video chat with a friend.

It seems like browser in VR would be better served at an OS level. The OS could provide a way for the app to request VR be placed in the scene. Ideally it happens in a way the app can't look at the screen since a game shouldn't be able to look at the contents of your browser window.
Yeah I'm right here as well. I built my own NAS first with FreeNAS and had enough issues with it that I eventually caved and I'm now three Synologys deep into my home lab environment, couldn't be happier.
Dart is a better ES5, but a worse ES6. If you compare Dart to the JavaScript that existed when it was created, it’s great. If you compare it to modern JS, it’s crap. Modern JS is really, really good. The main problem with it is that the ecosystem is only just so-so. People still complaining about JS in 2020 are mostly just showing their own ignorance of what the language is now.
I knew there was some scientific reason why I don't like zucchinis! I tried having this conversation with the parental units for years (40 years ago), but they'd never listen!
>clearly you don't want all of that information, so someone has to destroy all of that information and incur the heat cost of eating all that electricity used to store it, right?

My understanding is that you don't destroy the information, you copy the relevant parts and then reverse the original computation. More specifically you only copy the parts of the computation that are relevant to you, you don't copy the entire (much larger) intermediate state.

So you are only ever doing truly destructive operations on a small buffer at the beginning and end of each each "clock cycle" instead of for every logic operation.

Alternatively a fully-reversible circuit could look more like a mechanical clock, you can return it to any state just by moving the key backwards/forwards far enough. It gets more complicated when you start including any kind of IO, but in theory you'd still only be copying/overwriting bits every so often, with a normal circuit being cyclical.
Instagram isn't owned by a foreign adversary that wants to destroy your economy, so there isn't any campaign.
> I would absolutely remove my characterization of this bill as abolishing suburbs if the bill only applied to states that use federal funds to subsidize the creation of suburbs.

That would be all of them. The federal government explicitly subsidized the creation of suburbs after WWII though FHA and VA insured loans (as in, this was their literal intended purpose). In some cases they even directly hired builders to construct suburban towns wholesale (e.g. Levittown and Daly City)[1].

You know, I find this conversation pretty ironic in the context of this thread. It's clear you haven't researched this issue at all but are willing to announce fairly strong opinions about it based on nothing more than an obvious mischaracterization by the president.

[1] https://www.bloomberg.com/news/articles/2015-09-02/how-the-f...
> "You are mortal" or words to that effect

'Momento mori'?

https://en.wikipedia.org/wiki/Memento_mori#In_classical_anti...

> The Stoic Epictetus told his students that when kissing their child, brother, or friend, they should remind themselves that they are mortal, curbing their pleasure, as do "those who stand behind men in their triumphs and remind them that they are mortal"
In 2016 there were 5 PR firms for every reporter [1]. Really that means there were 50 PR firms for every reporter (most of whom work for PR firms). Really, the easy thing to do is count the honest reporters using graph theory or whatnot. We can do this. There really are not that many.

If I am not for myself, who is for me? When I am for myself, what am I? If not now, when? (Pirkei Avot 1:14)

[1] https://www.ragan.com/there-are-now-nearly-5-pr-pros-for-eve...
I've always liked the sense of perspective conveyed in this poem. I was introduced to it through the truly excellent https://ozyandmillie.org/comic/ozy-and-millie-2/.

EDIT: spelling
Sculpture at CIA headquarters holds one of the most famous unsolved mysteries
I don't know that this was really a "brutal take down"
I think you are misunderstanding the incentives that drive politicians if you think extra health care costs would make them change their subsidy policy. They subsidize because the recipients are powerful donors who want them. It isn’t because it is sound fiscal policy.
Do we work in the same field?

It’s mentally exhausting. You get into it thinking you’re gonna build cool shit, instead you jump through hoops for business school grads as they come up with shitty ideas and try to apply their shitty high pressure motivation tactics on you.
This what my takeaway from watching Baraka again recently:

https://en.wikipedia.org/wiki/Baraka_(film)

While the film doesn't focus on any particular person, it covers society at large. It portrays the build-up of a modern, global society and eventually shows shots of ancient Egypt ruins. We are no different. One too all of this will be gone.
The Far Side, was internet humour before the internet.

It abstracted higher than comics around it.

But internet humour like all the internet has iterated and abstracted many times since.

I think nostalgia will keep it going, but it's had it's day.
The problem as I see it is not in whether you divide front and back, but where you divide it and why.

First hand experience passed down by my own teachers and clearly many others is that that having your business logic mixed in with your UI CODE is a bad idea. A lot of people take that lesson and fuck that message up and here we are.

How many times do we write an angular app (using mvc separation). And then connect to an mvc web server framework. And then have a separate backend layer with a database behind that.

There is usually many more layers of mvc and separation added in once you look at your class hierarchies and subsystem architectures.

Separating is very useful to a point and after that point you are just creating needless overhead.

Unfortunately the only sure way to identify that point is by screwing up and rewriting everything
It’s also the main cause of ambiguity in lists. This can be almost completely avoided by simply using parenthesis or dashes instead of commas to set off an appositive phrase and always using an Oxford comma.

Most grammarians seem to approve the use of parenthesis or dashes that way, so I’m not sure why commas are the most popular.
I just got a mental image of a network of springs or something snapping back into place after delivering something.
The picture in the article is of an alleged limestone tool; it looks like the tool was shaped like a scraper or cutter of some sort, and is fairly small. But afaik, no one ever made scrapers or cutters out of limestone; that rock is far too soft. They were preferentially made of flint, but in regions where there wasn't flint, obsidian or quartz could substitute for smaller tools, and hard metamorphic or igneous rocks for larger tools (axes).

But surely an archeologist would not make such a mistake. So is my assumption about the uselessness of limestone for cutting tools wrong?
Tim's Community Chess Tournament
What will evaluate whether the evidence is overwhelming or not? There's a reason we have courts.
Not possible until UWB is ubiquitous.
sometimes my battery start draining a lot faster and my phone becomes really hot while I'm not doing anything special... not sure what is causing it yet.
Match the price of identical products across major retailers with this app
I can’t say enough good things about dell latitude. It’s to the point that they are all I use. You can get a great laptop for ~400 on eBay and when stuff breaks or wears out you can actually fix it yourself using spare parts that are easy to find
If he believes that, then he doesn't understand what DE Shaw's business is. It's like confusing a bakery for a flour mill.
"our understanding of critical aspects of the ancient glass industry is fragmentary"

I see what you did there...
I actually see shaw as a bit of a hero, since he basically made his money, said something along the lines of "finance is stupid", and then took all that money and started working on biochemical problems that actually solve real life medical issues. Is he eccentric? Sure but so are a lot of the other wall street elit types, many of which have much less real contributions to the world. So not sure where all this hate is coming from
I am taking MBA course at UoPeople. Because I do not have much of career plans and wanted to "check it out" more than anything, I ignored lack of prestige. What I find so far - a lot of stuff is very superficial to anyone who did at least some business on their own, and invested in stock market (not speculated/traded/yoloed).

But at the same time, some material kinda helps to put disjointed pieces together.

Based on my experience there (I did not finish it yet, btw), I think the best approach would be to actually get your hands dirty with running a business AND investing first for quite some time, and after that take an MBA class to organize all the knowledge you gained. Without getting hands-on experience, I am not sure much of MBA program will make sense or help beyond learning the vocabulary and getting connections (connections if you go to a prestigious school of course, that what most pay for I think). It is much easier to understand the importance of financial statements after you actually traded or run books for a business, filed taxes.
If we are going to talk about Georgia Tech, it is worth noting, GT is:
No.1 in engineering doctoral degrees awarded to African American students
No.1 in engineering undergraduate degrees awarded overall to minorities
No.2 in engineering undergraduate degrees awarded to African American students
No.3 in engineering doctoral degrees awarded overall to minorities
Bhangra Workout – The JFK
Bhangra workout - The JFK

Check it out today what our junior joint family kitchen member is doing to overcome the boredom during this COVID-19.

Hit the like, subscribe and share button for our junior member and make his video viral

Thanks for your support

https://www.youtube.com/watch?v=FvOQf8qBXn4
Duplicate of https://news.ycombinator.com/item?id=23953753
>As we do not have control over the binding of the texture and the Unity context, the current design for updating this texture uses a blit (copy) via Servo’s surfman-chains API

I don't think this is necessary. You should be able to make Texture objects that ref existing native textures in Unity and I've been able to use OES_EGL_image_external extensions to sample Android decoded video textures sampled from Unity shaders.

Its not the most widely available option but the perf is much better.
See my comment above (made before I read yours :-() asking whether cutting tools would ever have been made out of limestone.
Ask HN: Replace Pixel 2, EOL support October 2020
Pixel 2 not officially supported past October 2020.
Pixel 2 users: what are you doing to replace? Which new device? Or are you going to install different OS onto the phone and keep using the hardware?

For those replacing, anyone going the PinePhone route?
please leave your comments
> The medical community of the early 1960s wasn’t impressed either, and citing various procedural issues with the study, it was largely ignored at the time.
It's kinda late but https://hn.algolia.com/?query=patio11%20%22pathological%20cu...
I assume by competent he means knowing the steps, how to lead or follow, and other basics. Kind of like how you can learn how to move the pieces in chess and learn basic strategy in a few months. You can get good enough to be better than 95+% of the population. You may set the bar for "competence" higher, but it's not a facially crazy assertion. That said my dance knowledge ends with a box step and I would definitely not call myself competent.