skysight-inc/HackerNews huggingface dataset:
Still Nasa got to work with Soyuz space launches to the ISS which is sort of along those lines even if the USSR had collapsed by then.
Thanks, this was really helpful!
I think the kind of ok feel is from the "they should have had backups, that'll teach 'em" crowd.
Massive baseball fan here. This has basically destroyed all confidence most serious fans have in the ability to keep playing. They created a 110-page manual, which included all sorts of minutiae, but not when to cancel a game! Ultimately, every organization implementing these sorts of precautions has to decide whether their their precautions are theater or reality; once an organization is found to be participating in this "health theater", how does it convince stakeholders/the public/regulators that it is capable of controlling the situation going forward?

IMHO, MLB's actions here, as with everything they do, is America writ small

EDIT: wording of a sentence for clarity
One interesting detail is that this describes 99% of internships in Tech. Interns are given to a single full time engineer who have never managed before because it is their first foray into management.

Yet I don't hear a lot of complaint about the program (or maybe I've not been listening hard enough). I wonder what the different about internships.
Make lunch dates with coworkers or friends.

A stationary bike or row machine or an aerobics video is a good home exercise (and can be done on video chat)
> EU regulators comb through documents looking for about 2,500 search phrases which include “big question”, “shut down” and “not good for us”, said a person familiar with the matter.

Is the text of the Commission's requests public? This paragraph seems to be implying that they're demanding every Facebook document containing any of these 2,500 phrases, which does seem pretty dumb if true.
Thank you for the quotes. I think this essentially answers (or at least provides a hypothesis for) the question I posted about how the numerical system influenced their math.
There is a long list of entirely preventable human-caused accidents. Is there a reason pilot-caused crashes are less scary for you? Computer caused accidents will be fixed and won't happen again. Human-caused accidents will keep happening as long as experience is valuable.

Aeroflot Flight 593 - pilot let his son fly the plane, 63 dead
Germanwings Flight 9525 - (possibly suicidal) pilot deliberately crashed , 144 dead
Air France Flight 447 - pilot caused airplane to stall, 228 dead
Aero Flight 311 - both pilots got drunk, 25 dead

and this is just a random selection, there are long long lists of human-caused aviation accidents.
> If I demand to work from the office just so they I get the chance to occasionally chat to someone, it takes away valuable capacity from people that actually need it.

Isn't that a premature optimization? How do you know that's going to happen?
> You've honestly given me a lot to think about and I think I see a better way forward now. Your insight really increased my mood because I think you've discovered something very important that I am likely going to be spending quite a bit of time on in the next coming weeks and months.

Happy to hear. I've been working on my own project for close to a year and am close to launch, so I think I understand where you are coming from.

It is practically impossible to view your product as someone unfamiliar with it would. So, that leaves you asking for feedback. Next, it is really difficult to distill user feedback (such as found on this thread) into things you should actually work on. Is a comment just a vocal minority complaining or an indication that some concept should be changed? I think you're doing a good job taking feedback to heart and I'm really rooting for you.

> Another fantastic reply! I really need to get this to take off already so I can hire you before you make your own and out-compete me.

If/when it takes off, just make me an adviser and shoot a couple percentage points my way!
HN discussion about that post: https://news.ycombinator.com/item?id=23891226
> My little brother is starting pilots school soon, maybe I should talk him out of it.

So he wants to be an airline pilot? Ultimately ferrying passengers? He should be ok. The industry is very safety conscious and moves extremely slowly. His children, if he decides to have some, may not be if they choose the same career.

I would be more concerned about smaller planes or freighters.

This is provided that this is something that he actually loves to do. Because otherwise not sleeping at home and weird hours will get old really quick. If he loves aviation you probably can't talk him out of it :)
3D-Printed Modular Microcages as Instructive Scaffolds for Tissue Engineering
> Smartwatch maker Garmin has obtained the decryption key to recover its computer files from a ransomware attack last Thursday, Sky News has learned.

Is this really the aspect of their business that they're most known for now? I still think of them as a GPS/Geolocation device company.
And finally, ideally, the last 20% shifts to gas turbines fueled with clean hydrogen.

The UK has about 1000 TWh of hydrogen storage potential in onshore salt deposits that could be solution-mined to make underground hydrogen storage caverns.

"Technical potential of salt caverns for hydrogen storage in Europe"

https://www.sciencedirect.com/science/article/abs/pii/S03603...

Siemens is providing a gas turbine generator that will run on 100% renewable hydrogen as part of the HYFLEXPOWER demonstrator project:

https://press.siemens.com/global/en/pressrelease/hyflexpower...

Siemens and General Electric both have roadmaps for gas turbines running on pure hydrogen:

"Siemens’ Roadmap to 100% Hydrogen Gas Turbines"

https://www.powermag.com/siemens-roadmap-to-100-hydrogen-gas...

GE Power "Hydrogen fueled gas turbines"

https://www.ge.com/power/gas/fuel-capability/hydrogen-fueled...

Most current turbine models are already capable of running on a methane-hydrogen blend.

I like to highlight these projects because people sometimes mistakenly think that seasonal-scale storage with hydrogen also requires breakthroughs in scaling fuel cell technology. Evolutionary developments in gas turbine technology will also make it practical.
Answer: find the email address of the person the product manager of Google Drive reports to, and start sharing stuff with them.

(/s: not condoning doxxing here)
As NN models get more advanced generating speech synthesis will get progressively more convincing and less expensive to implement, even if the models aren't built for speech synthesis specifically. The same can be said for image generation/transformation. If we are to continue develop AI then this is likely inevitable. There are benefits to these models for mute people, for example. Adversarial models can be built to detect fake audio samples. Regulation (ex: adding tells/signatures in commercial products) would also help. The government would have to ban most AI research or they would only be prolonging the inevitable.
I don't know if this means something is truly wrong. AI is a mix of engineering and scientific research, just like most CS subfields. Recently, the emphasis has shifted towards engineering, as the applications of neural nets have skyrocketed after a few breakthroughs in performance.

It's similar to computer systems research. For example, a research paper on filesystems might tell us a simple trick which leads to better performance on NVMM. The paper may go into why the trick works, but it doesn't (and shouldn't need to) generalize and try to improve our general understanding of how to design filesystems on different hardware. We've been designing filesystems to this day and well, we are always still guessing about which approaches to use and hoping for the best. In the same vein, we don't even have a widely-accepted theory of how to use data structures yet.

So, I don't think that neural nets aren't scientific enough means that it's all BS. We have gaps in understanding, but the power of the models warrants a lot of continued work on finding useful applications.

Doesn't mean I don't think AI is over-hyped/overfunded though...
So, is it like Tandem with always on video ?
The simplest CSS variable dark mode theme
We already have automated railways - metro trains in copenhagen have been self driving for over a decade now. While I am not personally sure about airplanes, automated trains should become more popular.
It's super easy to make statements like that, when you are unaffected third party.

I'm against fueling ransoms, but this isn't black and white when it hits home.
"early settlers" is a tiny slice of history.
Incremental Static Site Regeneration is really compelling, I wonder what the gotchas are.

For instance, I have a project where the front page gets server-side-rendered for logged out users. We can't do client-side-rendering because we care about SEO. And we can't do static-generation at build time because the content of the front page regularly changes (it summarizes activities of other users).

But with incremental static site generation... even if we care about the community always having up-to-date data on that front page, we could presumably set the timeout to like five seconds. That's a heck of a savings compared to generating it on every request.
Hey! I've seen your results! Really fantastic work!

Thanks for making this so open and accessible.
> we will see automated railways

The future is now: there are automated rail lines in a numbers of cities around the world. Some are relatively old, too.

The JFK AirTrain is one such example.
I love having idempotent makefile tasks that can do this kind of thing.

And as far as "pages of instructions in various states of decay," couldn't agree more that those aren't a good solution. I usually observe those instructions containing lots of terminal commands. I'd rather have those in an executable format, with commenting if explanation is needed. Then it's (usually, hopefully) pretty obvious where something breaks, instead of rotting instructions nobody can say 100% what is or isn't current.
Courts also generally consider things like long-standing precedent and decades of industry practice, as well as estoppel. It's a practice that everyone in an industry has done for decades, which matches the general consensus understanding throughout the FOSS developer community, in addition to being the interpretation of the authors of the license.

As I understand it, the rationale for that FAQ entry was that a blanket statement that communication over a socket never creates a derivative work would allow for things like "what if we built a stub that just moves a shared library out-of-process and copies memory back and forth over a socket", or other similar tricks.

Of course, if Oracle v. Google holds as case law (which we'll find out any month now), then the software world turns upside-down and inside-out, and much of the industry will have cases against each other over "API copyrights"; in that world, I have no idea where this would fall.
>to think of this as only an incremental improvement over markov chains is underselling the advance.

Erm, citations needed. It's a giant, inefficient and shitty KNN model, which is capable of mimicking markov chains. Wonderful marketing achievement and not much else.
> Keep getting spam shared on an account I don't use much, but keep getting notifications. Not fun when my 9 yo son is on my phone and a notification pops up that someone shared "eat my pussy baby". Google needs to address this.

Oh. That's bad.
Reminds me of:

"Facebook Announces Plan To Break Up U.S. Government Before It Becomes Too Powerful"

The Onion, of course. https://www.theonion.com/facebook-announces-plan-to-break-up...
This is so relateable. I generally reply to all recruiters from NY/NJ and tell them I don't ever want to talk to them. I have no desire for hedge fund backed companies. Another thing that always get me is when so company wants x number of years experience with y technology, but x is larger than the total time since technology was available. Worst thing I had a recruiter do to me was send me an email, and instead of BCCing all the candidates they CC'd them thus disclosing all of their recruitment efforts. Also they're emails.
It's not about reporting, it's about decision making. Who is making the decisions? Who is deciding if a feature is worth postponing the deadline? Who is deciding when good is good enough? Who is deciding how to structure the teams? Should we write unit tests? How many? What should be unit tested? What's the software architecture? What DB to use? If you take any two devs there are a million things they'll disagree on. And someone just needs to make a choice.

For expediency, so you don't spend too much time bike shedding, and for consistency so you either deliver a polished and robust application late or a rough application on time instead of a half reliable, half polished application a little late.

Most of these decision should be made at the organization level or by a person full time on the team. And usually the person who makes these decisions(the product ones not necessarily the technical ones) also reports up the chain to make sure theses decisions are aligned with the organization.
"Did the clumsiness of doing calculations in Roman numerals keep them from developing more complex systems of numerical calculation?"

Probably? I mean, look what the world achieved after it left roman numerals behind.
This doesn't really make any sense to me. Shared structure is not enough to assume shared meaning. Even given the idea of Universal Grammar (which seems extremely likely, given the interchangeablility of human languages for babies), that tells us nothing about the actual words and their association with the human world.

Take the sentence 'I fooed a bar with a Baz' - can you infer what I did from this?
OP here - glad that you enjoyed it, thanks for reading!

One thing I'll mention is that management is hard and largely a learned skill. I think of it like playing a sport. Some people are better than others due to innate ability, but everyone can improve with practice.

We've written / will write more on these sorts of topics if you're looking for more tips. Best of luck!
The functions in those examples have fixed numbers of arguments,
so one would use the original formulation shown by Tyr42.

> (+) <$> ZipList [1,2,3] <*> ZipList [4,5,6]
ZipList {getZipList = [5,7,9]}

> (+3) <$> ZipList [1,2,3]
ZipList {getZipList = [4,5,6]}

> let max3 x y z = max x (max y z)
> max3 <$> ZipList [1,2] <*> ZipList [3,4] <*> ZipList [5,6]
ZipList {getZipList = [5,6]}

If you want to use "functions unknown at runtime that could take
any number of arguments" then you'll have to pass the arguments
in a list. Of course these can crash at runtime, which
Haskellers wouldn't be happy with given an alternative, but
hey-ho, let's see where we get.

> let unsafePlus [x, y] = x + y
> fmap unsafePlus (sequenceA [ZipList [1,2,3], ZipList [4,5,6]])
ZipList {getZipList = [5,7,9]}

> let unsafePlus3 [x] = x + 3
> fmap unsafePlus3 (sequenceA [ZipList [1,2,3]])
ZipList {getZipList = [4,5,6]}

> unsafeMax3 [x, y, z] = x `max` y `max` z
> fmap unsafeMax3 (sequenceA [ZipList [1,2], ZipList [3,4], ZipList [5,6]])
ZipList {getZipList = [5,6]}

So the answer to your question is that

cl_map :: ([a] -> b) -> [ZipList a] -> ZipList b
cl_map f = fmap f . sequenceA

except you don't actually want all the elements of the list to be
of the same type, you want them to be of dynamic type, so let's
just make them Dynamic.

> let unwrap x = fromDyn x (error "Type error")
>
> let unsafeGreeting [name, authorized] =
> if unwrap authorized then "Welcome, " ++ unwrap name
> else "UNAUTHORIZED!"
>
> fmap unsafeGreeting (sequenceA [ZipList [toDyn "tome", toDyn "simiones", toDyn "pg"]
> , ZipList [toDyn True, toDyn True, toDyn False]])
ZipList {getZipList = ["Welcome, tome","Welcome, simiones","UNAUTHORIZED!"]}

and the type of cl_map becomes

cl_map :: ([Dynamic] -> b) -> [ZipList Dynamic] -> ZipList b
cl_map f = fmap f . sequenceA

One could polish this up a bit and make a coherent ecosystem out
of it, but Haskell programmers hardly ever use Dynamic. We just
don't come across the situations where Clojurists seem to think
it's necessary.
Vancouver has SkyTrain:

"SkyTrain is the oldest and longest, fully-automated, driverless, rapid-transit system in the world."

https://www.translink.ca/Schedules-and-Maps/SkyTrain.aspx
The question to ask is: How many documents does it take to reach the truth? For Facebook, we may have found the answer.
> 650,000 out of a global population? More people have died from seasonal flu every year

No, more people don't die every year from seasonal flu:

“The World Health Organization estimates that worldwide, annual influenza epidemics result in about 3-5 million cases of severe illness and about 250,000 to 500,000 deaths”
I'm not sure about that. Even if the accident rate is half, that's still an immense gain - over 10,000 lives saved each year in the US. Even if it's equal (or slightly greater than equal), the productivity boost would be substantial. Do we really think that people with hour+ long commutes would reject a self driving car with half the accident rate of a human driver?
> being a pilot is completely measured by hours in the cockpit and certifications

Yeap. So if you can fund the initial thousand hours (give or take) you should be ok. If you can't and you don't like small GA aircraft you'll have a miserable time trying to get paid to fly and have enough hours to be considered by airlines.
This one is for statistics.

I have found the explanation of statistical concepts through the lens of linear algebra immensely intuitive. A simple, short and clear illustration of this is in 'The Geometry of Multivariate Statistics' by Thomas D. Wickens, which I purchased solely based on it's title. It goes through the geometric interpretation of univariate, and multivariate linear regression, then goes into the geometric interpretation of correlation, collinearity impact on prediction, PCAs, and statistical tests. Warning: This book assumes you have some very basic statistical background.

Funnily enough, recently I've been going through Strang's 'Introduction to Linear Algebra' textbook, and he also goes through derivation of mulitvariate statistics in the same fashion. I like the way he builds up the geometric interpretation of regression by building up from a exploration of column/row spaces, orthogonality, projection matrices, and from there, seamlessly introduces solving the LLS as a problem that can be solved with a projection matrix. That being said, I find Wicken does a better job of illustrating his concepts, which is most intuitive modality to interpret this.
It's bizarre that this, the largest factor by far, gets so little play.
They might care about arsenic though.

The aquifers in Pakistan have trace levels of arsenic, but as the water levels drop it is becoming more concentrated. If I'm reading this UNICEF report correctly:

https://reliefweb.int/sites/reliefweb.int/files/resources/WA...

That problem extends quite a ways into eastern Afghanistan as well.
If it's 100x from increased investment and 10x from short-term efficiency gains, yeah you'd expect $4/page. Model compression or some other tech might make it more efficient in the long-run.
1) links to stats please? 2) we're not even near a full year of coronavirus 3) this is the amount of deaths after all the measures taken to slow the spread.
Well, maybe not a single @. At least one @ maybe. There's a set of special characters that aren't permitted in the local part of an email address including @... unless they're quoted. So "@"@example.com is a valid address.
Good mechanic. I like that it forces the player to get better by introducing a mild punishment.
We do, but it's a less geographical method called "cancelling"
But can it serve Tomato juice?
The linked post specifically says it supports UTF-8. Might double check the settings.
Chatops has failed at every single company I've worked at. This is an extremely noisy and unnatural way of managing resources and it gets old after the first week. A sprinkle of Hubot here and a Slack web hook there but no one is going all-in on this.
This is the consequence of production being oriented towards people who are not the producers. In previous economic systems, what you produced was yours and the more you produced in a given interval, the fewer hours you had to put in to reach subsistence. In our mode of production, incentives are geared towards producing more and more with less and less with no natural endpoint.
Obviously the genome encodes what you need to grow a brain, but, there aren't enough bits in the human genome to encode many neural network weights.
I agree with you. I have friends/family close but we're all honoring quarantine pretty well. I have a lake place I can go to on the weekends but generally speaking I find myself "losing routine" during the week.

I rather enjoyed working from the office, it helped me timebox work and provided a break in between parts of the day.
Specifically, the people who were already outcasts from the mainstream society.
Yes, there is a limited amount of input. In addition, each token may be a word or only part of a word, depending on how common it is. Common words get one token and uncommon words are divided into pieces, each of which gets a token.
I'm not a luddite, if the software is ready and safer than people then I'd be okay with it.

There's a history of software not being ready while people pretend it is and then it kills people (Therac-25).

I'm just skeptical that we'll know when it's actually safe.
Video engineer here, I’ve been supporting a lot of Zoom recently, but have been in the space since the Polycom / Tandberg days.
Which tools do you have in mind as far as asynchronous video?
The world couldn't even come together on controlling 3D printed weaponry, there's no hope for an arms treaty for AI right now. The "it's not feasible to regulate even if you tried" stance applies too -- you can restrict central actors without much difficulty, and that would work for AI just as well as it works for battleships, but there's a lot of distributed compute whereas there's not a lot of distributed shipyards. Like, you just have to follow what's been done with anime image nets to see that something like GPT-3 is possible for a distributed worldwide group to achieve and is not limited to firms or governments.

Maybe when we have a disaster directly attributable to AI, nations can get on-board with something like the BWC and CWC. Until then, be even more pessimistic. (If you want a fun if rather dry book to read on material technology developments that were in the pipeline a couple decades ago, some of which have come to fruition, as well as some policy recommendations for the technologies that aren't generally good, check out Jürgen Altmann's Military Nanotechnology.)
Mjp66/Ubiquiti
Tooling isn't the problem - it's litigation discovery. Companies don't want to keep records around that could be subject to discovery, so they set up retention policies to delete emails older than X months, and chats older than X days. It seems to me that any company over ~1k employees gets to the point where they start worrying about these things.
Emails are overrated as an anti-troll measure. Anyone can make a trash mail in seconds.
Kona and Ioniq are Hyundai models.
I mean the real problem is that we went halfsies and didn't actually build out systems that allow women to do both effectively, but then everyone got lumped into doing work because not doing so put your family at a distinct disadvantage.

In countries less allergic to establishing welfare programs, cheap subsidized daycare is used to boost workforce participation amongst women: https://www.bloomberg.com/news/articles/2018-12-31/affordabl...
I was close.