skysight-inc/HackerNews huggingface dataset:
I see this argument all the time and just don't get it. China is basically stealing everything from source code, hardware schematics, materials science research.

It might accelerate this a bit, but China already had its sights on a domestic semiconductor solutions years ago.

The idea that they were going to ever let the US just "have the market" isn't how China does things. One way or another, China is going to copy everything the US does. It's just kicking the can down the road another 5 years or so.

It's not a solution.
Not even all Americans align with certain US policies, and certainly foreign nations do not necessarily. Most Allied countries comply with current administration due to pressure, not because of some misguided loyalty to America.
Are there any other areas of maths being taught wrong on this sort of scale?

An online video course could be some scale.

I once saw a video lesson on the Pythagorean theorem:
Drawing a right-angled triangle, marking the hypothenuse with the letter h, marking both of the catheti with the letter c, then proceeds to write the formula

h^2 = c^2 + c^2
Well, if the dental work needs a conceptual makeover, then see a dentist.

I'd contend that the immutability of containers and why Docker is such a win might be getting Haskell to its moment.

For me, the hardest unlearning piece isn't the syntax.

Rather, the impact of the purity on the execution model is the stumbling block.

Monads seem arcane because laziness + purity = statelessness, which never really had tangible meaning until the idea that a Docker image is also stateless came along.

Maybe some cruder, crayon-level examples can be devised to help us slow folk get there.
The idea of "marketing Haskell" to me is akin to marketing math and mathematical notation. Yes, Haskell is elegant. Yes, it is powerful. Yes, it is succinct. Yes, the benefits of its algebraic type system are many and very real -- if your code compiles, it is correct in many important ways. No one can argue with any of that.

But... most people who look into Haskell lose steam as soon as they realize they actually must understand and be able to reason about functors, applicative functors, monoids, monads, and (god forbid) lens-things like prisms, traversals, isos, etc. to do anything useful. It's a shame.
I tried a bunch of stuff that some worked and others didn't.

Recently I got an idea. "Laziness is not an emotion, is a reaction. I'm choosing to be lazy right now". By taking accountability that I'm in control of feeling lazy, I can shut it down, get up, and start doing.
This appears to have caused our Heroku managed apps to go offline for 70+ minutes.

https://status.heroku.com/incidents/2034

Anyone that was already connected was able to continue accessing the sites but new connections failed. This mostly affected web users.

Our main app server continued to crank along thankfully (also on Heroku) and that kept the mobile traffic going which is 90% of our users.

Edit: adding Heroku ticket link
Also at: https://elemental.medium.com/coronavirus-may-be-a-blood-vess...

Briefly, previous SARS viruses reproduced in the lungs, impairing respiration, but Covid-19 reproduces in the
cells lining blood vessels, impairing circulation.
+1

This also applies to ergonomics. There's a guideline for good ergonomics... but you'll need to experiment and personalize to fit your own ..umm... physiology(?).

I'm actually a huge fan of dark mode. I also enable flux's night mode the whole day; it seems to make me sleep better since I already have enough blue light in my daily life. I don't need more from a monitor.
Because if you don't align itself with US there is going to be extended trouble from all angles.
Three-torus here, which is very pleasing to me.

Unfortunately, the page for my sign shows a triple torus, which is not the same thing.
Arguably the world’s most deployed database considering browsers and iOS apps usage.
I used to be on the latest and security camp as well. But after all these years I am starting to understand why people dont update.

It is extremely frustrating. Especially when Catalina removes features that were working perfectly.
It depends on the environment I am in. If I am in a dark room (my coworkers like the dark for some reason) it is much less glaring to look at a dark screen. In a well lit room (like my home office) a light theme is much easier to use. I just switch between the Tomorrow and Tomorrow Night themes.

https://github.com/ChrisKempson/Tomorrow-Theme
The suits are just pressure suits, more for basic protection and temporary loss of pressure, not extended EVAs or anything. They do look pretty comfortable, though, and I think the audio and signal are better.

The touchscreen interface is "different" - the astronauts talked a bit about helping SpaceX design it and the pros and cons of it in a recent interview. I wrote it up here but you can also check the original long NASA TV thing.

https://techcrunch.com/2020/05/04/this-is-certainly-differen...
Most dark modes hurt my eyes, it seems like white characters or graphics on a black background burn my retina (like a glare). For video editing, photoshoping or any apps I use normal `white` mode. For coding I use solarized liked theme with pastels and soft colours.

It could be debated but I think it's a matter of personal taste, habits, personal sensitivity to light and scientific-based explanations and that each of those aspects carry a different weight depending on the person.
Certain bottling plants use real sugar instead of HFCS. I thought Cleveland did that.
Hey now, leave my Ayaya out of this.

Here is my point -- the potential losses are bounded. They can't unteach you what you've learned in 30 years of work, so you can probably earn income even after losing the biggest lawsuit EvilCorp can muster. Or go work at Starbucks if you are somehow banned from using computers, which is not really something that can happen for violating a software EULA. Compare this to driving to work -- you could get in a car accident that leaves you with a permanent brain injury. You'd never work again. You'd never recognize your family again. It's a big downside! And yet we drive.

Furthermore, I would be a little surprised to be reading "Extreme Car News" and seeing the first comment say "wow, you shouldn't modify your car to have that kind of acceleration, you could die!" People are aware of the risk, as they are experts in the field, and we are here to learn what we can from their experience without taking the risk ourselves. It therefore surprises me that everyone on a forum called "Hacker News" is speculating about the worst case outcome for writing a single mailing list post. The discussion has devolved into a trainwreck of "look at what could happen to that guy, I'm glad that's not me," which I think is pretty nasty to the author of the mailing list post, and kind of against the hacker spirit. He took a risk. Let's learn what we can.
> Right, but the GPL license's protection also means that a BSD cannot be distributed under the BSD license (or similar) if it includes GPL components.

I fail to see how this is different from what I wrote above (except for the missing word in my post above):

> You cannot however mix GPL code into your BSD code and [distribute] the resulting work as BSD.
For anyone interested in learning about phytoplankton and other microorganisms, I highly recommend the YouTube series Journey to the Microcosmos, https://www.youtube.com/watch?v=wS2mdmt4JPw&list=PLf3BfsFyWW...

For example this video about diatoms, which are responsible for a quarter to half of the oxygen produced on earth, https://www.youtube.com/watch?v=Ygty9HxhFK4 https://en.wikipedia.org/wiki/Diatom

Seeing high-quality video of things moving around gives a much more visceral impression than just reading text interspersed with static images, in my opinion.
Don't worry, in 15 years they will use all the money they gained doing this, and start acting well again. Better even.

And everybody will forgive, and people will defend them on HN for being redeemed, and they will be alright.

That's been the trend.
> Another problem is cultural. Haskell and Scala community have been the most hostile communities I have experienced. And the friendliness of communities is a sure predictor for growth.

To elaborate further, some of the most upsetting conversations I’ve had with Haskellers revolved around simple things like exceptions and logging. Issues would consistently turn into a matter of personal intelligence, and proving oneself correct. It is insane. We are just trying to build things here. These are very boring implementation issues that just need to get done.
Lots of Eliot's well-known work is a century old, plenty of it is short, most of it has been through the wringer of various forms of literary theory, interpretation and critique. I'm not sure what evidence there is the idea of a canon has come under some particularly 'savage' recent critique that would affect people under 30 especially or that such people don't read much on paper or that the work itself is particularly tied to paper in some important way. I think you're shoehorning some sort of generalized social critique/viewpoint of your own into the perception of Eliot and I can't see how it actually fits other than by generalities so mushy they can be made to fit anything.
How does it make it worse?
> But... most people who look into Haskell lose steam as soon as they realize they actually must understand functors, applicative functors, monoids, monads, and (god forbid) lens-things like prisms, traversals, isos, etc. to do anything useful.

Why? Why does everyone think that you have to understand the mathematical underpinnings of Haskell to program in it, but not that you have to understand the assembler to which C compiles to program in it, or the internals of your car's engine to drive it?

Of course, in each of these cases, someone who has that knowledge will probably have some power available that will be denied to those who don't; but that doesn't mean you can't use it. The great thing about this mathematical knowledge is that it can be filled in on demand, and, unlike a lot of knowledge that you don't even know you don't have, when you realise you want to understand what these objects are, you've already got the terminology to look it up in research papers.
Normally I would agree... But 27 seconds to 30 minutes to create an empty database?!
* How do I create a program (in this language)?

* How do I store a program?

* How do I run a program (in this language)?

* How do I get the program to output something (in this language)?
You don't run C programs by calling python a.c, you run them by first compiling and then running the result.
And yeah, I put the link there to illustrate what I was talking about, and it's not about why and how you learn a new programming language.
Buran had non-toxic components for RCS. Kliper was planned with non-toxic RCS. Soyuz spacecraft at least has non-toxic components for capsule RCS, so when the capsule lands, it doesn't need to be approached in a chemical protection suit.

It's not a question of choices - there are choices. I suspect it's a question which is considered less important so far, so SpaceX didn't pay that much attention to it, considering they had to do a lot of other things already. But I hope we'll get there sooner rather than later.
As already mentioned, Rust wasn't copying anything; the `HashMap` is not a `Copy`-able type, so it was just moved around (it's also not very large: all its items are behind a pointer to the heap).

All you did was move the drop from the `fn_that_drops_heavy_things` to the end of `main`, where it is outside the timing function.
> When the author began to align obviously false information with more credible things

I think there is a terminology problem in this discussion and it will cause lots of us in the comments to chase our tails.

I think the credibility word is too subjective to be useful in this discussion. I think most conspiracy accusations are unprovable by most of us (unless we are federal prosecutors) so I assume that both logic conspiracies and fantasy conspiracies must be evaluated with equally few facts.

I think the myth that the CIA created/empowered the term “conspiracy theory” has lots of the same symptoms of fantasy conspiracy theories themselves. It apparently empowers the powerful and gives additional persecution claims to those who are labeled “crazy”.

The most interesting part of your comment was to get me thinking about the role of bots (and AI in the future) in crafting both hypotheses and researching them. I’m curious if social media bots may give us the tools to effectively test the psychological traits of people who are more likely to adopt theories about less coherent conspiracies.
+1 for solarized theme. IDE solarized are better than dark mode. Most of the dark modes are actually hurting the eyes. Heavy contrast and font blur is very common thing in dark mode.
Show HN: a Redmine plugin allowing to serve Git repositories with HTTP
Regarding the lack of examples, the type system is strong enough that in many cases, if you write the types that you expect up front, there's only one or few possible implementations.

A common workflow for Haskellers is to specify type signatures and interactively edit until the compiler is satisfied. Often, the code gives you correct results on the first try.

This means the type signatures aren't simply documentation, they also strongly direct your implementation. The problem from a marketing and adoption standpoint is that this isn't visible until you've hopped into a REPL or IDE and tried it yourself.
The thing is it's not slow because rust is doing anything wrong or unoptimized, is slow because cleaning up insane amounts of memory allocations is slow.

Also if you run this:

```
fn main() {
::std::thread::spawn(move || { println!("end")});
println!("Hello, world!");
}
```

You might notice that "end" might not be printed because the main thread exists before it prints and terminates the process. This means that the dropping might actually not happen if it's at the end of the program and nothing is faster then not doing the work.

Also it's a not uncommon pattern in small user facing CLI to leak (memory) resources, as they (should) be cleaned up with the process termination.
One problem I seem to be having with FF (on Win 10 anyway) is it's not checking my hosts file for a domain lookup before using dns. Overriding the hosts file makes some things easier so I tend to do it. But now, my first time trying from Win, and it's not getting my page. Chrome works, ssh from WSL works, but FF uses dns first, apparently.

It's the first development usage I've found that Chrome works better than FF.
I think there's a sci-fi story buried in here. In the future, when humans die out, online conversation somehow continues at the usual pace.
UPD: For temporary purpose, latest nightly AppImage build available here.[0]

[0] https://github.com/Symbian9/Astree/releases/tag/continuous
Dark modes are great, until someone decides to use dark color fonts on dark backgrounds (which constitutes up to 99.9% but not all of the themes)
Because ASML uses lots of technologies and IPs originated from the U.S., consequently is subject to export control & entity list restrictions.

Semiconductor industries has been growing into a very tightly coupled and globalized eco-systems these days. No one country can own or domesticate the entire ecosystem or supply chains, albeit companies headquarters in the U.S. still own a significant portion of the technologies and intellectual properties.
That is, until you get to the point where you want to automate your build and oh now you need to learn the clusterf*ck that's msbuild.
Ask HN: What are your best purchases under $100?
I'm curious what items under $100 have made your life better or any meaningful impact.

https://www.lesswrong.com/posts/22SuXhyWAqPMTsBPk/what-are-objects-that-have-made-your-life-better

For example, for me one of them is having a small bluetooth keyword which I use with my iPhone on the plane, Uber, at cafes and restaurants.
I’ve heard it before, but it does sound like a typical conspiracy theory: it could have theoretically happened, but seems too convenient for conspiracy theorists to use to say they are being persecuted by a large body of power.
Just want to add this for you : https://www.wired.co.uk/article/dark-mode-chrome-android-ios...
We're also on an old version, but one problem we're now facing is that the documentation for the version we're on is no longer online. I had to go to an archive site to look something up recently, as the particular feature I was looking at had changed between the version we're on and the oldest still-published documentation.
That seems like a dangerous strategy, since you're also promoting the idea or person you seek to destroy.
The difference is that Japan and SK were strategic allies. Intelligence sharing agreements were strong, the US provided security guarantees. It's an acceptable loss, to a certain extent, to cede the market to the US, despite it hurting cutting edge domestic industries.

China will not accept US market dominance in chip production, or frankly, US dominance in any industry.
I only know a very little rust, but since it's generally a good practice to never defer writing (or other side effects) to an ambiguous future point in time - with memory allocations as the only plausible exception - is there any way in rust to make sure one doesn't accidentally move complex objects with drop side-effects into other threads?

Granted the way the type system work you usually know the type of a variable quite well, but could this happen with opaque types?

I'm very much out of my depth, but it felt like one of those things that could really bite you if you are unaware, as happened with finalizers in Java decades ago.
“Periodic table” for protons in the nucleus
A couple years ago they did a pad abort test. Not from a rocket, but from the ground. It got out to sea just fine.
> Basically all crewed orbital spacecraft have used hypergols in some ways.

Right, but Soyuz spacecraft is flying since 1960-s, has a half a year orbital storage time, and yet it has no toxic RCS for the capsule. At least that simplifies handling after landing.

And it was long since proven RCS doesn't need to use toxic components. The fact that Crew Dragon still uses them points more to the tradition than to the necessity.
This is a slightly loaded question, but is a Haskell codebase harder to work on than one in a reasonable non-functional language?

Maybe it's because the bugs are generally less common and easier to fix, but when I look at Haskell codebases it seems like it's quite difficult to achieve the same level of "separation" one would in (say) Java - i.e. an average Haskell file seems to purely consist of many loose free functions (often with very short names!).

I might be missing the point but the aforementioned always pushed me away from Haskell - great language, but seems to have legibility as an afterthought (as opposed to python, which is an awful language, does manage to enforce some sort of legible coding style)
I write code in black windows (#000) and my terminals are also black. Everything else is white (#fff). No problems with that except the ones caused by aging, but I'm still ok with a screen at a harm's length.
Mention language names and people get hung up on the specific languages chosen, use generic names and people try to figure out what the obscured specific languages might have been ….
Yeah, I think that was pretty much the author's point.
> Maybe the problem isn't the people themselves, but the systematic circumstances that lead people down this road.

What is the difference? Systemic circumstances define us if they occur for long enough.
Show HN: Tunnel – minimal plug and play API gateway and developer portal
Global Entry
Probably the same people who use thin, light fonts on bright backgrounds.
I don't know why this reminds you of Sutton's essay. Sutton claims that algorithmic work will be superseded by brute-force approaches powered by exponential growth in computing power. But this paper is not the result of exponential growth in computing power. It's the result of $1b worth of Azure credits provided for free by Microsoft.

Rich Sutton is a great scientist but he is fooled by randomness. He initiated his research program just as Moore's law was taking off. Thanks to Moore, his approach saw incredible success and brought him deserved acclaim. But just as Moore's law is pulling the rug from under him, he is using his stature to claim that no other approach but his can work.
We detached this subthread from https://news.ycombinator.com/item?id=23359746.
"...what can be saved from the ruins"

What ruins would this apply to now? I see that the mission statement of the magazine is "defending Western civilization". Erm...
The majority of Taiwanese were about to vote for KMT (pro-China party) just before HK protests erupted. After that there was a massive shift in favor of the pro-US administration. But immediately prior to protests KMT was favored to win.
The more light that hits your eyes, the more your iris contracts. The smaller hole makes for a clearer image (think of a pinhole camera). People who like dark mode have good vision at screen distance. For some others, they need to strain their eyes more to focus at that distance.

For me, the best is to have dark text on a light enough background, enough screen brightness overall, and a well lit room (natural light is really good, as long as it isn't coming from behind me).
That's strange, this project is funded by mozilla and does not run on latest firefox
It certainly takes a lot of energy to produce aluminum from ore. But how would you extract that energy again, burn it?
FWIW I'm getting cert errors on that site on the latest chrome.
> There is nothing wise about "standing with Trump" on any issue.

The hackernews way of saying “Orange Man Bad.”

> the current US administration already made it quite clear that the US under the Trump administration is a highly unreliable ally

Dumbest thing I’ve read in a while.
One problem with light modes is that they tend to be higher contrast or harsh, or pick their colours in a weird way. Last time I looked at trying light modes anyway, I tried over 20 extensions
Definitely not. Reduces my eye strain. Been doing it for about 10 years
With all those high-profile third parties using Apple ID, what would happen if somebody stole/deleted/damaged my data/assets on Dropbox/Spotify/Airbnb/...?
Would I sue the provider who would sue Apple? But does Apple provide any guarantees to the relying parties? And if not and the only way is to depend on the reputation when choosing the ID providers you want to support, how would anyone want to support Apple ID after this? And could they not use it if Apple forces them to...?
> I prefer to just get started by building something.

I think you're missing the point (of the original article). That's pretty much the issue here, some languages have such complicated ecosystems that you can't "just" build something.

To go from "ok I've written some code" to "it runs", sometimes it takes hours of wrestling with complicated tools and reading poorly written docs. It's infuriating.