skysight-inc/HackerNews huggingface dataset:
There's a book that GJS and Chris Hanson are writing, based on the course:

https://www.penguinrandomhouse.com/books/669475/software-des...

It should be coming out soon. I'd expect it to be available online as well.
Live from Apple’s virtual WWDC 2020
There is still a propellant problem. The other possibility for nuclear radiation drives is reflection. It’s much less efficient per watt because the momentum to energy ratio decreases as energy per mass increases, but the critical metric for long-term (nonrelativistic) space travel is momentum transfer per mass ejected, which is just the speed of the propellant medium, maximum c for photons, so reflection is preferred over expelled gas.

A few careers ago (NASA), I designed (not built) something called a duoplasmatron breeder reactor, which is a reactor driven remotely by a tritium ion beam. The nuclear radiation reflector would look something like a parabolic layered medium (gold, CVD diamond, Si3N4, carbon composite) to achieve a wide range of photon and neutron reflectivity with high heat tolerance. A second parabolic thermal reflector baffle may provide additional boost from anything that gets absorbed as heat.

So... if anybody is doing this sort of thing now, I’d be very interested to hear about it.
>If you let a bad community be bad in their dark corner, they won't spread as easily to the rest of the site.

I suspect this is the reason. I observed the opposite, a certain type of content disappearing after a separate comunity was created for it.
I think it's probably warranted some of the time, mostly around topics where much heat but little light is generated.
Only legal if you buy it through the state-approved sellers or grow your own.

Though the subreddit (was forced) to enact a “no sourcing” rule already in the past.
We hope to see a Dalits Lives Matter(DLM) movement in India TODAY. That is, if this country cares human rights and equality at all.
Why do you think that? If anything, managers can help better connect a more distributed workforce. (And those connections are one of the definite downsides of everyone being remote.)
There's no reason why it couldn't be implemented. At some point I'm sure it will be, as these kinds of protocols are needed for decentralized data sharing in the future.
I imagine this is reactive, since they can't proactively moderate their content. When they do get around to moderating (like checking reported comments), they can then penalize people who promoted the unacceptable content.

I think there should indeed be penalties for upvoting e.g. death threats.
TSMC officially begins 5 nm production
Do you share your internet? I read today that someone got banned because his roommate got banned
I have read of very long railgun designs (on the order of many kilometers), where the acceleration should be more gradual.
Kind of. I think we're talking past each other.

The ancestor comment said they "can't sell [their] data on the free market," and we contested that statement and each other a bit.

Bringing up that a marketplace hasn't been built yet and that the data still has value is somewhat irrelevant to the conversation I thought we were having. FWIW, I agree with you -- a marketplace hasn't been built (not that I'm sure it should be), and our data definitely has value.
> The post you are referring to was deleted by the user...

How do we know that? The body just says [removed] and the user is marked as [deleted].

If the admins can alter the content of your posts, then surely they can delete / remove content and have it show whatever they choose.
> The post you are referring to was deleted by the user who made the post not the mods....

Not true. The post body says [removed]. If the user deleted it, it would say [deleted].
About a year and a half ago, the credit card I was using to pay for YouTube Premium expired and for about a day, I was subjected to ads on YT—it was horrifying.

Once you go ad-free, it's hard to go back. I'd happily pay for an ad-free version of every service I use.

Scott Galloway has been suggesting that Twitter move to a subscription model, with all accounts with less <5000 followers be free, subsidized by a progressive monthly fee for larger accounts based on number of followers above 5000.

This would serve dual purpose of eliminating a whole heap of bots and fake accounts, forcing them to be tied to a credit card. With Twitter earning recurring revenue from whales, along with reducing or eliminating personal data aggregation for ad-targeting, I can't see a downside.
I like this approach to incentivize seeding, this could create a boom in torrenting if it works decently well and enough people hop on board. Too bad this is only running on test net, understandably.
They're getting an awful lot of free advertising by grandstanding that they won't pay for advertising.
IBM, Microsoft, and Amazon Halt Sales of Facial Recognition to Police
Show HN: Dropbase – Turn your CSV files into live databases in seconds
for all practical purposes this doesn't exist any more. It's jsut that western media focuses on it a lot.
We recently evaluated using Graviton2 over X86 for our Node.js app on AWS. There was enough friction, some native packages that didn't work out of the box, etc. and some key third party dependencies missing completely, that it wasn't worth the effort in the end even considering the savings, as we'd likely keep having these issues pop up and having to debug them remotely on Graviton.

If macOS goes ARM and there's a sizable population of developers testing and fixing these issues constantly, the math changes in favor of Graviton and it would make it a no-brainer to pick the cheaper alternative once everything "just works".
Wasn’t Modi democratically elected — twice?
In Prolog, backtracking is a fundamental feature of the language, and idiomatic code can do it places you might not think of.

Part of writing efficient Prolog is doing things to avoid such backtracking (by adding cuts or rearranging code).

Bit-blitting is just an example I made up for "large-scale manipulation of array data". There are such cases where backtracking would likely make more sense, though I'm not thinking of an obvious one right now.
I don't think more than half a percent of taxpayers know about top500, and I don't think many who know even care how their country ranks.
Not having a real name policy isn't the same as being anonymous. Back in the day my irc nick and my WoW username were far more well known than I, the human, will ever be.
You're right, I apologize for my tact. But I didn't intend to play any gotcha games. I never made false claims. And I just prefer to be anonymous. Thanks for the reminder though to appeal to higher ideals and the site guidelines.

Here is the full MIAC report. I concede there is nuance here like all things but on principle this is wrong-

https://imgur.com/a/ARNkrV4

And:

>"The Department of Public Safety has taken on the new and sinister role of political profiling,” fulminated Missouri Lt. Gov. Peter Kinder, a Republican.

https://www.recordnet.com/apps/pbcs.dll/article?AID=/2009041...
> How are the companies going to accommodate that set of regulations with the current layouts?

Most likely, they won't. If they gave shit about this, they wouldn't push people into the office at all.
Companies hiring designers despite Covid-19 (200 open positions)
Exactly this, Patagonia did not want to be supportive of a certain business culture.
As I have said countless times in the past:

- Moore's law is dead at the level of the transistor

- Architecture, HPC updates will keep coming for many years into the future

- AGI has already escaped Moore's law (i.e., development of a fully functional AGI will not be constrained by lack of Moore's law progress). And that's what really matters.

- Related note on AGI: it has escaped the data problem as well (as in we have the right kind of sensors: mainly cameras, microphones, and so on). That is, according to the categorization of AGI challenges in terms of hardware, data, algorithms, the only missing piece is the right set of algorithms.
> This approach is a very logical decision and honestly complaining this loudly about that step is incredibly privileged in a time where many are facing layoffs and pay cuts.

I addressed the privilege in my post. It's in bad faith to bring it up as if I didn't, also gaslighting.

> How does someone quitting their job because their work is playing a global pandemic step by step help any of the things you listed?

Playing a global pandemic step by step is not the issue. The pandemic exists. As a business, you were forced to do away with your archaic work-location policies. To then go back on those is repugnant. Simply keep the change the pandemic forced.

> That's not to take a "be happy with what you get and lick the boot" approach at all, but many companies have quite nice policies in regards to how COVID-19 is being handled.

For jobs that can be done remote, anything less than the option to work 100% remote forever is corrupt.

> These companies should absolutely change their behavior, but again, this was true before the pandemic.

Every company that forces employees into an office has gross office politics. The power dynamic of the commute is a self-fulfilling prophecy for this very issue. Asses in seats are office politics.
Is this a meme? Have you actually spent time in India? Caste based discrimination is illegal, so the country isn't "enforcing" any of it. In fact, there are several measures to counteract discrimination (like reservations, which is a whole other topic).

This just seems like a poor, uneducated opinion for the likes of HN.
That's my mistake. I confused data races and general race conditions, sorry about that :).
I think you may have misread the tone of my comment.

> It is decidedly in the interest of coffee conglomerates to demonstrate that coffee is good for society, because it justifies the great fiscal and human expenses they go to, to bring fresh coffee to your breakfast table.

I don't think that coffee is necessarily good for society, and that they're doing us a great service by revealing supporting information to us.

> consider the opportunity cost: we could instead be researching many other things that don't carry as high a cost as coffee (in terms of production labor, refining, and transportation), and may commute even greater benefits

I actually think we (as a society) should be more uniformly investing in the basic research: not only in things that make certain companies marginally more profitable, because now their expensive products are scientifically-proven to be "healthy".

However, I do think it's unreasonable to expect corporations to do this research for us, because they have no incentive to, as a sibling comment of yours pointed out. This vein of thought is nuanced, and I concede that it could be easily misinterpreted as apologia, given the context of my original message (which was misinformed).
What model makes sense and why should it be treated differently than other forums with moderation?

I'm a big fan of the idea that internet providers, DNS registrars, etc. need to be neutral to content in the way common carriers are, but I'm not convinced yet that platforms should have similar obligations. It seems that the appropriate response to schismatic disagreement with the "SysOps of the BBS" is to build another BBS as the "telephone network" is open to all.
Duplicate: https://news.ycombinator.com/item?id=23601011
The GP said take out the hot spots and crime would be comparable to Europe. Unless we're counting 80+ cities as "hot spots" that's not an accurate statement.
The Story of Stripe (2018)
This is true in the same way that if a homeless person had a million dollars he might not be homeless. The trick is how to get a functioning welfare state when your government is fundamentally broken.

Note that the even the CDC failed spectacularly at its primary job; its literal raison d'etre. You can criticize that the CDC lacked funding, but that is wrong[^1] and it misses the point: not being able to properly fund our agencies is itself evidence (if not proof) of government incompetence.

[^1]: Procuring masks and other PPE or even planning for a supply chain shortage is the cheapest, most impactful thing they could have done even without the benefit of hindsight (we knew from previous epidemics like SARS and MURS that the most likely epidemic would be respiratory in nature). Similarly, it's cheap enough to plan for standardized outbreak data collection and reporting (we should have known right away how many confirmed cases, deaths, recoveries, and tests we had in every locale). Similarly, we should have also had plans for scaling out testing capability. We also shouldn't have rolled our own (fallible, time consuming) tests if we were cash strapped--we should have used the WHO tests. Planning is relatively cheap and by all appearances the CDC didn't do it at all.
Society in India has been getting more progressive over the years. Compare any decade with previous decade and see the difference. It's a trait and gift of democracy, people with access to information adapt themselves to be compatible with modern ideas. There'll always be two sides like in any other countries, but balance is easily achievable.
No, it's not. But there is a lot of such painting going on, and you can't solve one evil by committing a second.
You seem to have forgotten to name the subreddit.

Reddit stopped copying Lumen (Chilling Effects) around 5 years ago.
I never said they were buying equities. Buying bonds and pushing rates to 0 still has an impact on the TINA attitude. of the market. And, in more direct ways, if you buy junk bonds from me, then I go turn around and buy equities, it's just the Fed buying equities with a few more steps in the middle.
The assumption that being non-remote is for office politics is writing off many other benefits. Even if you can go remote, building a remote culture takes time. Also, not everyone works well remote. Shifting a company to full-time remote isn't fair to those people either.

How is not bringing people into the office negligent? That's again the comment you are responding to - a company that sounds like they are trying to get back ASAP but only when it can be done safely, hence the month to month updates.
This is why an ActivityPub based, federated forum system might be the future here. Have it so you can join the network once, and carry the same username to any other site on the network without anything resembling a signup process. Perhaps you could even have a choice of aggregators which then displayed content from all those sites in one place, or let you view a combined karma score or post count or whatever too.

That'd fix most of Reddit's issues and then some.
> But Graviton needs a bigger jump, there's more investment there to port things over to ARM.

I agree to some extent but don’t underestimate how much this has changed in the cloud era: it’s never been cheaper to run multiple ISAs and a whole lot of stuff is running in environments where switching is easy (API-managed deployments, microservices, etc.) and the toolchains support ARM already thanks to phones/tablets and previous servers - so much code will just run on the JVM, high level languages like JavaScript Python, or low-level ones like Go and Rust with great cross-compiler support, etc. and hardware acceleration also takes away the need to pour engineer-hours into things like OpenSSL which might have blocked tons of applications.

At many businesses that is probably over the threshold where someone can say it’s worth switching the easy n% over since they’ll save money now and if the price/performance crown shifts back so can their workloads. AWS has apparently already done this for managed services like load-balancers and I’m sure they aren’t alone in watching the prices very closely. That’s what Intel is most afraid of: the fat margins aren’t coming back even if they ship a great next generation chip.
> agree on the bigger desks bit, but what difference does a 12" tall barrier make?

It keeps your neighbor's shit from spilling over onto your desk, necessitating an awkward conversation (at the minimum). It also gives you a surface to attach taller, jury-rigged barriers, if you're so inclined.
To be fair, groups like that exist and work closely within the political spectrum for influence, not just in protest and agitation as in BLM. There have been several Dalit leaders and non-Dalit leaders for backward class upliftment.
>America has a very easy answer to reducing the death rate, but that it cannot or will not take: get rid of the guns.

Color me skeptical. Does banning certain drugs prevent drug-related crime? These kinds of indirect proposals (e.g. ban guns), that purport to solve complicated social problems (e.g. crime-rate) never pan out, but they are attractive because it FEELS like they are the answer - especially if you already have an ideology that underpins that belief.

> But they didn’t come out of a “we need to make our communities safer” perspective (that was merely the sales pitch)

Of course it did. That's exactly why that bill was passed.

>because they increased criminal penalties on acts that generally affect low-income and minority “criminals”.

Because those companies are the most impacted by crime, petty or otherwise. Gated rich communities were perfectly fine.

>Reinvestment in those communities. Education. Treatment for trauma. Those things _all_ made far more difference in making communities safer than any single power given to cops since the 90s. Those things just destroyed some of the communities even more.

None of the things you present as explanations are actually supported by anything. You're putting out explanations that you FEEL are correct based on your own ideology and biases. City, State and Federal governments spend an inordinate amount of money already. Maybe they should spend more, but I don't see evidence that that will lead to outcomes you think it will.

>It talks about the rural/urban variability and about local perception of crime (people believe that there’s more crime across America, but most do not believe that there’s more crime in _their_ area).

Don't gas-light. Pull up the crime and homicide rates of a few American cities and compare to Europe. Clearly, America is an outlier.
Leaving the content up allows Reddit to track users' engagement and categorize/map their viewpoints.
>I don't want to register zillions of forums and manage my passwords.

and I don't especially want the admins of any one site to be able to erase my entire existence off the net on a whim.

single/token login from known net authority agents is common. I'd rather embrace that kind of thing than the idea that any one site should be our de facto forum and communications standard.

I was reminded of this recently when a personal favorite BB forum disappeared , taking years and years of niche automotive data with it. Data that was rare from the get-go, and un-replaceable now.

I'd rather decentralize my 'data-stores'. Reddit will disappear one day, and it's up to them to be a good actor towards the archival group, providing data bandwidth during a time when investors have become disinterested, and paying the light bill is near impossible.

I wouldn't count on that.

Keep archives, repeat information elsewhere , and most importantly : don't embrace adding and relying on centralized structure where doing so inherently adds weakness and fallibility.
No more installing Chrome extensions to deal with HLS or having to use Edge either.
I used to do that every day with my first cup of coffee, but for the perceived health benefits of the coconut oil, not the stomach thing. However, I stopped after my cholesterol shot up in my yearly labs, and this was the only thing I had changed about my diet since my last labs. That was right before the studies started coming out saying coconut oil wasn't as healthy as previously reported, so I just decided to cut it out altogether. For the rare occasion when coffee is bothering my tummy, if I'm going to add something bad, I'll add cream cuz it's yummy.
Facebook should indefinitely suspend any company who partakes in this from using their platform (advertising, fan pages, groups, etc).

See how much those companies like censorship when it impacts their bottom line.
It’s not mostly right however. It’s right for your run of the mill public or private universities, but as evidenced by this poster and countless others, there is a unique value proposition to going to a University: a learning environment unlike elsewhere in the world, with like minded people. I challenge you to try and apply this articles critiques to Harvard, Stanford, Duke, Chapel Hill, MIT, Georgia Tech, UT, etc. The environment, like minded individuals, resources at your disposal, and support structures in place can not be replicated in the virtual world with today or tomorrow’s technology. Maybe next 2-3 decades technology if advancements in 3D and holographic technology continue, but there’s signs that’s slowing down and it’s mostly polishing what’s available today rather than any true breakthroughs.
Sorry that I see your post is downvoted, I'm generally in agreement, as an avid rust programmer. Rust can express a lot of safety guarantees, but there's a massive amount of room for improvements, and I'm sorry that the community hasn't been accepting of that in your interactions.

> Similarly, state machine formal verification to prevent design bugs are something that hardware engineers are deeply aware of but would also be extremely useful to ensure "correct-by-construction" event driven code.

This reminds me a lot of P. Rust has a crate that I wouldn't necessarily recommend, but it might be similar to what you want:

https://github.com/fitzgen/state_machine_future

Of course, in this case the code is the model, there is no verification here.

The Z3 integration with Nim is super cool, would love to see something like that for Rust. I know of some existing research that reminds me of this but I don't have time to dig up the paper - it was implemented in macros, and looked a lot like what you've got there, with pre/post conditions, ensures, etc. If someone has that paper, please link it! I would love to reread.

edit: Here's one rust crate leveraging Z3, but not the one I was thinking of
https://github.com/Rust-Proof/rustproof
Capitalism is driving the world, and it is setting the policies as per necessity, different ones in different countries. The west has stopped exporting democracy around the world since the cold war was won. Many countries have democratically elected government turned to autocratic/authoritarian regime.

Oh, "populism" is the new best friend of the rising powers.
> And that's why they won't make any more... you'd be mad to try and do another immersive sim.

To be clear, I don't think they even tried, as far as DX:HR is concerned. Instead, it looks like they tried hard to borrow ideas from these mainstream console games and made an anti-immersive "sim" that constantly takes you into third person, floods the screen with XP & loot popups and other UI noise, replaces melee weapons with "tap E to watch a mini-cutscene where MC beats up a guy", features busywork-filler-padding sidequests for the instant gratification RPG addicts, etcetra.

I think, if someone actually tried, this is a proven niche where one could definitely find some success.

As far as the FPS genre is concerned: boy do people nitpick them. You can point at a handful of super popular titles, and for each, there's a mountain of forgotten and thoroughly mediocre (or worse) first person shooters.

There's no single genre where success is for granted. In general, there's a long tail of games that get little attention and a small bunch of "rockstars" that everyone plays.
Why are 3 & 4 different more challenging for railguns than other means of propulsion?
Deep Learning from Scratch Part 3: Generalizing Gradient Descent